Normal-order syntax-rules and proving the fix-point of call/cc
(news.ycombinator.com)
31.
32.
Implicit ODE solvers are not universally more robust than explicit ODE solvers
(news.ycombinator.com)
33.
Implicit ODE Solvers Are Not Universally More Robust Than Explicit ODE Solvers
(news.ycombinator.com)
34.
Implicit Ode Solvers Are Not Universally More Robust Than Explicit Ode Solvers
(news.ycombinator.com)
35.
Anonymous recursive functions in Racket
(news.ycombinator.com)
36.
Cloud provider Lambda may be gearing up for an IPO
(techcrunch.com)
37.
Lisp interpreter with GC in <750 lines of Odin (and <500 lines of C)
(news.ycombinator.com)
38.
How to draw lambda diagrams (2020)
(news.ycombinator.com)
39.
A circle and a hyperbola living in one plot
(news.ycombinator.com)
40.
Entropy of a Mixture
(news.ycombinator.com)
Today's top topics:
anthropic
mythos 5
claude
cybersecurity
fable 5
amazon prime day
apple
kindle
prime day
macbook