Recent Posts

• Sound Static Data Race Verification for C [pdf]
  by luuon 6/17/2025, 3:03:40 AM with 0 comments
• Ecovacs robot vacuums get hacked
  by luuon 6/15/2025, 10:49:47 PM with 1 comment
• Optimizing SFI Performance and Scalability on Modern Architectures [pdf]
  by luuon 5/31/2025, 6:00:46 PM with 0 comments
• Grid-Free Approach to Partial Differential Equations on Volumetric Domains [pdf]
  by luuon 5/27/2025, 7:16:46 AM with 4 comments
• Ontario judge approves $500M settlement in Loblaw bread-fixing case
  by luuon 5/26/2025, 5:12:21 PM with 0 comments
• Google shared my phone number
  by luuon 5/26/2025, 5:34:38 AM with 22 comments
• ARM PAN
  by luuon 5/25/2025, 5:23:25 PM with 0 comments
• Enzyme Automatic Differentiation Framework
  by luuon 5/23/2025, 6:27:55 AM with 0 comments
• The Napkin Project
  by luuon 5/20/2025, 11:07:51 PM with 0 comments
• "Copilot" bot user exempted from GitHub blocks
  by luuon 5/20/2025, 2:29:15 AM with 0 comments
• Writing into Uninitialized Buffers in Rust
  by luuon 5/19/2025, 5:56:10 PM with 8 comments
• Poireau: A Sampling Allocation Debugger
  by luuon 5/19/2025, 2:11:12 AM with 2 comments
• Community Access to Ventilation Information
  by luuon 5/16/2025, 8:57:37 AM with 0 comments
• Heart rate and body temperature during a PhD defense, an informal look
  by luuon 5/16/2025, 8:47:47 AM with 0 comments
• LLVM IR – Past, Present and Future [video]
  by luuon 5/16/2025, 6:22:19 AM with 0 comments
• List of Animals by Number of Legs
  by luuon 5/16/2025, 5:08:17 AM with 0 comments
• Refactoring Clojure
  by luuon 5/15/2025, 7:28:01 PM with 15 comments
• Beyond the Wrist: Debugging RSI
  by luuon 5/14/2025, 6:09:52 PM with 12 comments
• Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers
  by luuon 5/11/2025, 7:45:08 AM with 0 comments
• Mipmap selection in too much detail
  by luuon 5/11/2025, 5:17:14 AM with 7 comments
• Has anyone coined the term “fast tech” yet?
  by luuon 5/10/2025, 8:48:01 PM with 13 comments
• Open Hardware Ethernet Switch project, part 1
  by luuon 5/9/2025, 8:34:56 AM with 8 comments
• A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]
  by luuon 5/9/2025, 2:54:45 AM with 6 comments
• The Search for Meaning in 2001 (1998)
  by luuon 5/8/2025, 1:16:43 AM with 1 comment
• Forty-One
  by luuon 5/7/2025, 3:35:12 PM with 1 comment
• Is there a balance to be struck between simple hierarchical models and
  by luuon 5/7/2025, 3:15:50 PM with 3 comments
• Dependency Injection for Artificial Intelligence
  by luuon 5/5/2025, 8:26:34 AM with 0 comments
• Proof by Insufficient Information
  by luuon 5/5/2025, 5:05:29 AM with 0 comments
• Switch bouncing reference traces for a variety of different switches
  by luuon 5/4/2025, 6:57:57 AM with 5 comments
• Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses [pdf]
  by luuon 4/30/2025, 4:41:32 PM with 0 comments
• Large language models, small labor market effects [pdf]
  by luuon 4/25/2025, 8:15:18 AM with 9 comments
• Selection Bias in Poker
  by luuon 4/24/2025, 9:40:01 PM with 0 comments
• Why Treasure Island Dizzy only gave the player a single life
  by luuon 4/23/2025, 10:59:44 PM with 0 comments
• xPal Encyrpted Messenger Security
  by luuon 4/23/2025, 7:07:45 PM with 4 comments
• Link-Time Optimization of Dynamic Casts in C++ Programs [pdf]
  by luuon 4/23/2025, 7:03:42 PM with 0 comments
• Exploiting Undefined Behavior in C/C++ Programs: The Performance Impact [pdf]
  by luuon 4/22/2025, 9:01:48 PM with 7 comments
• Chimeric antigen receptor therapy meets mRNA technology
  by luuon 4/22/2025, 7:51:41 PM with 0 comments
• Baseball on the Moon
  by luuon 4/22/2025, 12:51:01 AM with 0 comments
• First-Class Verification Dialects for MLIR [pdf]
  by luuon 4/21/2025, 9:52:53 PM with 0 comments
• Pydrofoil: Accelerating Sail-based instruction set simulators
  by luuon 4/21/2025, 9:52:29 PM with 2 comments
• Petition to Open Source Initiative to publish 2025 Board election results
  by luuon 4/19/2025, 4:48:43 AM with 1 comment
• Constitutions and Commitment: Evolution of Institutions Governing Public Choice [pdf]
  by luuon 4/18/2025, 6:58:45 AM with 0 comments
• Post-Silicon Validation of Static Lockstep Mode
  by luuon 4/15/2025, 5:21:51 PM with 3 comments
• The case of the UI thread that hung in a kernel call
  by luuon 4/15/2025, 5:13:31 PM with 14 comments
• Responses to Comments on Six Mistakes
  by luuon 4/15/2025, 8:08:45 AM with 0 comments
• The mathematical past is a foreign country
  by luuon 4/15/2025, 8:06:35 AM with 0 comments
• 65537-gon
  by luuon 4/15/2025, 1:55:56 AM with 3 comments
• Skepticism about the science establishment, then and now
  by luuon 4/13/2025, 7:42:24 AM with 0 comments
• The value of a dedicated data science approach in HR
  by luuon 4/12/2025, 10:12:19 PM with 2 comments