Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·11h·
Discuss: Hacker News
🎯Interactive Provers
W1seGuy | TryHackMe Walkthrough — XOR? BrUt3_F0rC3 iT
infosecwriteups.com·1d
🔐Cryptographic Archaeology
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·4h
🔧RISC-V Assembler
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·18h
🦀Rust Verification
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·17h
📜Proof Carrying Code
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Rust Language Cheat Sheet
cheats.rs·4d·
Discuss: Hacker News
🦀Rust Macros
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Sandboxing AI - Extending AI Responsibly
dev.to·19h·
Discuss: DEV
🔒WASM Capabilities
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·18h·
Discuss: Hacker News
🔐CBOR
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·18h
📐Mathematical Art
Cactus Language • Stylistics 4
inquiryintoinquiry.com·18h
🌳Context free grammars
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·17h
🔗Hash Chains
Looking for Resources on Agentic Coding for Game Development
news.ycombinator.com·21h·
Discuss: Hacker News
⚙️TLA+
Game Theory Meets LLM and Agentic AI: Reimagining Cybersecurity for the Age of Intelligent Threats
arxiv.org·5h
🔲Cellular Automata
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·3h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference