A security model for systemd
🌍Distributed Systems
Flag this post
My Experience as a SDE Intern at AWS
🧩Theorem Proving
Flag this post
Built SlopGuard - open-source defense against AI supply chain attacks (slopsquatting)
🧩Theorem Proving
Flag this post
People Seem Funny In The Head About Subtle Signals
lesswrong.com·3h
🧮Programming Language Theory
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
🏗️Software Architecture
Flag this post
Regularization Through Reasoning: Systematic Improvements in Language Model Classification via Explanation-Enhanced Fine-Tuning
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
DentalSplat: Dental Occlusion Novel View Synthesis from Sparse Intra-Oral Photographs
arxiv.org·2h
🎲Probabilistic Programming
Flag this post
Large Language Models as Information Sources: Distinctive Characteristics and Types of Low-Quality Information
arxiv.org·2h
🧮Programming Language Theory
Flag this post
Anthropic Commits To Model Weight Preservation
lesswrong.com·10h
🎲Probabilistic Programming
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration
arxiv.org·2h
🎲Probabilistic Programming
Flag this post
Bitcoin Core now has an interface for its consensus code - TheCharlatan
github.com·1d
🤝Protocol Design
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
🧩Theorem Proving
Flag this post
Loading...Loading more...