Pinned Tweet
Huge themes of my personal state of software engineerig art:
* (pure) FP in back-end and front-end
* the Onion architecture
* REST
borar retweeted
Coming soon to iris-lang.com
a PureScript playground running in the browser
- that is built with Monaco
- that has a full language server
- that has libraries from the package set
- that compiles to runnable JavaScript
Early access: playground.amp.iris-lang.com…
Ouch 😊 #fsharp
borar retweeted
Many #fsharp goodies inside, again.
Particularly happy about the allocation and kept-memory improvements. Deserved a separate sub post - github.com/dotnet/core/blob/… .
Especially held memory was a stream of great work by @auduchinok - thank him in these hard RAM-economy times :-))
dotNET blog: Announcing .NET 11 Release Candidate 2 ift.tt/rYZ2WJc
borar retweeted
a short trailer for iris-lang.com's language server capabilities so far
borar retweeted
I always advice any Java programmer to learn Scala.
I am starting to believe it has been a bad advice because what I really want to is for them to learn Haskell.
In fact I learned Haskell before Scala, which I guess was fundamental to be able to understand the value of Scala.
borar retweeted
I'll make this simple.
It is irrelevant whether AI is conscious (it isn't).
It is irrelevant whether being mean to the AI means you're a bad person (it doesn't).
It is irrelevant whether being mean to the AI is bad for the society (it's not).
It is irrelevant whether someone thinks that someone else being mean to the AI is a bad thing.
Don't fall into debating any of these fake "arguments". They are there only to confuse you from noticing the real problem which is that Anthropic (and OpenAI, and EA in general, etc) are scheming to institutionalize themselves as moral arbiters of truth and set limits on what constitutes acceptable speech. What, you thought this was just about Anthropic and bullying the AI? Just you wait.
Reject this cancerous growth from our society.
borar retweeted
We're delighted to finally announce the first official release of hs-bindgen, a tool that automatically generates Haskell bindings from C headers. Read the announcement at well-typed.com/blog/2026/10/… or check it out at hackage.haskell.org/package/… .
borar retweeted
I am delighted to announce a fully revised online edition of Haskell: the Craft of Functional Programming, simonjohnthompson.github.io/…
borar retweeted
Can't get Java's garbage collector to give you Haskell's System.Mem.Weak finalizers and generalized weak pointer semantics?
Just replace it with one that can.
I showed the technique several years ago in #fsharp. A very nice intermediate/advanced pattern for safe APIs.
gist.github.com/Savelenko/9f…
Introducing gdp-ts: Ghosts of Departed Proofs for TypeScript.
gdp-ts is a library, linter and AI skill for safer API design. Under this contract, sensitive functions require 'proofs' that the caller performed an authorization check.
The typechecker verifies these proofs at compile time, preventing your team and agents from shipping catastrophic security (and other kinds of) bugs.
While these patterns have existed for quite some time, especially in ecosystems like Haskell, ① human code review and ② cognitive and syntactic overhead made these solutions niche.
The situation is now inverted. Agents are writing more code than we can review, and they *thrive* in tight loops with hard constraints that would frustrate us. We see this with the rise of Rust, borrow checker, code aesthetics debate and all.
The README and examples model a real-world Vercel API product constraint: changing the password on a Project requires a proof of a certain role + a certain entitlement. Thanks to Matt Noonan and Ollie Charles for their research in this space.
github.com/rauchg/gdp-ts
borar retweeted
.NET and F# are here waiting for you all
Very fast inner loop compile times
Strong type systems
Great deployment models
borar retweeted
What you're seeing now is the split between software behaviorists (DHH, Unc Bob) and software cognitivists, who were always lumped into the same tank before.
borar retweeted
By popular demand, here's an actual screenshot from the Turbo Haskell editor, which should be available using `thc edit` soon. @dysinger's joke spoiled my surprise. ;)
borar retweeted
The upcoming release of System.Text.Json sees a swath of new features focusing on C# and F# union support, JSONL, and further narrowing the functional gap between reflection and the source generator:
learn.microsoft.com/en-us/do…
#dotnet
