Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2h·
Discuss: Hacker News
⚡Async Programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·4h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Scala vs. F#
alexn.org·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·18h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·2d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·23h·
Discuss: Hacker News
⚡Async Programming
Flag this post
Handbook of Satisfiability (2021)
iospress.com·2d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Dive into Systems
diveintosystems.org·20h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·12h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·1d·
Discuss: Hacker News
⚡Async Programming
Flag this post
Low-Level Hacks
blog.raycursive.com·10h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·19h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·6d·
Discuss: Substack
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Pain Points of OCaml
quamserena.com·7h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·16h·
Discuss: Substack
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·41m·
Discuss: Hacker News
⚡Async Programming
Flag this post