Sometimes I think #Zig may be the answer 🤔
Remote
tomekw
@tomekw@functional.cafe
mastodon 4.8.0-alpha.3+glitch357 Followers
29 Following
50 Posts
Joined November 02, 2022
Overengineered calculator: #Zig + #QBE
https://tomekw.com/overengineered-calculator-zig-qbe/
#compilers #plt #programming
Got my refurbished Lenovo X220 from AliExpress. Now waiting for #OpenBSD 7.9 to release 😅
Great read on #AdaLang
On Ada, the language that the Department of Defense built, the industry ignored, and every modern language quietly became
Hey #Fediverse! 👋 What are the recommended websites where I could find #music new releases? #rock #metal #indie
My #RaspberryPi's uptime is more than two weeks now! 🎉
They grow up so fast! 🥲
Replying to
@liberty@mathstodon.xyz #RustLang is a no go:
"No comment on this PR may mention the following topics:
- Long-term social or economic impact of LLMs
- The environmental impact of LLMs
- Anything to do with the copyright status of #LLM output
- Moral judgements about people who use LLMs”
Writing documentation for my #OSS projects is boring, but I won't let anything hallucinate it.
I disliked #LLM.s before it was cool.
Computers are frustrating.
"I'm not going to promise I'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's worth continuing or whether you're better off finishing this without me."
Replying to
@pointlessone@status.pointless.one @liberty@mathstodon.xyz it was, but the point is Rust is _THE_ LLM language, at least in my head.
Do we need "awesome-slopfree"?
Raspberry Pi 5 ordered!
Next: Pi-Hole setup! 💪
Sometimes, all you need is some win.
My Lenovo X220 should be delivered today! 🤞
Tada #AdaLang package manager has a website now!
Replying to
Hey, but at least I "learned" from #Claude Barbara Liskov visited my university in the past 😅
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)
Replying to
@monospace@floss.social I noticed it makes me super happy to just build the stuff I always wanted to do without concern for the outcome or the expectations of others.
Even if it means creating my own programming world in #AdaLang :)
Replying to
@monospace@floss.social haha, that's what I do :D
Tada, Tackle, Testy, Padlock, Twins, and I have more planned ;)
Replying to
@pointlessone I spent a full weekend fighting it, but for now it's so overwhelming, feels like it's very #Linux-specific
Replying to
@RangerRick@redwombat.social I think not everything is true about #AdaLang in this article (like checked exceptions), but the overall message is true.
End Of All Hope
Now this, but for #AdaLang:
A modern, self-hosting Object Pascal compiler built for the 2020s. Zero legacy, full ARC, and unified UTF-8.
Replying to
@pointlessone@status.pointless.one yes! And it works great:
https://github.com/AdaCore/ada_language_server
Replying to
@monospace@floss.social 👋 thank you again. Genuinely curious: how has my work been an inspiration?
Yes, #Claude...
> (...) rate was 36% in March, up from 41% in February
ANN: Tackle.Opts - declarative command line arguments parser in #AdaLang
https://github.com/tomekw/tackle?tab=readme-ov-file#tackleopts
@bms48@mastodon.social what about #blockchain / #crypto / #cryptocurrencies? ;)
Replying to
@pointlessone@status.pointless.one how do you call, apparently, the default language of the AI bros, aka Rust, then? ;)
Tell me why I want to "master" C now?
#programming
#Debian.s all the way down?
Replying to
@lukasrotermund oh, indeed, the #AdaLang #LSP was definitely making things slower. Completions are not ideal, but I think they're "good enough". I will let it cook for a while. Thanks!