| 1. | | Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat) |
| 534 points by yehiaabdelm 9 months ago | 225 comments |
|
| 2. | | Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk) |
| 416 points by pseudolus 9 months ago | 192 comments |
|
| 3. | | Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org) |
| 375 points by vitalnodo 9 months ago | 144 comments |
|
| 4. | | Marko – A declarative, HTML‑based language (markojs.com) |
| 367 points by ulrischa 9 months ago | 180 comments |
|
| 5. | | Immutable Software Deploys Using ZFS Jails on FreeBSD (conradresearch.com) |
| 194 points by vermaden 9 months ago | 47 comments |
|
| 6. | | Ticker: Don't die of heart disease (myticker.com) |
| 600 points by colelyman 9 months ago | 488 comments |
|
| 7. | | Avería: The Average Font (2011) (iotic.com) |
| 233 points by JoshTriplett 9 months ago | 50 comments |
|
| 8. | | Control structures in programming languages: from goto to algebraic effects (xavierleroy.org) |
| 203 points by SchwKatze 9 months ago | 32 comments |
|
| 9. | | Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (arxiv.org) |
| 180 points by otrack 9 months ago | 56 comments |
|
| 10. | | Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com) |
| 156 points by jtbayly 9 months ago | 34 comments |
|
| 11. | | Becoming a compiler engineer (rona.substack.com) |
| 295 points by lalitkale 9 months ago | 153 comments |
|
| 12. | | Mullvad: Shutting down our search proxy Leta (mullvad.net) |
| 218 points by holysoles 9 months ago | 140 comments |
|
| 13. | | Cerebras Code now supports GLM 4.6 at 1000 tokens/sec (cerebras.ai) |
| 194 points by nathabonfim59 9 months ago | 129 comments |
|
| 14. | | WriterdeckOS (writerdeckos.com) |
| 207 points by surprisetalk 9 months ago | 115 comments |
|
| 15. | | Friendly attributes pattern in Ruby (brunosutic.com) |
| 101 points by brunosutic 9 months ago | 75 comments |
|
| 16. | | FSF40 Hackathon (fsf.org) |
| 120 points by salutis 9 months ago | 3 comments |
|
| 17. | | An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (computerhistory.org) |
| 101 points by swatson741 9 months ago | 11 comments |
|
| 18. | | The Initial Ideal Customer Profile Worksheet (reifyworks.com) |
| 89 points by mrbbk 9 months ago | 11 comments |
|
| 19. | | My friends and I accidentally faked the Ryzen 7 9700X3D leaks (reddit.com) |
| 290 points by djrockstar1 9 months ago | 71 comments |
|
| 20. | | Apple's "notarisation" – blocking software freedom of developers and users (fsfe.org) |
| 297 points by DavideNL 9 months ago | 174 comments |
|
| 21. | | 52 Year old data tape could contain Unix history (theregister.com) |
| 204 points by rbanffy 9 months ago | 77 comments |
|
| 22. | | How a devboard works (and how to make your own) (kaipereira.com) |
| 96 points by kaipereira 9 months ago | 34 comments |
|
| 23. | | Running a 68060 CPU in Quadra 650 (github.com/zigzagjoe) |
| 75 points by zdw 9 months ago | 49 comments |
|
| 24. | | IP blocking the UK is not enough to comply with the Online Safety Act (prestonbyrne.com) |
| 313 points by pinkahd 9 months ago | 380 comments |
|
| 25. | | Computational Complexity of Air Travel Planning (2003) [pdf] (ai.mit.edu) |
| 81 points by arnon 9 months ago | 12 comments |
|
| 26. | | My first fifteen compilers (2019) (sigplan.org) |
| 74 points by azhenley 10 months ago | 9 comments |
|
| 27. | | Show HN: Find matching acrylic paints for any HEX color (acrylicmatch.com) |
| 56 points by dotspencer 9 months ago | 19 comments |
|
| 28. | | Reverse engineering a neural network's clever solution to binary addition (2023) (cprimozic.net) |
| 87 points by Ameo 9 months ago | 16 comments |
|
| 29. | | Using the Web Monetization API for fun and profit (tomayac.com) |
| 77 points by tomayac 9 months ago | 17 comments |
|
| 30. | | Local First Htmx (elijahm.com) |
| 126 points by srid 9 months ago | 57 comments |
|
|
| More |
