@tomekw@functional.cafe

tomekw @tomekw@functional.cafe

· 5mo ago

That was fast :)

#OpenBSD #Wayland #Thinkpad

15

1

2

0

tomekw @tomekw@functional.cafe

· 3mo ago

Sometimes I think #Zig may be the answer 🤔

7

14

0

tomekw @tomekw@functional.cafe

· 2mo ago

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

tomekw.com

Overengineered calculator: Zig + QBE

3

0

tomekw @tomekw@functional.cafe

· 5mo ago

Got my refurbished Lenovo X220 from AliExpress. Now waiting for #OpenBSD 7.9 to release 😅

9

1

0

1

tomekw @tomekw@functional.cafe

· 2mo ago

Time to bring #Gentoo / #FreeBSD back

3

1

2

0

tomekw @tomekw@functional.cafe

· 6mo ago

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

iqiipi.com

7

12

8

0

tomekw @tomekw@functional.cafe

· 5mo ago

My #RaspberryPi's uptime is more than two weeks now! 🎉

They grow up so fast! 🥲

5

1

0

tomekw @tomekw@functional.cafe

· 4mo ago

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

3

5

8

0

tomekw @tomekw@functional.cafe

· 3mo ago

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”

2

10

0

tomekw @tomekw@functional.cafe

· 5mo ago

Writing documentation for my #OSS projects is boring, but I won't let anything hallucinate it.

#NoAI #NoLLM

3

0

2

0

tomekw @tomekw@functional.cafe

· 5mo ago

I disliked #LLM.s before it was cool.

3

0

1

0

tomekw @tomekw@functional.cafe

· 2mo ago

< #rant >

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 </ #rant >

How to live?

1

3

1

0

tomekw @tomekw@functional.cafe

· 5mo ago

Computers are frustrating.

2

1

0

tomekw @tomekw@functional.cafe

· 5mo ago

#Claude #AI #LLM dumped me 😂

"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."

2

0

1

0

tomekw @tomekw@functional.cafe

· 3mo ago

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.

1

8

0

tomekw @tomekw@functional.cafe

· 3mo ago

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

1

0

tomekw @tomekw@functional.cafe

· 5mo ago

Do we need "awesome-slopfree"?

#AI #LLM #vibecoding #aislop

https://github.com/bayandin/awesome-awesomeness

GitHub

GitHub - bayandin/awesome-awesomeness: A curated list of awesome awesomeness

A curated list of awesome awesomeness. Contribute to bayandin/awesome-awesomeness development by creating an account on GitHub.

2

0

2

0

tomekw @tomekw@functional.cafe

· 5mo ago

Raspberry Pi 5 ordered!

Next: Pi-Hole setup! 💪

2

3

0

tomekw @tomekw@functional.cafe

· 5mo ago

Replying to

@janl@narrativ.es https://functional.cafe/@tomekw/116514789579019971

Functional Café

tomekw (@tomekw@functional.cafe)

I disliked #LLM.s before it was cool.

1

0

tomekw @tomekw@functional.cafe

· 5mo ago

Sometimes, all you need is some win.

1

0

tomekw @tomekw@functional.cafe

· 5mo ago

My Lenovo X220 should be delivered today! 🤞

1

0

tomekw @tomekw@functional.cafe

· 5mo ago

💯

https://larsfaye.com/articles/agentic-coding-is-a-trap

larsfaye.com

Agentic Coding is a Trap | Lars Faye

Remaining vigilant about cognitive debt and atrophy.

1

0

3

0

tomekw @tomekw@functional.cafe

· 5mo ago

Tada #AdaLang package manager has a website now!

https://tada.pm

tada.pm

Tada - Ada Package Manager

1

0

2

0

tomekw @tomekw@functional.cafe

· 5mo ago

Replying to

Hey, but at least I "learned" from #Claude Barbara Liskov visited my university in the past 😅

1

0

tomekw @tomekw@functional.cafe

· 5mo ago

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)

GitHub

Release 0.11.0 · tomekw/tada

Changelog breaking: reworked command line options breaking: init moved from: tada init PROJECT_NAME --lib|--exe to tada init --name PROJECT_NAME --type lib|exe added prebuilt package for Raspberry...

1

0

1

0

tomekw @tomekw@functional.cafe

· 5mo ago

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 :)

1

0

tomekw @tomekw@functional.cafe

· 5mo ago

Replying to

@monospace@floss.social haha, that's what I do :D Tada, Tackle, Testy, Padlock, Twins, and I have more planned ;)

1

6

0

tomekw @tomekw@functional.cafe

· 6mo ago

Replying to

@lukasrotermund I will give it a go then (no pun intended ;) ) in #AdaLang

1

0

tomekw @tomekw@functional.cafe

· 2mo ago

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

lore.kernel.org

Making sure you're not a bot!

0

1

0

tomekw @tomekw@functional.cafe

· 5mo ago

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

GitHub

GitHub - graemeg/blaise: A modern, self-hosting Object Pascal compiler built for the 2020s. Zero legacy, full ARC, and unified UTF-8.

A modern, self-hosting Object Pascal compiler built for the 2020s. Zero legacy, full ARC, and unified UTF-8. - graemeg/blaise

0

tomekw @tomekw@functional.cafe

· 3mo ago

Replying to

@pointlessone@status.pointless.one how do you call, apparently, the default language of the AI bros, aka Rust, then? ;)

0

1

0

tomekw @tomekw@functional.cafe

· 3mo ago

Replying to

@pointlessone@status.pointless.one @liberty@mathstodon.xyz loved by AI bros and sisters

0

6

0

tomekw @tomekw@functional.cafe

· 3mo ago

Replying to

@liberty@mathstodon.xyz but… but… I have #AdaLang

0

12

0

tomekw @tomekw@functional.cafe

· 5mo ago

#Debian.s all the way down?

0

tomekw @tomekw@functional.cafe

· 1mo ago

Replying to

@drew@social.freebitcoin.gay legit MS Paint use case 🤪

0

tomekw @tomekw@functional.cafe

· 5mo ago

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

0

tomekw @tomekw@functional.cafe

· 5mo ago

Replying to

@monospace@floss.social 👋 thank you again. Genuinely curious: how has my work been an inspiration?

0

3

0

tomekw @tomekw@functional.cafe

· 3mo ago

Tell me why I want to "master" C now? #programming

0

3

0

tomekw @tomekw@functional.cafe

· 6mo ago

Replying to

@pointlessone@status.pointless.one yes! And it works great: https://github.com/AdaCore/ada_language_server

GitHub

GitHub - AdaCore/ada_language_server: Server implementing the Microsoft Language Protocol for Ada and SPARK

Server implementing the Microsoft Language Protocol for Ada and SPARK - AdaCore/ada_language_server

0

2

0

tomekw @tomekw@functional.cafe

· 6mo ago

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!

0

tomekw @tomekw@functional.cafe

· 5mo ago

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.

0

2

0