pull down to refresh

Type Theory and Functional Programming (1999) [pdf]www.cs.cornell.edu/courses/cs6110/2015sp/textbook/Simon%20Thompson%20textbook.pdf
40 sats \ 0 comments \ @hn 1 Oct 2025 tech
related
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
272 sats \ 0 comments \ @hn 28 Dec 2024 tech
Codex for almost everythingopenai.com/index/codex-for-almost-everything/
312 sats \ 1 comment \ @hn 16 Apr tech
Learning Software Architecturematklad.github.io/2026/05/12/software-architecture.html
290 sats \ 0 comments \ @hn 12 May tech
Twenty Years of Valgrind (2022)nnethercote.github.io/2022/07/27/twenty-years-of-valgrind.html
237 sats \ 1 comment \ @hn 28 Aug 2024 tech
A Bunch of Programming Advice I'd Give to Myself 15 Years Agombuffett.com/posts/programming-advice-younger-self/
332 sats \ 4 comments \ @hn 29 Jun 2024 tech
Category Theory Illustrated: Logic(2021)abuseofnotation.github.io/category-theory-illustrated/05_logic/
210 sats \ 0 comments \ @hn 25 Oct 2024 tech
Claude Opus 4.7www.anthropic.com/news/claude-opus-4-7
912 sats \ 4 comments \ @hn 16 Apr tech
A sufficiently detailed spec is codehaskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code
345 sats \ 1 comment \ @hn 19 Mar tech
How I Program in 2024akkartik.name/post/programming-2024
414 sats \ 0 comments \ @hn 5 Aug 2024 tech
Mastering Bitcoin: Programming the Open Blockchain PDFunglueit-files.s3.amazonaws.com/ebf/05db7df4f31840f0a873d6ea14dcc28d.pdf
468 sats \ 0 comments \ @sharingpiracy 9 Oct 2023 bitcoin
The search for easier safe systems programmingwww.sophiajt.com/search-for-easier-safe-systems-programming/
237 sats \ 0 comments \ @hn 8 May 2024 tech
Accessible open textbooks in math-heavy disciplinesrichardzach.org/2025/03/accessible-open-textbooks-in-math-heavy-disciplines/
283 sats \ 1 comment \ @hn 29 Mar 2025 tech
Good programmers worry about data structures and their relationshipsread.engineerscodex.com/p/good-programmers-worry-about-data
221 sats \ 0 comments \ @hn 16 Aug 2024 tech
Try Clojuretryclojure.org/
272 sats \ 1 comment \ @hn 22 May 2024 tech
Smart pointers for the kernellwn.net/Articles/992055/
344 sats \ 0 comments \ @hn 18 Oct 2024 tech
Oliver Heaviside and the theory of transmission lines (2021)www.pa3fwm.nl/technotes/tn28-heaviside-transmission-lines.html
370 sats \ 2 comments \ @hn 27 Jan 2025 tech
Committing to Rust in the Kernellwn.net/SubscriberLink/991062/b0df468b40b21f5d/
405 sats \ 1 comment \ @hn 25 Sep 2024 tech
Aider: AI pair programming in your terminalgithub.com/paul-gauthier/aider
200 sats \ 0 comments \ @hn 11 Apr 2024 tech
An illustrated proof of the CAP theoremmwhittaker.github.io/blog/an_illustrated_proof_of_the_cap_theorem/
291 sats \ 3 comments \ @hn 8 Oct 2024 tech
The Arc Product-Market Fit Frameworkwww.sequoiacap.com/article/pmf-framework/
291 sats \ 1 comment \ @hn 14 Apr 2024 tech
The case against conversational interfacesjulian.digital/2025/03/27/the-case-against-conversational-interfaces/
266 sats \ 0 comments \ @hn 1 Apr 2025 tech