News for hackers. Stuff that matters.

lucifer153

Re:Simplify Your Code: Functional Core, Imperative Shell on Monday October 27, 2025 @10:56PM (#45728804)
This is same idea with onion architect in "Grokking Simplicity: Taming Complex Software with Functional Thinking Book by Eric Normand"
Interestingly, Huly is also the sponsor of the Zig programming language[1].

[1]: https://ziglang.org/

I was surprised that the software was written in Pascal which is the dead language
Re:The IDP Knowledge Base System on Tuesday November 21, 2023 @05:56AM (#38362020)
It seems it has a lot in common with Lamport's TLA+, can someone compare?