| 1. | | Evaluating Solidity support in AI coding assistants (trailofbits.com) |
|
1 point by tyoma 5 months ago | past
|
|
| 2. | | Arsine (AsH3) – From Reconnaissance Balloons to Integrated Circuits (toxandhound.com) |
|
2 points by tyoma 5 months ago | past
|
|
| 3. | | Understanding Apple's On-Device and Server Foundation Models Release (trailofbits.com) |
|
1 point by tyoma 10 months ago | past
|
|
| 4. | | An informal comparison of the three major implementations of std:string (microsoft.com) |
|
127 points by tyoma 11 months ago | past | 29 comments
|
|
| 5. | | Technologist vs. spy: the xz backdoor debate (lcamtuf.substack.com) |
|
16 points by tyoma on March 30, 2024 | past | 1 comment
|
|
| 6. | | Retro Computing via Cheap FPGAs (github.com/hi631) |
|
2 points by tyoma on Jan 23, 2024 | past
|
|
| 7. | | ETW internals for security research and forensics (trailofbits.com) |
|
2 points by tyoma on Nov 22, 2023 | past
|
|
| 8. | | Claude for Google Sheets (anthropic.com) |
|
1 point by tyoma on Nov 17, 2023 | past
|
|
| 9. | | The Curse of Dialup World (allenpike.com) |
|
185 points by tyoma on Oct 1, 2023 | past | 69 comments
|
|
| 10. | | Codex (and GPT-4) can’t beat humans on smart contract audits (trailofbits.com) |
|
2 points by tyoma on March 22, 2023 | past | 1 comment
|
|
| 11. | | Adventures in compatibility: The case of the display control panel crash on exit (microsoft.com) |
|
2 points by tyoma on Feb 13, 2023 | past
|
|
| 12. | | Voyager files for Chapter 11 Bankruptcy (reddit.com) |
|
22 points by tyoma on July 6, 2022 | past | 1 comment
|
|
| 13. | | Video has been removed for rights reasons (bbc.com) |
|
2 points by tyoma on Feb 11, 2022 | past
|
|
| 14. | | Why are device-independent bitmaps upside down? (microsoft.com) |
|
5 points by tyoma on May 25, 2021 | past
|
|
| 15. | | Full text: An epic Bill Gates email rant (2003) (seattlepi.com) |
|
2 points by tyoma on March 3, 2021 | past | 2 comments
|
|
| 16. | | Presence of debug information affects LLVM code generation (llvm.org) |
|
1 point by tyoma on Jan 5, 2021 | past
|
|
| 17. | | Benchmarking theorem provers for programming tasks: yices vs. z3 (lemire.me) |
|
8 points by tyoma on Nov 9, 2020 | past | 1 comment
|
|
| 18. | | California phasing out gasoline powered cars by 2035 (twitter.com/gavinnewsom) |
|
8 points by tyoma on Sept 23, 2020 | past | 6 comments
|
|
| 19. | | What Happens to University-Based Biotech Startups – and Why (blogs.sciencemag.org) |
|
1 point by tyoma on Feb 13, 2020 | past
|
|
| 20. | | TSC Frequency for All: Better Profiling and Benchmarking (trailofbits.com) |
|
36 points by tyoma on Oct 3, 2019 | past | 9 comments
|
|
| 21. | | Fuzzing in the Year 2000 (trailofbits.com) |
|
1 point by tyoma on March 29, 2019 | past
|
|
| 22. | | Optimizing for Security (immunant.com) |
|
3 points by tyoma on Sept 11, 2018 | past
|
|
| 23. | | Why are chip payments so slow in the US? (quora.com) |
|
3 points by tyoma on March 4, 2017 | past
|
|
| 24. | | Close Encounters with Symbolic Execution, Part 2 (trailofbits.com) |
|
21 points by tyoma on Dec 4, 2014 | past
|
|
| 25. | | What You Can Ask and What You Can’t – Legal/Illegal Interview Questions [pdf] (mtu.edu) |
|
2 points by tyoma on June 24, 2014 | past
|
|
| 26. | | What Happens When Your Phone Falls into the Ocean (dinaburg.org) |
|
1 point by tyoma on May 19, 2014 | past
|
|
| 27. | | The unsavory truth about Lyft: by a former Chicago driver. (reddit.com) |
|
1 point by tyoma on March 19, 2014 | past
|
|
| 28. | | Verify Software by Playing Games (verigames.com) |
|
2 points by tyoma on Dec 6, 2013 | past
|
|
| 29. | | Darpa Cyber Grand Challenge PM is doing an AMA on reddit (reddit.com) |
|
2 points by tyoma on Nov 16, 2013 | past
|
|
| 30. | | Darpa Announces Cyber Grand Challenge (darpa.mil) |
|
10 points by tyoma on Oct 22, 2013 | past
|
|
