Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by adamnemecek
F# RISC-V Instruction Set Formal Specification
122 points
adamnemecek
2019-10-20T18:13:53Z
github.com
F# RISC-V Instruction Set Formal Specification
1 points
adamnemecek
2019-10-14T16:52:37Z
github.com
Algebra, Topology, Differential Calculus, and Optimization Theory for CS and ML [pdf]
319 points
adamnemecek
2019-10-13T18:23:37Z
www.cis.upenn.edu
Objc_msgSend's New Prototype
1 points
adamnemecek
2019-10-12T00:28:01Z
www.mikeash.com
Inferno: Rust Port of FlameGraph
2 points
adamnemecek
2019-10-11T16:22:07Z
github.com
Applied Complex Analysis
2 points
adamnemecek
2019-10-07T21:31:59Z
www.johndcook.com
CMU 15-445/645 Intro to Database Systems (Fall 2019) [video]
8 points
adamnemecek
2019-10-02T23:00:59Z
m.youtube.com
Applied Category Theory
34 points
adamnemecek
2019-10-02T22:05:16Z
github.com
The Principles behind Differentiable Programming [video]
47 points
adamnemecek
2019-09-30T15:36:27Z
www.youtube.com
The Science of Functional Programming [pdf]
180 points
adamnemecek
2019-09-27T15:39:59Z
github.com
RustConf 2019 – Rust for Weld, a High Performance Parallell JIT Compiler
1 points
adamnemecek
2019-09-26T19:56:57Z
youtube.com
Typed Lisp, a Primer
2 points
adamnemecek
2019-09-26T15:39:43Z
alhassy.github.io
Swift-Bindgen: Bridging the Gap Between Swift and Rust
1 points
adamnemecek
2019-09-22T15:05:57Z
github.com
Ldraw: Lego Modeling in Rust
174 points
adamnemecek
2019-09-17T00:58:20Z
segfault87.github.io
Mathematics for Physics: Illustrated Handbook
2 points
adamnemecek
2019-09-13T22:04:51Z
www.mathphysicsbook.com
Constructive Mathematics and Higher Topos Theory [pdf]
2 points
adamnemecek
2019-09-11T15:24:33Z
www.cs.bham.ac.uk
Adjoint Logic and Its Concurrent Operational Interpretation [pdf]
2 points
adamnemecek
2019-09-08T16:56:55Z
www.cs.cmu.edu
Chu spaces: A model of concurrency (1994) [pdf]
1 points
adamnemecek
2019-09-07T15:52:18Z
i.stanford.edu
Why are computable functions continuous?
1 points
adamnemecek
2019-09-06T17:13:53Z
cs.stackexchange.com
Dual Graph
2 points
adamnemecek
2019-09-06T16:49:16Z
en.wikipedia.org
16
17
18
19
20
21
22
23
24
25