Feeds to Scour
SubscribedAll
Scoured 8367 posts in 124.8 ms
davidgiven/ack: The Amsterdam Compiler Kit
github.com·5h·
Discuss: Hacker News
⚙️Compiler Design
Chained Assignment in Python Bytecode
loriculus.org·14h·
Discuss: Hacker News
⚙️PL Implementation
Show HN: A Deployable Cross-Platform SIMD RNG Library for C++ (With Bnchmks)
news.ycombinator.com·2h·
Discuss: Hacker News
🔀OCaml Multicore
RooflineBench: A Benchmarking Framework for On-Device LLMs via Roofline Analysis
arxiv.org·1d
🔀OCaml Multicore
Proof-oriented Programming in F*
fstar-lang.org·2d·
Discuss: Lobsters
🔗Curry-Howard
Running Async WebAssembly on Seastar's Reactor
rockwotj.com·7h·
Discuss: Hacker News
💬Mach Messages
Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
arxiv.org·1d
⚙️PL Implementation
(Re)Discovering Natural Laws
lesswrong.com·2d
🎯Hindley-Milner
Breaking the Tractability Barrier: A Generic Low-Level Solver for NP-Hard Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org·1d·
Discuss: r/programming
🧮SMT Solvers
Show HN: Langasync – Use OpenAI/Anthropic Batch APIs with LangChain Chains
github.com·8h·
Discuss: Hacker News
📦OPAM
[TUHS] bare m4 (was BTL summmer employees)
tuhs.org·3d·
Discuss: Lobsters
🐫Embedded OCaml
Building a New Excel Library in One Week
hackers.pub·8h·
Discuss: Lobsters, Hacker News
📦Opam
Building an Embedding API with Rust, Arm, and EmbeddingGemma on AWS Lambda
sobolev.substack.com·1d·
Discuss: Substack
🏗️Dune
Allocators from C to Zig
antonz.org·2d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
🏃Escape Analysis
A high-performance Go framework (250k+ req/sec) with built-in batteries
go-kvolt.github.io·4d
🐫Embedded OCaml
Readable and concise concatenative programming
cognate-lang.github.io·8h·
Discuss: Hacker News
⚙️Compiler Design
The missing call-assign operator
kevincox.ca·1d·
Discuss: Hacker News
⚙️Kubernetes Operators
Show HN: Built Vokab: a vocabulary learning app built with SwiftUI
vokab.net·11h·
Discuss: Hacker News
🍎Apple
APL386 Unicode Font
abrudz.github.io·8h·
Discuss: Hacker News
🔤Typography
Trust: LLMs as Compilers
mechanicalorchard.substack.com·9h·
Discuss: Substack
📝Nix Language

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help