The Shadows Lurking in the Equations
gods.art·6h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
checking in - october/november
blog.avas.space·1d
🔐Cryptography
Flag this post
The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·1d·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Q&A: How mathematics can reveal the depth of deep learning AI
phys.org·8h
📊Information Theory
Flag this post
Inside Pinecone: Slab Architecture
pinecone.io·1d·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
Think DSP second edition
allendowney.com·1d
⚙Functional Programming
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
🔗Parser Combinators
Flag this post
Between Myths and Metaphors: Rethinking LLMs for SRH in Conservative Contexts
arxiv.org·15h
🧮Programming Language Theory
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
✅Formal Verification
Flag this post
Stop Writing Bad Case Studies: This AI Prompt Generates Professional Business Narratives
dev.to·6h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·5d
🧮Programming Language Theory
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·15h
🎲Probabilistic Programming
Flag this post
Branched Signature Model
arxiv.org·1d
🔐Cryptography
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·15h
🧩Theorem Proving
Flag this post
MammoClean: Toward Reproducible and Bias-Aware AI in Mammography through Dataset Harmonization
arxiv.org·15h
🎲Probabilistic Programming
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Implementing JWT Authentication in Rust using Axum
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·2d
🧩Theorem Proving
Flag this post
Advancing Cognitive Science with LLMs
arxiv.org·1d
🧮Programming Language Theory
Flag this post