Joined July 2016
76 Photos and videos
Pinned Tweet
13 Sep 2022
Huge themes of my personal state of software engineerig art: * (pure) FP in back-end and front-end * the Onion architecture * REST
2
28
A thought: high-abstraction languages/libraries/designs are better for LLMs because they are compatible with the prediction nature due to more "structure to predict along".
1
1
36
borar retweeted
the amount of "software engineers" i see on the timeline who don't know what the word "iff" means, and assume their LLM made a typo, is concerning for several reasons
94
32
1,964
238,305
What is this, something similar to Haskell generic data type programming? #haskell
I don’t care what people say, Modern C is starting to get really cool. For example, C 26 compile-time reflection uses this neat little trick to represent heterogeneous data with a single, scalar value (std::meta::info). This value is *technically* an ID into the compiler's AST. The neat part is you can steal this technique for representing runtime entities as well! Next Thursday I’m giving a talk in the UK at ACCU on Sea, where I'll show how to use the static metafunctions to help build a homogeneous runtime reflection registry.
2
135
Blog post: Basic principles of record storing systema10.org/posts/basic-pr… #eventsourcing

1
4
286
It absolutely does matter and more than before.
It doesn't matter if you know how it works. It matters if it works and delivers value.
3
59
"Event sourcing is record storing" at Doraichi blog #eventsourcing systema10.org/posts/event-so…

122
The topic and the terminology seem to pop up more and more recently. #eventsourcing
20 Mar 2025
Replying to @lxztlr @adymitruk
I find it somewhat ironic that prople are promoting the "dynamic ..." terminology, because it's like unneeded patching what has been wrong all along, namely focus on "aggregates". It's a/the major point of ES that _different and varying_ values can be folded from a journal.
161
LLMs increased entropy, the need for principled approaches in SE only increased.
1
4
375
All logic is data, what's the problem?
Ever seen code that is just data pretending to be logic? I’ve seen this pattern in more codebases than I can count.
1
3
229
PureScript sends its regards 🫡
Type-safe UIs are the future. Typed HTML. Typed CSS. Typed JS / WASM. Couple this with Effect Oriented Programming and schema-gen'd RPC and 🤯 The coding agent unlock is huge!
1
5
445
Cool
Mar 25
the more experienced I get programming games the more that I realize patterns like inheritance and components don't matter, the only thing that matters is functions and entities which run functions... entities might be the next thing to go
3
148
borar retweeted
In the new Interlude, we’re joined by Peter Thiemann. Peter is a professor at the University of Freiburg, and he was doing functional programming right when Haskell got started. Come with us on a trip down memory lane! haskell.foundation/podcast/7…

2
7
334
borar retweeted
🚀 Serde.FS alpha.9 — Deterministic RPC for F# No reflection. No controllers. Just compile‑time RPC clients routing. Includes: • [<RpcApi>] • ASPNET RPC server • Deterministic JSON backend github.com/serde-fs/Serde.FS… #fsharp #rpc #aot #serde #dotnet
2
14
508
borar retweeted
New blog post: "A sufficiently detailed spec is code" I wrote this because I was tired of people claiming that the future of agentic coding is thoughtful specification work. As I show in the post, the reality devolves into slop pseudocode haskellforall.com/2026/03/a-…
124
262
2,505
429,886
Answer: something which should have been a simple and principled #fsharp program from the beginning.
Minimal APIs After the Hype: What Remains When Boilerplate Is Gone? by @joshibipin binaryintellect.net/articles… #aspnetcore
1
2
8
780
borar retweeted
Replying to @fresheyeball
I noticed that when vibing Haskell or Purescript even Copilot/Claude uses a different tone when "speaking", it's more precise and analytical
1
2
155
borar retweeted
Haskell is the best language for vibe coding and it's not even close.
9
2
24
1,490
borar retweeted
The reason why universities aren't just bootcamps to teach students how to code is precisely because the conditions of industry are constantly changing, and we are here to prepare people to build and adapt to new conditions, not just do what some company 5 years ago was doing
3
12
250
5,244