Dependent Types, Category Theory, Formal Verification, Lambda Calculus

How Tiles Works – Tiles Privacy
blog.tiles.run·7h·
Discuss: Hacker News
🏰Capability Machines
Flag this post
Zig Looked Like the Future – Until We Tried Multithreading
freedium-mirror.cfd·3h·
Discuss: Hacker News
Zig
Flag this post
Lowering in Reverse
buttondown.com·3d·
Discuss: Hacker News
🗃️Query Compilation
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·1d·
Discuss: Hacker News
⚙️TOML Parsers
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·2d·
📈Earley Parsing
Flag this post
What should I prepare for? IOI or IMO or Both
reddit.com·1d·
🏁Language Benchmarks
Flag this post
LDBT instead of DBTL: combining machine learning and rapid cell-free testing
nature.com·1d
Effect Inference
Flag this post
It is our responsibility to develop a healthy relationship with our technology
lesswrong.com·9h
🧱First Principles
Flag this post
Branched Signature Model
arxiv.org·2d
🧮Combinator Calculus
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·2d
🔍ML Language
Flag this post
I made a browser extension that fills web forms with fake data for testing — FakerFill 🚀
reddit.com·11h·
Discuss: r/reactjs
🌐Browser REPLs
Flag this post
Author Correction: TNF-mediated inflammatory skin disease in mice with epidermis-specific deletion of IKK2
nature.com·7h
Effect Inference
Flag this post
Digital minimalism is out, digital intentionality is in
lesswrong.com·1d
🔗Concatenative Theory
Flag this post
Turn any of your APIs into a Kubernetes-native citizen
dev.to·15h·
Discuss: DEV
🔧API Design
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·3d·
Discuss: DEV
🏛️Elm Architecture
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·3d
🌉Cross-Language AST
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·2d
🎲Parser Fuzzing
Flag this post
Anthropic Commits To Model Weight Preservation
lesswrong.com·1d
Effect Inference
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·2d
🌱Minimal ML
Flag this post
Silent Performance Killer: N+1 Query Problem
dev.to·9h·
Discuss: DEV
📈Query Optimization
Flag this post