Me: Verify.
#Claude: "The claim was fabricated. (...) I made it up. I have no basis for it. It's the same failure mode as the last one — a plausible-sounding specific claim invented to make a generalization feel concrete and supported. (...) I'm prone to inventing supporting detail that sounds locally plausible."
#AI #LLM
tomekw
@tomekw@functional.cafe
mastodon
4.6.0-alpha.6+glitch
Into handmade #software in #AdaLang
0
Followers
0
Following
Joined November 02, 2022
Posts
0
0
3
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)
Happy hacking in Ada on #RaspberryPi!
https://github.com/tomekw/tada/releases/tag/v0.11.0
(tada-0.11.0-linux-aarch64)
1
0
1
Do we need "awesome-slopfree"?
#AI #LLM #vibecoding #aislop
https://github.com/bayandin/awesome-awesomeness
#AI #LLM #vibecoding #aislop
https://github.com/bayandin/awesome-awesomeness
2
0
2
ANN: Tackle.Opts - declarative command line arguments parser in #AdaLang
https://github.com/tomekw/tackle?tab=readme-ov-file#tackleopts
https://github.com/tomekw/tackle?tab=readme-ov-file#tackleopts
0
0
0
0
0
0
@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!
0
0
0
@pointlessone I spent a full weekend fighting it, but for now it's so overwhelming, feels like it's very #Linux-specific
0
0
0
@pointlessone@status.pointless.one yes! And it works great:
https://github.com/AdaCore/ada_language_server
https://github.com/AdaCore/ada_language_server
0
1
0
@pointlessone@status.pointless.one I have a hard time builing #AdaLang LSP on #OpenBSD. It makes me want to abandon the whole "switch to #BSD" idea and stick to the old boring #Debian Stable...
1
1
0
0
4
0