| 1. | | An example of LLM prompting for programming (martinfowler.com) |
|
546 points by mpweiher on April 18, 2023 | 261 comments
|
|
| 2. | | Understanding large language models: A cross-section of the relevant literature (sebastianraschka.com) |
|
307 points by headalgorithm on April 16, 2023 | 31 comments
|
|
| 3. | | P Language: a state machine-based programming language (2021) (p-org.github.io) |
|
75 points by nine_k on Jan 6, 2023 | 26 comments
|
|
| 4. | | Formalising Mathematics: An Introduction (xenaproject.wordpress.com) |
|
205 points by panic on Feb 21, 2021 | 116 comments
|
|
| 5. | | Advanced Compilers: Self-Guided Online Course (cornell.edu) |
|
827 points by matt_d on Dec 11, 2020 | 232 comments
|
|
| 6. | | Software Design for Flexibility (mitpress.mit.edu) |
|
109 points by jgrodziski on Dec 6, 2020 | 39 comments
|
|
| 7. | | A mathematical formalisation challenge by Peter Scholze (xenaproject.wordpress.com) |
|
75 points by alimw on Dec 6, 2020 | 24 comments
|
|
| 8. | | South Korea's fusion device KSTAR runs for 20 seconds at 100M degrees Celsius (arirang.com) |
|
494 points by airstrike on Dec 1, 2020 | 310 comments
|
|
| 9. | | Foundations of Software Engineering (cmu-313.github.io) |
|
499 points by charlysl on Oct 31, 2020 | 125 comments
|
|
| 10. | | Compact nuclear fusion reactor is 'very likely to work,' studies suggest (nytimes.com) |
|
622 points by Todd on Sept 29, 2020 | 355 comments
|
|
| 11. | | Haskell Mini-Patterns Handbook (kowainik.github.io) |
|
328 points by gluegadget on Aug 18, 2020 | 30 comments
|
|
| 12. | | A collection of books, talks, and papers on security engineering (github.com/veeral-patel) |
|
161 points by veeralpatel979 on Aug 2, 2020 | 8 comments
|
|
| 13. | | Division by zero in type theory: a FAQ (xenaproject.wordpress.com) |
|
120 points by EvgeniyZh on July 6, 2020 | 82 comments
|
|
| 14. | | Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com/blanchette) |
|
177 points by kevinbuzzard on April 6, 2020 | 19 comments
|
|
| 15. | | Mathematics for the Adventurous Self-Learner (neilwithdata.com) |
|
1232 points by nsainsbury on Feb 23, 2020 | 210 comments
|
|
| 16. | | JVM Anatomy Quarks (shipilev.net) |
|
193 points by signa11 on Jan 30, 2020 | 38 comments
|
|
| 17. | | Show HN: Top PDFs Posted to Hacker News in 2019 Computed from Internet Archive (getpolarized.io) |
|
21 points by burtonator on Jan 23, 2020 | 9 comments
|
|
| 18. | | Introduction to Algotrading (2011) [pdf] (isomorphisms.sdf.org) |
|
393 points by steventhedev on Feb 21, 2019 | 130 comments
|
|
| 19. | | Concrete Semantics (concrete-semantics.org) |
|
94 points by nextos on Jan 17, 2020 | 17 comments
|
|
| 20. | | Reverse engineering course (github.com/0xz0f) |
|
656 points by Edouar1 on Jan 16, 2020 | 55 comments
|
|
| 21. | | Understanding Bash (2018) (linuxjournal.com) |
|
130 points by sergi_chalauri on Jan 15, 2020 | 53 comments
|
|
| 22. | | In praise of property-based testing (increment.com) |
|
78 points by yhoiseth on Dec 25, 2019 | 9 comments
|
|
| 23. | | Challenging projects every programmer should try (utk.edu) |
|
911 points by azhenley on Dec 14, 2019 | 297 comments
|
|
| 24. | | CMU 15-721: In-Memory Databases / Advanced Database Systems [video] (youtube.com) |
|
227 points by skovorodkin on Nov 29, 2019 | 20 comments
|
|
| 25. | | Computer Architecture – ETH Zürich – Fall 2019 (ethz.ch) |
|
654 points by skovorodkin on Nov 25, 2019 | 74 comments
|
|
| 26. | | Z3 SMT solver interactive tutorial (rise4fun.com) |
|
114 points by vmorgulis on Aug 27, 2016 | 14 comments
|
|
| 27. | | Logic Puzzles with Prolog (2017) (metalevel.at) |
|
138 points by YeGoblynQueenne on Nov 19, 2019 | 26 comments
|
|
| 28. | | Ask HN: Are there books for mathematics like Feynman's lectures on physics? |
|
788 points by pirate_is_back on Oct 24, 2019 | 171 comments
|
|
| 29. | | Geometry, Algebra, and Intuition (2017) (shapeoperator.com) |
|
244 points by sebg on Oct 22, 2019 | 39 comments
|
|
| 30. | | Learning How to Prove: From the Coq Proof Assistant to Textbook Style (arxiv.org) |
|
115 points by mindcrime on Oct 7, 2019 | 19 comments
|
|
|
|
More |
