Deconstructing Trust
systemsapproach.org·21h
🌳Archive Merkle Trees
norns shield | monome/docs
monome.org·4h
🔌Single Board PC
Surveillance or Support? Policing Harmful Sexual Behaviour in Schools
onlinelibrary.wiley.com·8h·
Discuss: Hacker News
⚖️Legal Compliance
Substrates ’25 Vision Statement
programmingmadecomplicated.wordpress.com·2d
⚖️Emulation Ethics
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·7h·
Discuss: Hacker News
⚙️Proof Engineering
Introduction to Linear Types
austral-lang.org·2d·
Discuss: Hacker News
🔒Linear Types
Why I'm lukewarm on graph neural networks
singlelunch.com·7h·
Discuss: Hacker News
🕸️Graph Embeddings
What is a quantum computer's speed limit? Entanglement can provide an answer
phys.org·17h
⚛️Quantum Tape
[D] How to Automate parsing of Bank Statement PDFs to extract transaction level data
reddit.com·19h·
Discuss: r/MachineLearning
✅Format Verification
The Expression Problem and its solutions
eli.thegreenplace.net·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💻Programming languages
The Adonai Algorithm
dev.to·2d·
Discuss: DEV
🎨Graph Coloring
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·24m
✨Effect Handlers
A Fine-Grained Attention and Geometric Correspondence Model for Musculoskeletal Risk Classification in Athletes Using Multimodal Visual and Skeletal Features
arxiv.org·24m
🌀Differential Geometry
FFmpeg 7.0+ Integer Overflow in DSCP Option Handling of FFmpeg UDP Protocol
seclists.org·5h
🧪Binary Fuzzing
Modeling Visual Hallucination: A Generative Adversarial Network Framework
arxiv.org·24m
📊Learned Metrics
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·24m
🖥️Hardware Architecture
AI-Driven Predictive Maintenance Optimization via Quantum-Enhanced Feature Extraction for Infineon Power Modules
dev.to·23h·
Discuss: DEV
⚛️Quantum Error Correction
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·1d·
Discuss: r/LocalLLaMA
🔗Functional Compilers
Paper2Agent: Reimagining Research Papers As Interactive and Reliable AI Agents
arxiv.org·24m
🤖AI Curation