| 31. | | Professor Steve Keen explains why austerity economics is naive (youtube.com) |
| 3 points by deterministic on Nov 16, 2022 | past |
|
| 32. | | Hacker-Proof Code Confirmed (2016) (quantamagazine.org) |
| 2 points by deterministic on Oct 9, 2022 | past |
|
| 33. | | The Jovial Programming Language (wikipedia.org) |
| 1 point by deterministic on Sept 15, 2022 | past | 1 comment |
|
| 34. | | Modernising B-2 Spirit Bomber Software Systems (2009) (semdesigns.com) |
| 2 points by deterministic on Sept 15, 2022 | past |
|
| 35. | | End-to-End Verification of ARM Processors (2016) [pdf] (alastairreid.github.io) |
| 2 points by deterministic on Aug 28, 2022 | past |
|
| 36. | | Hacker-Proof Code Confirmed (2016) (quantamagazine.org) |
| 1 point by deterministic on Aug 28, 2022 | past |
|
| 37. | | How assembloids are changing the future of brain research (YouTube) (youtube.com) |
| 2 points by deterministic on Aug 3, 2022 | past |
|
| 38. | | Using Lightweight Formal Methods (2021) (acm.org) |
| 2 points by deterministic on July 24, 2022 | past |
|
| 39. | | The Programming Languages Zoo (github.com/andrejbauer) |
| 3 points by deterministic on July 19, 2022 | past |
|
| 40. | | A Special Issue on Formal Proof (2008) (ams.org) |
| 38 points by deterministic on July 19, 2022 | past | 2 comments |
|
| 41. | | Why the Soviet Computer Failed (youtube.com) |
| 3 points by deterministic on July 18, 2022 | past |
|
| 42. | | Hardening attack surfaces with formally proven binary format parsers (microsoft.com) |
| 150 points by deterministic on July 2, 2022 | past | 61 comments |
|
| 43. | | How to turn your 2d fractal into 3D (youtube.com) |
| 1 point by deterministic on June 6, 2022 | past |
|
| 44. | | Ask HN: What was your worst microservices nightmare? |
| 4 points by deterministic on May 30, 2022 | past | 3 comments |
|
| 45. | | The Dafny Programming Language (microsoft.com) |
| 3 points by deterministic on May 29, 2022 | past | 1 comment |
|
| 46. | | The F* Programming Language (fstar-lang.org) |
| 36 points by deterministic on May 26, 2022 | past | 6 comments |
|
| 47. | | Designing with Types (2013) (fsharpforfunandprofit.com) |
| 2 points by deterministic on May 25, 2022 | past |
|
| 48. | | Microservices (The Reality) (2020) (youtube.com) |
| 2 points by deterministic on May 18, 2022 | past |
|
| 49. | | Creating a GPU With C++ and an FPGA (2021) (youtube.com) |
| 51 points by deterministic on April 23, 2022 | past | 20 comments |
|
| 50. | | The Lean Mathematical Library (arxiv.org) |
| 4 points by deterministic on April 20, 2022 | past |
|
| 51. | | Why it's harder to earn more than your parents (2021) (youtube.com) |
| 1 point by deterministic on April 18, 2022 | past |
|
| 52. | | I Wrote a C++ REPL in 20 Lines of Code (2021) (youtube.com) |
| 2 points by deterministic on April 15, 2022 | past | 1 comment |
|
| 53. | | Tools we use to make our game satisfactory [video] (youtube.com) |
| 112 points by deterministic on April 15, 2022 | past | 26 comments |
|
| 54. | | Microservices (In a Nutshell) (youtube.com) |
| 1 point by deterministic on March 9, 2022 | past |
|
| 55. | | The Mysterious Life of UX Designers (youtube.com) |
| 2 points by deterministic on March 3, 2022 | past |
|
| 56. | | Correctness Proofs of Distributed Systems (youtube.com) |
| 2 points by deterministic on Feb 24, 2022 | past |
|
| 57. | | Learn You an Agda (2014) (williamdemeo.github.io) |
| 46 points by deterministic on Feb 15, 2022 | past | 13 comments |
|
| 58. | | Nvidia – Securing the Future of Safety and Security of Embedded Software (youtube.com) |
| 1 point by deterministic on Feb 14, 2022 | past |
|
| 59. | | SeL4 on RISC V Fast, Secure, Open Source and Proved Bug Free OS Kernel (youtube.com) |
| 3 points by deterministic on Feb 10, 2022 | past | 1 comment |
|
| 60. | | Ask HN: What is your preferred “full-stack in a box” solution and why? |
| 37 points by deterministic on Feb 8, 2022 | past | 35 comments |
|
|
| More |
