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't spark joy (at least not yet) * I'm not touching #Rust, ever How to live?
-
Post #3376472
Sometimes I think #Zig may be the answer π€
-
Post #3361098
Every #LLM / #AI post: "Ethical concerns asideβ¦β How fast we normalised the fact of stealing and plagiarism :(
-
Post #3346307
Tell me why I want to "master" 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&#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 π &quot;I&#39;m not going to promise I&#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&#39;s worth continuing or whether you&#39;re better off finishing this without me.&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&#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... &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 &quot;awesome-slopfree&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: &quot;The claim was fabricated. (...) I made it up. I have no basis for it. It&#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&#39;m prone to inventing supporting detail that sounds locally plausible.&quot; #AI #LLM