CTD after switching Vortex profiles
pastebin.com·7h·
Discuss: r/skyrimmods
🔐Ownership Types
Symmetric MultiProcessing, Hyper-Threading and scheduling on Maestro
blog.lenot.re·1d
⚡Instruction Fusion
Primed for Performance: Turbocharging Transformers for Time Series Analysis by Arvind Sundararajan
dev.to·13h·
Discuss: DEV
🌪️V8 TurboFan
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·2d
⏭️Skip Lists
<p>**Abstract:** This paper introduces a novel framework, the Automated Scientific Review and Validation Scoring Framework (ASRVSF), designed to objectively eva...
freederia.com·10h
🌳Tree Diffing
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·16h·
Discuss: r/rust
🦀Rust Macros
Greyscale-box test-driven development
blog.ploeh.dk·1d
🧪Compiler Testing
I got the highest score on ARC-AGI again swapping Python for English
jeremyberman.substack.com·3h·
Discuss: Substack
🪜Recursive Descent
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·1d
🧪Testing Compilers
What is LMArena actually measuring?
lesswrong.com·7h
🏁Language Benchmarks
Rowhammer: TRR on DDR5 DRAM has been broken
comsec.ethz.ch·1d·
Discuss: Hacker News, r/hardware
🏷️Memory Tagging
I tested AI tools on data analysis — here’s how they did (and what to look out for)
onlinejournalismblog.com·16h
🌱Minimal ML
The future of microoptimization
goldenstack.net·4d·
Discuss: Hacker News
🔬Nanopasses
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧩Constraint Solvers
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·22h
✨Gleam
Metacognitive Reuse: Turning Recurring LLM Reasoning Into Concise Behaviors
arxiv.org·1h
🪜Recursive Descent
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·1d·
Discuss: DEV
🧪Compiler Testing
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·1d·
Discuss: DEV
🎲Test Generators
Implementing Parallel Processing in R — 2025 Edition
dev.to·20h·
Discuss: DEV
⚡Parallel Parsing
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧮Theorem Provers