Purely Functional Operating Systems
Source attribution
Summary of a report first published by Lobsters. Read the full story on their site for the complete reporting.
Read the full story at LobstersPurely Functional Operating Systems
Purely Functional Operating Systems
More from Programming
Why is the x86 undefined instruction called ud2? Why 2?
Why is the x86 undefined instruction called ud2? Why 2?
Lobsters1 min read
Singeli: High-level interface for low-level programming
> Singeli is a domain-specific language for building high-performance algorithms (including SIMD) with flexible abstractions over code that corresponds to individual instructions.…
Lobsters1 min read
Anecdotally, programmers dislike "reduce"
Anecdotally, programmers dislike "reduce"
Lobsters1 min read
Writing a Guix service from scratch, as a beginner
Writing a Guix service from scratch, as a beginner
Lobsters1 min read
