Crowd Express: Boarding Puzzle Level Guides
crowdexpress.org·4h·
Discuss: Hacker News
🔄Finite State Machines
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·14h·
Discuss: Hacker News
🔬Static Analysis
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Text 2 shorts AI POWERED VIDEO AUTOMATION
github.com·1d·
Discuss: r/programming
🤖Program Synthesis
Winning and losing with Artificial Intelligence: What public discourse about ChatGPT tells us about how societies make sense of technological change
arxiv.org·1d
✓Automated Theorem Proving
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·2h
🔍Formal Verification
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·13h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Rollback UX: What Fighting Game Netcode Can Teach AI Tool Designers
medium.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org·1d
🛡️seL4
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·8h·
Discuss: r/programming
🔬Static Analysis
Scott Alexander’s Misleading Victory Lap
garymarcus.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
Binding Application in Idris
andrevidela.com·7h·
Discuss: Hacker News
🔠Type-Level Programming
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
KeyKnowledgeRAG (K^2RAG): An Enhanced RAG method for improved LLM question-answering capabilities
arxiv.org·2h
✓Automated Theorem Proving
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·18h·
Discuss: Substack
🧪Property-Based Testing
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·2h
✓Automated Theorem Proving
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·15h·
Discuss: Hacker News
❄️Nixified Development
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·9h·
Discuss: Hacker News
🌐NetworkProtocols
Learning Deliberately, Acting Intuitively: Unlocking Test-Time Reasoning in Multimodal LLMs
arxiv.org·1d
✓Automated Theorem Proving
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·18h·
Discuss: Hacker News
🤖Program Synthesis