Recent Posts

• Cc1
  by Hirroloton 9/12/2024, 10:53:54 PM with 1 comment
• Abstract Interpretation: From 0, 1, To ∞ [pdf]
  by Hirroloton 7/15/2024, 7:15:18 PM with 0 comments
• Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds
  by Hirroloton 7/5/2024, 3:24:18 PM with 0 comments
• Comefrom
  by Hirroloton 6/9/2024, 5:55:59 PM with 0 comments
• Artificial Intelligence Prepares for 2001 (1983)
  by Hirroloton 5/28/2024, 2:26:58 PM with 0 comments
• Abstract Interpretation as a Programming Language (2013)
  by Hirroloton 5/15/2024, 8:52:59 AM with 4 comments
• Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode
  by Hirroloton 5/14/2024, 11:39:50 PM with 1 comment
• A multi-level tensor algebra superoptimizer
  by Hirroloton 5/14/2024, 2:09:44 AM with 0 comments
• Wadler's Law
  by hirroloton 4/22/2024, 10:09:58 PM with 50 comments
• Size Optimization Tricks
  by Hirroloton 3/30/2024, 2:02:21 PM with 0 comments
• The syntax of C in Backus-Naur Form
  by Hirroloton 3/5/2024, 10:24:20 AM with 0 comments
• The Principle of Categorical Harmony
  by Hirroloton 3/5/2024, 9:43:26 AM with 0 comments
• Solving SAT via Positive Supercompilation
  by Hirroloton 2/1/2024, 5:01:44 PM with 6 comments
• Alan Kay – Programming and Scaling [video]
  by Hirroloton 11/1/2023, 3:40:36 PM with 0 comments
• Dynamic Typing with Dependent Types
  by Hirroloton 10/31/2023, 2:43:55 PM with 0 comments