Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·6h·
Discuss: Hacker News
🎯Interactive Provers
A Beginner’s Guide to Prompt Engineering: Making GPT Models Do What You Want
dev.to·3h·
Discuss: DEV
🎙️Whisper
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Show HN: Potions – A simple way to save, version, and share AI prompts
potions.io·13h·
Discuss: Hacker News
⚡Proof Automation
Students, here are 5 key things to know when learning how to train large language models
techradar.com·10h
💻Local LLMs
Historical highlights?
logicmatters.net·16h
🔀Category Theory
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Status update, 15/07/2025
samthursfield.wordpress.com·8h
🐧FOSS
Algebra Problems of the Day (Algebra Regents, June 2025 Part III)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
🔄Graph Rewriting
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·12h
📜Proof Carrying Code
Show & Tell July 2025: AI Therapist, AI Clone, Wargames for Peace
blog.ncase.me·1d
⚡Proof Automation
Cactus Language • Stylistics 4
inquiryintoinquiry.com·12h
🌳Context free grammars
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·13h·
Discuss: Hacker News
🔐CBOR
Asymmetry of Verification and Verifier's Law
jasonwei.net·2h·
Discuss: Hacker News
🔮Proof Search
AI Test User
incoherency.co.uk·16h
⚡Proof Automation
The Future of AI Agent Communication with ACP
towardsdatascience.com·11h
🔌Interface Evolution