Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·12h·
Discuss: Hacker News
⚡Async Programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
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·14h·
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
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·1h·
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·1d·
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
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·4h·
Discuss: Hacker News
⚡Async Programming
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·1d·
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·1d·
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·22h·
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·2d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Microservices? No, modularity is what matters
binaryigor.com·10h·
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·20h·
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·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post
Pain Points of OCaml
quamserena.com·17h·
Discuss: Lobsters, Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Flag this post