1. | | Memories of Kurt Gödel (2012) (rudyrucker.com) |
|
2 points by icc97 on Oct 3, 2023 | past
|
2. | | Richard Feynman – BBC Archives (bbc.co.uk) |
|
2 points by icc97 on Aug 15, 2023 | past
|
3. | | Why Functional Programming? (ianchanning.wordpress.com) |
|
1 point by icc97 on July 24, 2023 | past
|
4. | | Dyspraxia: My Life with the Misunderstood Condition (2021) (bbc.com) |
|
2 points by icc97 on June 9, 2023 | past
|
5. | | AI and the Tao (shittyphilosophy.org) |
|
1 point by icc97 on May 28, 2023 | past
|
6. | | Advanced brain imaging study hints at how DMT alters perception of reality (imperial.ac.uk) |
|
4 points by icc97 on April 6, 2023 | past
|
7. | | Confused about ReScript? ReScript,Reason,ReasonML,BuckleScript Explained (2020) (ersin-akinci.medium.com) |
|
2 points by icc97 on March 5, 2023 | past
|
8. | | Undo (“u”) stopped working as intend – Issue #8157 – VSCodeVim/Vim (github.com/vscodevim) |
|
2 points by icc97 on Feb 10, 2023 | past
|
9. | | A plethora of podcasts to delight statisticians (vsni.co.uk) |
|
1 point by icc97 on Dec 1, 2021 | past
|
10. | | Scientific Aspects of Juggling by Claude Shannon [pdf] (jonglage.net) |
|
3 points by icc97 on Nov 20, 2021 | past
|
11. | | Jesus for Atheists (ianchanning.wordpress.com) |
|
2 points by icc97 on March 12, 2021 | past
|
12. | | Google is building an AI (2004) (sites.google.com) |
|
1 point by icc97 on May 18, 2020 | past
|
13. | | Accelerated sensor fusion algorithm for POSE estimation of drones (2017) (rubenfiszel.github.io) |
|
2 points by icc97 on May 28, 2019 | past
|
14. | | Apple.com's Visual Hierarchy (lukew.com) |
|
1 point by icc97 on May 28, 2019 | past
|
15. | | John McCarthy's FAQ about Nuclear Energy (2006) (stanford.edu) |
|
1 point by icc97 on Feb 10, 2019 | past
|
16. | | Formality, a language combining formal proofs and optimal reductions (reddit.com) |
|
3 points by icc97 on Feb 7, 2019 | past
|
17. | | Formally Verified Software in the Real World (2018) (acm.org) |
|
186 points by icc97 on Jan 22, 2019 | past | 17 comments
|
18. | | Family Tree of Economics (pc.blogspot.com) |
|
55 points by icc97 on Jan 9, 2019 | past | 34 comments
|
19. | | DeepTraffic: Crowdsourced Hyperparameter Tuning for Dense Traffic Navigation (arxiv.org) |
|
1 point by icc97 on Jan 5, 2019 | past
|
20. | | Release 1.0 (sbw.org) |
|
2 points by icc97 on Jan 5, 2019 | past
|
21. | | StCUDA: Smalltalk CUDA library (github.com/lanl) |
|
2 points by icc97 on Jan 2, 2019 | past
|
22. | | Community-based, human-centered design (jnd.org) |
|
45 points by icc97 on Jan 1, 2019 | past | 9 comments
|
23. | | User-defined functions in Excel (2003) (microsoft.com) |
|
1 point by icc97 on Nov 9, 2018 | past
|
24. | | WebPPL: Probabilistic Programming for the Web (webppl.org) |
|
3 points by icc97 on Sept 19, 2018 | past
|
25. | | TCP Operational Overview and the TCP Finite State Machine (FSM) (tcpipguide.com) |
|
3 points by icc97 on Sept 1, 2018 | past
|
26. | | CoQA: Large-Scale Dataset for Building Conversational Question Answering Systems (stanfordnlp.github.io) |
|
1 point by icc97 on Aug 27, 2018 | past
|
27. | | The ‘root-brain’ hypothesis of Charles and Francis Darwin (2009) [pdf] (linv.org) |
|
1 point by icc97 on June 15, 2018 | past
|
28. | | Show HN: Awesome GitHub Alternatives (github.com/ianchanning) |
|
1 point by icc97 on June 11, 2018 | past
|
29. | | Oh Look, More Evidence Humans Shouldn't Be Driving (2015) (wired.com) |
|
2 points by icc97 on May 26, 2018 | past
|
30. | | Laws of Thermodynamics [pdf] (haystack.mit.edu) |
|
1 point by icc97 on May 10, 2018 | past
|
|
|
More |