GoKawiil
31.
33.
λProlog: Logic programming in higher-order logic
(news.ycombinator.com)
34.
Roads to Rome (2015)
(news.ycombinator.com)
35.
Rendering the Visible Spectrum
(news.ycombinator.com)
36.
Measuring spin correlation between quarks during QCD confinement
(feeds.nature.com)
38.
Taming P99s in OpenFGA: How we built a self-tuning strategy planner
(news.ycombinator.com)
40.
Show HN: A fast CLI and MCP server for managing Lambda cloud GPU instances
(news.ycombinator.com)
41.
42.
The Cost of a Closure in C
(news.ycombinator.com)
43.
Comparing AWS Lambda ARM64 vs. x86_64 Performance Across Runtimes in Late 2025
(news.ycombinator.com)
44.
I put a real search engine into a Lambda, so you only pay when you search
(news.ycombinator.com)
45.
46.
47.
De Bruijn Numerals
(news.ycombinator.com)
48.
On USB HID, Keyboard LEDs, and device emulation (2024)
(news.ycombinator.com)
49.
50.
51.
The Lambda Calculus (2023)
(news.ycombinator.com)
52.
The Lambda Calculus – Stanford Encyclopedia of Philosophy
(news.ycombinator.com)
53.
Normal-order syntax-rules and proving the fix-point of call/cc
(news.ycombinator.com)
54.
Implicit ODE solvers are not universally more robust than explicit ODE solvers
(news.ycombinator.com)
55.
Implicit ODE Solvers Are Not Universally More Robust Than Explicit ODE Solvers
(news.ycombinator.com)
56.
Implicit Ode Solvers Are Not Universally More Robust Than Explicit Ode Solvers
(news.ycombinator.com)
57.
Anonymous recursive functions in Racket
(news.ycombinator.com)
58.
Cloud provider Lambda may be gearing up for an IPO
(techcrunch.com)
59.
Lisp interpreter with GC in <750 lines of Odin (and <500 lines of C)
(news.ycombinator.com)
60.