Elektrine lite

← Feed

tomekw

tomekw@functional.cafe

<p>I know how to WRITE code. Into handmade <a href="https://functional.cafe/tags/software" class="mention hashtag" rel="tag">#<span>software</span></a> in <a href="https://functional.cafe/tags/AdaLang" class="mention hashtag" rel="tag">#<span>AdaLang</span></a></p><p><a href="https://functional.cafe/tags/NoLLM" class="mention hashtag" rel="tag">#<span>NoLLM</span></a> <a href="https://functional.cafe/tags/NoAI" class="mention hashtag" rel="tag">#<span>NoAI</span></a></p>

Posts

  • Post #4236986

    Overengineered calculator: #Zig + #QBE https://tomekw.com/overengineered-calculator-zig-qbe/ #compilers #plt #programming

  • Post #3857788

    ☹️ https://lore.kernel.org/linux-media/CAHk-=wi4zC+Ze8e+p3tMv8TtG_80KzsZ1syL9anBtmEh5Z40vg@mail.gmail.com/

  • Post #3857579

    Time to bring #Gentoo / #FreeBSD back

  • Post #3842102

    * looks like #AdaLang community pairs safety-critical with #AI and #LLM.s * I hate glibc * looks like #Zig doesn&#39;t spark joy (at least not yet) * I&#39;m not touching #Rust, ever How to live?

  • Post #3376472

    Sometimes I think #Zig may be the answer πŸ€”

  • Post #3361098

    Every #LLM / #AI post: &quot;Ethical concerns aside…” How fast we normalised the fact of stealing and plagiarism :(

  • Post #3346307

    Tell me why I want to &quot;master&quot; C now? #programming

  • Post #3331452

    Hey #Fediverse! πŸ‘‹ What are the recommended websites where I could find #music new releases? #rock #metal #indie

  • Post #2258616

    Tada #AdaLang package manager has a website now! https://tada.pm

  • Post #2258615

    πŸ’― https://larsfaye.com/articles/agentic-coding-is-a-trap

  • Post #2258614

    I disliked #LLM.s before it was cool.

  • Post #2258613

    @bms48 what about #blockchain / #crypto / #cryptocurrencies? ;)

  • Post #2258612

    End Of All Hope

  • Post #2258611

    My #RaspberryPi&amp;#39;s uptime is more than two weeks now! πŸŽ‰ They grow up so fast! πŸ₯²

  • Post #2258610

    My Lenovo X220 should be delivered today! 🀞

  • Post #2258609

    Got my refurbished Lenovo X220 from AliExpress. Now waiting for #OpenBSD 7.9 to release πŸ˜…

  • Post #2258608

    That was fast :) #OpenBSD #Wayland #Thinkpad

  • Post #2258607

    #Claude #AI #LLM dumped me πŸ˜‚ &amp;quot;I&amp;#39;m not going to promise I&amp;#39;ll do better. The honest thing to say is: at this point, you have direct evidence I cannot be trusted to fact-check my own output. Your call on whether that&amp;#39;s worth continuing or whether you&amp;#39;re better off finishing this without me.&amp;quot;

  • Post #2258606

    #Debian.s all the way down?

  • Post #2258605

    Sometimes, all you need is some win.

  • Post #2258604

    Writing documentation for my #OSS projects is boring, but I won&amp;#39;t let anything hallucinate it. #NoAI #NoLLM

  • Post #2258603

    Now this, but for #AdaLang: A modern, self-hosting Object Pascal compiler built for the 2020s. Zero legacy, full ARC, and unified UTF-8. https://github.com/graemeg/blaise

  • Post #2112690

    Computers are frustrating.

  • Post #1710618

    Great read on #AdaLang On Ada, the language that the Department of Defense built, the industry ignored, and every modern language quietly became https://www.iqiipi.com/the-quiet-colossus.html

  • Post #1468140

    Yes, #Claude... &amp;gt; (...) rate was 36% in March, up from 41% in February

  • Post #1468139

    ANN: Tackle.Opts - declarative command line arguments parser in #AdaLang https://github.com/tomekw/tackle?tab=readme-ov-file#tackleopts

  • Post #1468138

    Raspberry Pi 5 ordered! Next: Pi-Hole setup! πŸ’ͺ

  • Post #1468137

    Do we need &amp;quot;awesome-slopfree&amp;quot;? #AI #LLM #vibecoding #aislop https://github.com/bayandin/awesome-awesomeness

  • Post #1468136

    I got my #RaspberrPi. What was the second thing, after configuring #PiHole, I did? I installed #AdaLang compiler and built Tada! Happy hacking in Ada on #RaspberryPi! https://github.com/tomekw/tada/releases/tag/v0.11.0 (tada-0.11.0-linux-aarch64)

  • Post #1468135

    Me: Verify. #Claude: &amp;quot;The claim was fabricated. (...) I made it up. I have no basis for it. It&amp;#39;s the same failure mode as the last one β€” a plausible-sounding specific claim invented to make a generalization feel concrete and supported. (...) I&amp;#39;m prone to inventing supporting detail that sounds locally plausible.&amp;quot; #AI #LLM