| 1. | | Formalizing a proof in Lean using Github copilot and canonical [video] (youtube.com) |
| 2 points by ot 28 days ago | past |
|
| 2. | | Qwen3 Embedding: Advancing Text Embedding and Reranking with Foundation Models (arxiv.org) |
| 1 point by ot 28 days ago | past |
|
| 3. | | Sushi Roll: A CPU research kernel for micro-architectural introspection (2019) (gamozolabs.github.io) |
| 3 points by ot 31 days ago | past |
|
| 4. | | Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org) |
| 2 points by ot 38 days ago | past | 1 comment |
|
| 5. | | Linear scalable read-write lock (uvdn7.github.io) |
| 3 points by ot 56 days ago | past |
|
| 6. | | Apple airlifts 600 tons of iPhones from India 'to beat' Trump tariffs (reuters.com) |
| 10 points by ot 89 days ago | past |
|
| 7. | | Trump signs order to establish a sovereign wealth fund that could buy TikTok (cnbc.com) |
| 10 points by ot 5 months ago | past | 1 comment |
|
| 8. | | Strobelight: A profiling service built on open source technology (fb.com) |
| 2 points by ot 5 months ago | past |
|
| 9. | | AWS re:Invent 2024 – Dive deep on Amazon S3 [video] (youtube.com) |
| 2 points by ot 6 months ago | past |
|
| 10. | | Stack-based graph traversal ≠ depth first search (11011110.github.io) |
| 3 points by ot 8 months ago | past |
|
| 11. | | Why So Few Matt Levines? (gwern.net) |
| 8 points by ot 9 months ago | past | 2 comments |
|
| 12. | | Uv: An fast Python package and project manager, written in Rust (github.com/astral-sh) |
| 4 points by ot 10 months ago | past | 1 comment |
|
| 13. | | Twitter Takeover Is Now the Worst Buyout for Banks Since the Financial Crisis (wsj.com) |
| 64 points by ot 10 months ago | past | 19 comments |
|
| 14. | | The Greenwich Meridian is in the wrong place [video] (youtube.com) |
| 1 point by ot 10 months ago | past |
|
| 15. | | Design doesn't have to end like this (jovo.design) |
| 3 points by ot 11 months ago | past |
|
| 16. | | Meta 2Q'24 Update (mbi-deepdives.com) |
| 1 point by ot 11 months ago | past |
|
| 17. | | Bing Generative Search (bing.com) |
| 2 points by ot 11 months ago | past |
|
| 18. | | Phi-3 fine-tuning, new generative AI models (microsoft.com) |
| 2 points by ot 11 months ago | past |
|
| 19. | | Forward? Error? Correction? (quic.video) |
| 1 point by ot on June 23, 2024 | past |
|
| 20. | | Formal methods: Just good engineering practice? (brooker.co.za) |
| 179 points by ot on June 21, 2024 | past | 149 comments |
|
| 21. | | Mike Krieger: I've joined AnthropicAI as their Chief Product Officer (threads.net) |
| 40 points by ot on May 15, 2024 | past | 11 comments |
|
| 22. | | Formal methods: Just good engineering practice? (brooker.co.za) |
| 2 points by ot on April 24, 2024 | past |
|
| 23. | | webgraph-rs: a Rust port of the WebGraph framework (github.com/vigna) |
| 4 points by ot on April 23, 2024 | past |
|
| 24. | | Looking for AI Use-Cases (ben-evans.com) |
| 3 points by ot on April 22, 2024 | past |
|
| 25. | | New Assistant: Meta AI, Built with Llama 3 (fb.com) |
| 42 points by ot on April 18, 2024 | past | 6 comments |
|
| 26. | | Async C++/Rust Interoperability (medium.com/aidagetoeva) |
| 1 point by ot on April 4, 2024 | past |
|
| 27. | | Ray Cat (wikipedia.org) |
| 2 points by ot on April 3, 2024 | past |
|
| 28. | | Meta previews 'Fediverse sharing' for Threads (engadget.com) |
| 2 points by ot on March 20, 2024 | past |
|
| 29. | | Norfolk County Council beats Apple in £385M iPhone row (bbc.com) |
| 10 points by ot on March 16, 2024 | past | 1 comment |
|
| 30. | | How a cheap, generic drug became a darling of longevity enthusiasts (washingtonpost.com) |
| 4 points by ot on March 15, 2024 | past | 1 comment |
|
|
| More |
