Feeds to Scour
SubscribedAll
Scoured 11689 posts in 397.4 ms
Comparative Analysis of LLM Abliteration Methods: A Cross-Architecture Evaluation
arxiv.org·2h
💻Local LLMs
Preview
Report Post
TLA+ modeling tips
muratbuffalo.blogspot.com·10h·
Discuss: Lobsters
⚙️TLA+
Preview
Report Post
The code is disposable. The specification is permanent
recursiveai.net·8h·
Discuss: Hacker News
🔄Reproducible Builds
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·15h
⚖️Hoare Logic
Preview
Report Post
ME 461 Group 11 (FA2025)
hackster.io·15h
🎮Switch Archaeology
Preview
Report Post
Euler TX3 available for €148
blogger.com·1d
⚡Homebrew CPUs
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·3d
📋Formal Verification
Preview
Report Post
Aliasing
xania.org·17h·
Discuss: Hacker News
🚀Compiler Optimizations
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·23h·
Discuss: Hacker News
🔬Lean
Preview
Report Post
Ask your LLM for receipts: What I learned teaching Claude C++ crash triage
addxorrol.blogspot.com·3d·
Discuss: www.blogger.com
🔩Systems Programming
Preview
Report Post
Fair Coordination in Strategic Scheduling
arxiv.org·2h
🎯Performance Proofs
Preview
Report Post
Few-Shot VLM-Based G-Code and HMI Verification in CNC Machining
arxiv.org·1d
👁️OCR Verification
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·4d
⚔️Lean Tactics
Preview
Report Post
Building a Brainfuck DSL in Forth using code generation
venko.blog·1h·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
arxiv.org·1d
🎯Performance Proofs
Preview
Report Post
A minimal standard for evidence availability in black-box systems
switzerlandomics.ch·14h·
Discuss: Hacker News
🛡️Preservation Logic
Preview
Report Post
An AI Almost Deleted My Code
dev.to·15h·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·2d·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
System Observability: Metrics, Sampling, and Tracing
entropicthoughts.com·23h·
Discuss: Hacker News
👁️System Observability
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·2d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post