1. | | Software-Defined Radio for Engineers (2018) [pdf] (analog.com) |
|
283 points by Tomte 38 days ago | 61 comments
|
2. | | [flagged] The U.S. Cannot Be Run Like a Business (2017) (hbr.org) |
|
56 points by xnx 55 days ago | 34 comments
|
3. | | Principles of Dependent Type Theory [pdf] (danielgratzer.com) |
|
3 points by todsacerdoti 5 months ago
|
4. | | Network Science by Albert-László Barabási (networksciencebook.com) |
|
73 points by j_maffe on Dec 23, 2023 | 22 comments
|
5. | | Show HN: SQL Polyglot (codapi.org) |
|
53 points by nalgeon on Dec 16, 2023 | 14 comments
|
6. | | Shift Left Software Development Process (2022) (devopedia.org) |
|
44 points by thunderbong on Nov 8, 2023 | 41 comments
|
7. | | Neural Networks: Zero to Hero (karpathy.ai) |
|
642 points by whereistimbo on April 5, 2023 | 68 comments
|
8. | | The Origins of Python (inference-review.com) |
|
138 points by pauloxnet on Nov 26, 2022 | 72 comments
|
9. | | Introduction to the Theory of Programming Languages (1991) (bertrandmeyer.com) |
|
199 points by ingve on Sept 30, 2022 | 54 comments
|
10. | | BirdNET-Pi: Automated, locally run bird sound identification and tracking (birdnetpi.com) |
|
468 points by superkuh on April 18, 2022 | 88 comments
|
11. | | So you want to study mathematics (susanrigetti.com) |
|
604 points by musgravepeter on March 7, 2022 | 359 comments
|
12. | | Algorithms for Modern Hardware (algorithmica.org) |
|
344 points by mooreds on March 7, 2022 | 62 comments
|
13. | | Ergonomics of the Symbolics Lisp Machine (2014) (lispm.de) |
|
94 points by gjvc on Nov 15, 2021 | 57 comments
|
14. | | Clog – The Common Lisp Omnificent GUI (github.com/rabbibotton) |
|
163 points by podiki on Nov 10, 2021 | 29 comments
|
15. | | You and Your Research (1986) (virginia.edu) |
|
84 points by exolymph on Aug 26, 2021 | 35 comments
|
16. | | The Usefulness of Useless Knowledge (1939) [pdf] (ias.edu) |
|
96 points by activatedgeek on Aug 9, 2021 | 23 comments
|
17. | | Introduction To Program Synthesis (2018) (csail.mit.edu) |
|
132 points by optimalsolver on Aug 7, 2021 | 20 comments
|
18. | | A commemoration of Edsger Dijkstra [pdf] (utexas.edu) |
|
133 points by cion on July 11, 2021 | 25 comments
|
19. | | The Discipline of DE (1978) [video] (youtube.com) |
|
125 points by brudgers on April 20, 2021 | 63 comments
|
20. | | Goblins: A transactional, distributed actor model environment (racket-lang.org) |
|
134 points by snicker7 on April 1, 2021 | 30 comments
|
21. | | Sam Fussell: An interview with the author of Muscle (2014) (drmichaeljoyner.com) |
|
109 points by barry-cotter on March 27, 2021 | 8 comments
|
22. | | Writing Small CLI Programs in Common Lisp (stevelosh.com) |
|
174 points by reikonomusha on March 17, 2021 | 61 comments
|
23. | | Easy Forth: Learn forth with REPL in the browser (skilldrick.github.io) |
|
100 points by guerrilla on Feb 17, 2021 | 30 comments
|
24. | | Computer Networks: A Systems Approach (systemsapproach.org) |
|
254 points by Ballu on Feb 12, 2021 | 23 comments
|
25. | | How Did Software Get So Reliable Without Proof? (1996) [pdf] (gwern.net) |
|
111 points by tosh on Sept 17, 2020 | 123 comments
|
26. | | Hints and Principles for Computer System Design [pdf] (dropbox.com) |
|
124 points by matt_d on Sept 2, 2020 | 11 comments
|
27. | | Typed Lisp, a Primer (2019) (alhassy.github.io) |
|
107 points by jedimind on July 18, 2020 | 26 comments
|
28. | | On Systemic Debt (thedailywtf.com) |
|
144 points by dredmorbius on June 10, 2020 | 63 comments
|
29. | | Reliable Systems Series: Model-Based Testing (medium.com/tylerneely) |
|
2 points by spooneybarger on March 28, 2018
|
30. | | Show HN: Rewtro plays tiny videogames encoded in origami GameBoy cartridges (github.com/kesiev) |
|
117 points by kesiev on Dec 30, 2019 | 26 comments
|
|
|
More |