- Видео 17
- Просмотров 4 662
ThirteenTeam
Добавлен 6 июл 2009
icfpc2024 solving fill labyrinth piece with pseudo-haskell
this task was small part of icfp 2024 annual contest.
this part of the contest was most visualizable and fprog-related one, so i decided to stop the world for a moment (exit the flow state), and record video of what was happening during the contest.
while there were better winning solutions (not ours) involving simplest programs with properly seeded RNG, the shown solution involves full compiler/decompiler/interpreter toolchain of two languages, all developed during competition (kotlin).
note that UI for both windows was produced with multiple iterations of claude ai sonnet 3.5, so mostly no swing code has been written by hand. This is because writing UIs duruing contest is the most boring ...
this part of the contest was most visualizable and fprog-related one, so i decided to stop the world for a moment (exit the flow state), and record video of what was happening during the contest.
while there were better winning solutions (not ours) involving simplest programs with properly seeded RNG, the shown solution involves full compiler/decompiler/interpreter toolchain of two languages, all developed during competition (kotlin).
note that UI for both windows was produced with multiple iterations of claude ai sonnet 3.5, so mostly no swing code has been written by hand. This is because writing UIs duruing contest is the most boring ...
Просмотров: 54
Видео
sdr++brown accelerated FFT on macos using native os FFT library.
Просмотров 183 месяца назад
using macos Accelerate framework.
sdr++brown baseband compression and coming mobile communication presentation.
Просмотров 1303 месяца назад
sdr brown baseband compression and coming mobile communication presentation.
SDR++Brown server stream compression demonstration.
Просмотров 323 месяца назад
In this demo, I experiment with the lossy compression of the baseband data sent from sdr server to the sdr client, i.e. in client/server mode. The goal of the experiment was to reduce traffic to the end device over the public network (e.g. mobile internet). KPI: 1) waterfall display should remain informative 2) ssb/cw demodulation quality must remain in sane limits. The bandwidth utilized is di...
sdrpp sdr++ windows install troubleshooting (v2)
Просмотров 1026 месяцев назад
sdrpp sdr windows install troubleshooting (v2)
sdr++brown - frequency manager labels layout.
Просмотров 358 месяцев назад
sdr brown - frequency manager labels layout.
SDR++Brown, Hermes Lite 2 - self monitoring capabilities for portable ops.
Просмотров 314Год назад
In the video we review the self-monitoring methods available in SDR brown. Note that while all this has been recorded on the desktop version of software, the Android version during sofa / portable operation is what benefits most from these new features. Hardware: Hermes Lite 2 (5W power output) Empowering laziness, bringing innovation!
sofa-life transceiver in the fields + encoder/wheel demonstration. sdr++ brown fork, hermes lite 2.
Просмотров 80Год назад
this video is an answer on antenna mounting options, also is first attempt to take new trx config to the field. Later, I plan to measure on-the-shore vs in-water antenna transmit and reception, and other sea effects, on VK3YE manner. To know for sure what advantage those happy seashore hams have vs in-land regular people.
hermes lite 2, PA, sdr++ brown fork, logbook, cty.dat, wifi, qso
Просмотров 616Год назад
My sofa / portable config is evolving. Very nice find was to use bluetooth headset, because it provides excellent sound perception during RX, and also has better voice quality during TX, I am pleasantly impressed. Android phones have very poor speakers, often dirty and otherwise rarely good. On this video I also did a first test of metal telescopic antenna. I have poor choice of mounting equipm...
sdr++ brown, QSO logging
Просмотров 48Год назад
This is basically for mobile operation (android). You can decode the callsign when you forgot ITU prefix, or also you can type name, qth to refer it back while talking. Input format is any following (received rst, sent rst can be anywhere after callsign), the second word is name, third location, rest is comments. CALLSIGN name qth R59 S59 whatever else CALLSIGN S59 name qth R59 whatever else pr...
sdr++ brown, hermes lite 2, SSB QSO on desktop linux
Просмотров 491Год назад
In this video, I conducted the QSO with microphone NR and microphone SQL enabled. I experimented with high-pass filter setting (low cut), but by the end of QSO I found that setting it at 600 Hz makes reception worse. Also, on this QSO, the TX Soft PA level is too high, clipping occurs too often. Microphone used was $10 tiny round microphone with crocodile that you can attach to your shirt, it w...
SDR++ brown fork SSB transmit pipeline.
Просмотров 175Год назад
There are so many ways to get TX power less than max when transmitting SSB. I was educating myself on various ways to make solid signal. If you turn AGC too agressive, then most of your speech will be half-power because it will adjust. If you make an error and overamplify, you will get clipping artifacts. I decided that I will hard-limit clipping closer to to HL2 driver so now it never clips wh...
New AF NR2 in sdr++ brown fork.
Просмотров 63Год назад
So, my fork already had a noise reduction added, but I was not happy about it. I ported logmmse from python code, and it was not always perfect, because the adaptive part, i wrote it myself, and for AF part of pipeline it was ugly - I'm not big dsp specialist. However, for full-band NR it works fine. So I asked ChatGPT what are thing better than logmmse, and it said omlsa is newer and very cool...
sdr++brown : kiwisdr decoding
Просмотров 175Год назад
kiwisdr selection dialog is work in progress, pipeline is working already.
sdr++ brown fork working, on hl2 source
Просмотров 223Год назад
Features of brown fork visible on this video are: 1) Full band noise reduction. 2) FT8/FT4 simultaneous decoding 3) hermes lite 2 source 4) SNR chart Local time is around 00:00. Antenna L=10m vertical end-fed (for 20m band) 8m above ground, QTH is on seashore in Sicilia. Local propagation is off, only DX are heard. at the time of video, FT8/FT4 decoding is not working on windows (yet).
SDR++ and Hermes Lite 2, transmitting SSB.
Просмотров 2 тыс.Год назад
SDR and Hermes Lite 2, transmitting SSB.
Awesome
This is so cool! Can it work with red pitaya / trx-duo?
Awesome!
What was your final ICFP message? B$ B$ .... Had a small epiphany and have a partial clue as to how Let becomes implemented in ICFP. I want to try to associate your ICFP format to your screens haskell text.
Let f x = ....... In f 3 Is syntax sugar for (\x -> .... ) 3
If you do create an ICFP language description a starting point may taking the standard Lambda Calculus statetments and showing them in ICFP B$ format. 0 Lf.Lx.x, 1=Lf.Lx.f x, SUCC= Ln.Lf.Lx.f (n f x), Plus = Lm.Ln.Lf.Lx.m f (n f x) which might be B+ v1 v2, pred= Ln.Lf.Lx.n (Lg.Lh.h (g f)) (Lu.x) (Lu.u), True(innput1) Lx.Ly.x, False(input 2) = Lx.Ly.y, AND Lp.Lq.p q p, ifthenelse Lp.La.Lb.p a b which may be ? B(func) I# I$, and finally the combinator Y=Lf.(lx.f(x x))(Lx.f(x x)) making Y g yield g(Y g) to enable recursion. A response in the comments may be sufficient. The posted youtubes and pages from the leaders never cover the ICFP language but that they did spend extensive time creating their evaluators. Thank you.
@@richardzapor4607 making video is big effort, I don't want. Also RUclips comments format is not convenient for conversation on the topic.
@@richardzapor4607 nobody spent extensive time doing the evaluators. I spent little time doing this language, because the icfp language is very basic, and fp concepts are very programmer friendly.
I finished in the middle. I never could figure out the B$ L# B$ L1 and B$ B$ lambda abstraction language. Could you please put out a tutorial video on the ICFP2024 Lambda abstraction language. How does Lambdaman 6 text file become a maze, along with 9 and 10. What are the mazes 6,9 , and 10? I found the ICFP description as lacking and requiring prior knowledge of CS to implement. A few worked examples with descriptions would help me very much. the Operators are easy but the L# vs v" parameters to B$ have me dumbfounded.
please install telegram app, register, assign a nickname, and post it here. I'll contact you and answer your questions. Or write other mean to reach you.
Great!❤
can you tell us how you did it? Thank you
what exactly is problem? use sdr++brown, use KiwiSDR source. Also, read the info on sdrpp-brown.san.systems .
I downloaded the Windows version. It starts loading then exits before showing the main GUI.
thank you for the report, I will take a look. Windows is least tested....
ruclips.net/video/Q3CV5U-2IIU/видео.html please share your console output, for troubleshooting, preferably on sdr++brown telegram channel, t.me/sdrpp_hermes_fork
I tried it. Definitely has potential! But there are big issues. Happy to help if you contact me.
Please use telegram group, would like to hear your comments.
Any progress? Update please.
I'm currently do heavy work for my project that I do for living, I have many plans for sdr++brown, but no time at the moment. Project is considered very far from dead, no worries. Also, quick fixes are quick.
What app are you using on your smartphone please ? 🙂
sdrpp-brown.san.systems
@@ThirteenTeam 👍🤩
+++
Very nice, where can we download the software?
sdrpp-brown.san.systems/ please note the date on the build you're downloading. Some platforms may take longer to appear on build page. For example, windows version is being fixed right now.
Very Nice!
Please publish the modified software on the store, I'm happy to pay for this magnificent achievement
I have an Hermes lite 2 . Where can I find this fork? Can you provide a link? Thanks k2eds. Oh, By the way...I'm currently running mine on Thetis.
the transmitting pipeline is being reworked. Sound was not as good as it could be. I hope to finish it soon.
Any progress? Update please.