Line at Infinity
en.wikipedia.org·2h·
Discuss: Hacker News
🔄Category Theory
Reading List 345
brucelawson.co.uk·1d
🧮Programming Language Theory
PEP 802: Display Syntax for the Empty Set
peps.python.org·1d·
Discuss: Hacker News, r/programming
🧮Programming Language Theory
monthly blogging challenges
imperfect.bearblog.dev·23h
🧩Theorem Proving
How to Design Machine Learning Experiments — the Right Way
towardsdatascience.com·13h
🎲Probabilistic Programming
Database Normalization and Denormalization
dev.to·2d·
Discuss: DEV
🗄️Database Theory
A unified moment approach for time-independent and time-dependent reliability analyses of robotic systems
sciencedirect.com·21h
🎲Probabilistic Programming
Part 4:The Data Workflow,From Raw to Ready
dev.to·1h·
Discuss: DEV
🎲Probabilistic Programming
Enhanced Algal Bloom Prediction and Mitigation via Multi-Modal Data Fusion and Bayesian Optimization
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
[Help] Weekend-only deadline: on-prem French RAG chatbot for wiring diagrams — need the simplest viable plan
reddit.com·5h·
Discuss: r/LocalLLaMA
🧩Theorem Proving
Reasoning Beyond Labels: Measuring LLM Sentiment in Low-Resource, Culturally Nuanced Contexts
arxiv.org·2d
🧮Programming Language Theory
Strategic Moderation Goals (a Plan B to AI alignment)
lesswrong.com·1d
⚖Algorithmic Game Theory
Automating Boundary Filling in Cubical Type Theories
arxiv.org·5d
🧮Programming Language Theory
I “Vibe” Built a System Inspired by Nature's Math, and It's 1.82x Faster Than Nginx
dev.to·2d·
Discuss: DEV
🌍Distributed Systems
Benchmarking Foundation Models for Mitotic Figure Classification
arxiv.org·2d
🎲Probabilistic Programming
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·2d
🔧Compiler Design
The way you think about the exponential function is (probably) wrong.
threadreaderapp.com·3d
📈Complexity Theory
Embedding Is (Almost) All You Need: Retrieval-Augmented Inference for Generalizable Genomic Prediction Tasks
arxiv.org·1d
🔗Parser Combinators
Interior Object Geometry via Fitted Frames
arxiv.org·1d
🎲Probabilistic Programming
Analyzing negativity criterion in qubit-qutrit system located in external magnetic fields with the Dzyaloshinskii-Moriya interaction
arxiv.org·1d
🔐Cryptography