Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
AI-Context Documentation: The Missing Link in AI-Assisted Development
dev.to·16h·
Discuss: DEV
⚡Proof Automation
Relative Completeness of Incorrectness Separation Logic
arxiv.org·8h
🧠Separation Logic
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·23h
📝Concrete Syntax
SAT Requires Exhaustive Search
link.springer.com·16h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Extensions and Shadows (9)
sites.psu.edu·22h
✨Effect Handlers
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·5h
✅Archive Validation
Briefly explained: What's behind the buzzword AI agents
heise.de·1d
🎙️Whisper
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Using AI to generate a JUCE tutorial
github.com·1h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·11h·
Discuss: Hacker News
📊Citation Graphs
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·1h·
Discuss: Hacker News
🌳Archive Merkle Trees
Hack Smarter: Automate Security Testing with LLMs and the CAI Framework
infosecwriteups.com·1d
🏠Homelab Pentesting
From detection to trust: the evolving challenge of AI bot authentication
blog.castle.io·2h·
Discuss: Hacker News
🎫Kerberos History
AI judging AI: Scaling unstructured text analysis with Amazon Nova
aws.amazon.com·18h
🤖AI Curation
MOPrompt: Multi-objective Semantic Evolution for Prompt Optimization
arxiv.org·8h
📝Concrete Syntax
Proofs of the Pythagorean Theorem
cut-the-knot.org·23h·
Discuss: Hacker News
🎯Proof Tactics