Aligning those who align AI, one satirical website at a time
theverge.com·2d·
Discuss: Hacker News
🎮Verification Games
Grimoire CSS - flexible utility class tool
grimoirecss.com·1d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
A Review of Nuclear War: A Scenario by Annie Jacobsen
militaryrealism.blog·1d·
Discuss: Hacker News
🩹Self-Healing Systems
An Inline Cache Isn't Just a Cache
mgaudet.ca·3d·
Discuss: Hacker News
💎Refinement Types
NASA found signs of alien life on Mars
cnet.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Richard Feynman and the Connection Machine
longnow.org·3d·
Discuss: Hacker News
🔄Finite State Machines
The (Dubios) Value of Taking Notes
foolsconfession.blogspot.com·2d·
Discuss: Hacker News
🎮Verification Games
Why did the Babylonians use a base 60 number system?
galileo-unbound.blog·2d·
Discuss: Hacker News
⚡Process Calculi
Best open source project in hpc
reddit.com·21h·
Discuss: r/rust
⚙️PL Implementation
Improving state machine code generation
trifectatech.org·5d·
Discuss: Lobsters, Hacker News, r/rust
🐫Embedded OCaml
Don't Build an Audience
humaninvariant.com·1d·
Discuss: Hacker News
🍎Apple
Center for the Alignment of AI Alignment Centers
alignmentalignment.ai·1d·
Discuss: Hacker News
💻CS
FreeCAD Foray: Good Practices
hackaday.com·2d
🔬Unikernels
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·2d·
Discuss: Hacker News
👁️System Observability
Human-in-the-loop Learning Through Decentralized Communication Mechanisms
arxiv.org·2d
🩹Self-Healing Systems
Explainability of CNN Based Classification Models for Acoustic Signal
arxiv.org·3d
📚Automata Learning
ProtSAE: Disentangling and Interpreting Protein Language Models via Semantically-Guided Sparse Autoencoders
arxiv.org·5d
📚Automata Learning
An improved educational competition optimizer with multi-covariance learning operators for global optimization problems
arxiv.org·2d
🔠Type-Level Programming
A New Type of Computing
news.ycombinator.com·2d·
Discuss: Hacker News
🧩Separation Logic
How To Work With Local AI in the Zed IDE
thenewstack.io·3d
📦Unikernel Systems