| 1. | | Terence Tao on proof checkers and AI programs (scientificamerican.com) |
|
327 points by antineutrino 3 days ago | 165 comments
|
|
| 2. | | Learning Rust – Day 4 – Understanding Modules (geekabyte.io) |
|
61 points by dade on May 12, 2022 | 33 comments
|
|
| 3. | | SIMD < SIMT < SMT: Parallelism in Nvidia GPUs (2011) (yosefk.com) |
|
135 points by shipp02 4 days ago | 37 comments
|
|
| 4. | | Stable Diffusion:Real time prompting with SDXL Turbo and ComfyUI running locally (reddit.com) |
|
122 points by belltaco 6 months ago | 42 comments
|
|
| 5. | | Apple blocks PC emulator in iOS App Store and third-party app stores (9to5mac.com) |
|
413 points by ajdude 4 days ago | 189 comments
|
|
| 6. | | Apple Intelligence for iPhone, iPad, and Mac (apple.com) |
|
1088 points by terramex 4 days ago | 1226 comments
|
|
| 7. | | Gainax, known for 'Evangelion' anime production, goes bankrupt (japantimes.co.jp) |
|
242 points by lnyan 4 days ago | 154 comments
|
|
| 8. | | The Era of the Autodidact Is Here (2018) (medium.com/swlh) |
|
35 points by squircle 5 days ago | 71 comments
|
|
| 9. | | I learned Vulkan and wrote a small game engine with it (edw.is) |
|
623 points by eliasdaler 8 days ago | 260 comments
|
|
| 10. | | HP bricks customers laptops with faulty automatic BIOS upgrade (hp.com) |
|
164 points by jackpot433 8 days ago | 117 comments
|
|
| 11. | | Most life on Earth is dormant, after pulling an 'emergency brake' (quantamagazine.org) |
|
300 points by mgl 8 days ago | 242 comments
|
|
| 12. | | Study finds 268% higher failure rates for Agile software projects (theregister.com) |
|
221 points by johnsutor 9 days ago | 188 comments
|
|
| 13. | | An animated introduction to Fourier series (andreinc.net) |
|
601 points by gaws 10 days ago | 88 comments
|
|
| 14. | | When Design Meets Disaster: An Avalanche Survival Story and the Power of UX (thebookwormsburrow.com) |
|
3 points by arijo 11 days ago | discuss
|
|
| 15. | | A Self-Published Book Broke 'All the Rules' to Become a Best Seller (nytimes.com) |
|
8 points by richardatlarge 13 days ago | 1 comment
|
|
| 16. | | in Rust, methods should be object safe (nora.codes) |
|
61 points by fanf2 15 days ago | 76 comments
|
|
| 17. | | Writing an NVMe Driver in Rust [pdf] (tum.de) |
|
242 points by foooo4 17 days ago | 44 comments
|
|
| 18. | | What UI density means and how to design for it (matthewstrom.com) |
|
767 points by delaugust 24 days ago | 387 comments
|
|
| 19. | | Seven Dyson Sphere Candidates (centauri-dreams.org) |
|
191 points by sohkamyung 27 days ago | 355 comments
|
|
| 20. | | F* – A Proof-Oriented Programming Language (fstar-lang.org) |
|
236 points by montyanderson 29 days ago | 102 comments
|
|
| 21. | | Exercises to Learn Rust (rust-exercises.com) |
|
752 points by sebg 28 days ago | 123 comments
|
|
| 22. | | Intel Meteor Lake's NPU (chipsandcheese.com) |
|
107 points by rbanffy 52 days ago | 54 comments
|
|
| 23. | | Unitree G1 Humanoid Agent (unitree.com) |
|
195 points by anigbrowl 32 days ago | 123 comments
|
|
| 24. | | Encrypted services Apple, Proton and Wire helped police identify activist (techcrunch.com) |
|
41 points by PaulHoule 32 days ago | 13 comments
|
|
| 25. | | Superfile – A fancy, pretty terminal file manager (github.com/mhnightcat) |
|
413 points by oidar 35 days ago | 205 comments
|
|
| 26. | | Apple apologizes for iPad 'Crush' ad that 'missed the mark' (theverge.com) |
|
667 points by linguae 36 days ago | 1518 comments
|
|
| 27. | | Final Cut Pro transforms video creation with Live Multicam, new AI features (apple.com) |
|
63 points by nateb2022 38 days ago | 27 comments
|
|
| 28. | | What Is in a Rust Allocator? (sulami.xyz) |
|
94 points by sulami 39 days ago | 12 comments
|
|
| 29. | | An infinite canvas for code exploration (territory.dev) |
|
211 points by pst723 39 days ago | 107 comments
|
|
| 30. | | The best way to have complex discussions? (cq2.co) |
|
512 points by anandbaburajan 39 days ago | 322 comments
|
|
|
|
More |
