Tessera
Folgen

Sami Badawi

@samibadawi.com

Coder monkey 🐒 - aerospace amateur 🚀

246 Posts730 Follower103 Folgt
Sami Badawi@samibadawi.com · last wk.

I have tried #OpenCode. Good ergonomics, similar to Claude Code. In OpenCode you always see the number of tokens and money spent. Your LLM does useful work, but it also burns tokens by reading through long logs. Humans 😵‍💫 assume LLMs 🤖 would warn us. In OpenCode you notice problems fast.

Sami Badawi@samibadawi.com · 2mo ago

My #coffee habit: ☕ to wake up ☕ get that boost ☕ combat afternoon slump Last week I only drank morning coffee, and had no more afternoon slump. 🤔 ☕ is advertised as an energy boost, but it's an energy loan.

Sami Badawi@samibadawi.com · 4mo ago

I ported the same Raylib, C fluid dynamic simulation to Odin and Zig 0.16 to compare state of the art in C interop. #Odin is as simple as a system language can be. There is no build script. Raylib is included. #Zig has very fine control even more than C and CMake-like build scripts written in Zig.

Sami Badawi@samibadawi.com · 6mo ago

Wrote my first blog post in 5 years. Now it is common to just read the web search AI summary. But nice robots 🤖 might appreciate my post, and summarise it for 👨‍👨‍👧 real people, like myself. Maybe it's effective knowledge sharing 🤔 but I felt different and a little alienated while writing 🫥

Scala Space@scalaspace.bsky.social · 7mo ago

Scala 3.8 is here! A major release modernising the ecosystem and paving the way for Scala 3.9 LTS. Highlights: - Standard library compiled by Scala 3 - Better Fors & runtimeChecked stabilized - New experimental features - Update to JDK 17+ 🧵 Let's dive in...

Bild
Sami Badawi@samibadawi.com · 8mo ago

@unison-lang.org v 1.0 passes my language readiness criteria * Good language server support * Trivial to make a word frequency program with tests It's mind blowing 🤯 to program with code fragments, instead of projects of files. Very composable. Promising, but hard to imagine its effect on DevOps

Sample Unison word frequency program written in VS Code with LSP support
Sami Badawi@samibadawi.com · 8mo ago

The rumours were true: Installing and setting up Haskell in 2025 is a breeze. Install ghcup. Use that to install ghc, Cabal and HLS. #Haskell feels ergonomic and modern. Took an hour from start till I had made my sample app with unit tests in VS Code.

Haskell word frequency application in VS Code. We Haskell extension running off HLS.
Haskell programming language@haskell.org · 8mo ago

The 2020's have to be the decade of great tooling for #Haskell. More investment in Developer Experience, reliable foundations and predictable performance will see us gain a lot of street cred.

Sami Badawi@samibadawi.com · 8mo ago

A pure functional programming language has long been a utopian dream. We suddenly have 3 strong contenders: * @haskell.org with better tooling * Lean 4, adopted by mathematicians * @unison-lang.org out in v 1.0 Good time to revisit pure.

Sami Badawi@samibadawi.com · 8mo ago

Lean 4 is a theorem prover that has been adapted by working mathematicians. But it is also a nice Haskell style programming language. Solid with good tooling. I was productive right away.

Screenshot of VS Code with word frequency code example written in Lean 4.