Interview: “Previous examination formats will be rendered useless by using AI”
heise.de·3h
📐Proof Assistants
How do CAPTCHAs Work?
corero.com·20h
⚡Proof Automation
Threaded Code
muforth.dev·22h·
Discuss: Hacker News
🦀Rust Macros
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·15h·
Discuss: Hacker News
⚡Proof Automation
[R] Is it true that most of AI is just data cleaning and not fancy models?
reddit.com·19h·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Writing Toy Software Is a Joy
quiz.businessexplain.com·6h·
Discuss: Hacker News
🔩Systems Programming
Ask HN: What if the universe itself runs on O(1) memory?
news.ycombinator.com·7h·
Discuss: Hacker News
🎞️Tape Combinatorics
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization
MATER: Multi-level Acoustic and Textual Emotion Representation for Interpretable Speech Emotion Recognition
arxiv.org·5h
🎵Audio ML
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·5h
🎯Performance Proofs
Data-Driven Dynamic Factor Modeling via Manifold Learning
arxiv.org·5h
🌀Differential Geometry
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
Design Patterns After the Singularity: Rethinking the Gang of Four for an AI-Driven Stack
dev.to·1d·
Discuss: DEV
⚙️TLA+
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
I built a Swift GraphQL client that generates the query using macros
github.com·43m·
Discuss: Hacker News
✅Format Verification
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·2d
🎯Performance Proofs
Video Perception Models for 3D Scene Synthesis
arxiv.org·5h
📐Projective Geometry
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory