Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·1h·
Discuss: Hacker News
🏗️Constructive Mathematics
Flag this post
How To Find Old Verified Gmail Accounts
dev.to·5h·
Discuss: DEV
✅FLAC Verification
Flag this post
The (near) Future of AI in Math
blog.georgeshakan.com·4h
⚙️Proof Engineering
Flag this post
HTB Starting Point: Mongod
infosecwriteups.com·11h
🤖Archive Automation
Flag this post
Archive extraction support in na_game_tool
codecs.multimedia.cx·1d
📦Archive Formats
Flag this post
Imperative to Relational
madhadron.com·8h·
Discuss: Lobsters, Hacker News
🗄️Database Internals
Flag this post
FreeBSD Containers using Podman
yom.iaelu.net·9h
📦Container Security
Flag this post
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
arxiv.org·2d
🧠Computational Logic
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·1h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Taurus Database: How to be Fast, Available, and Frugal in the Cloud
muratbuffalo.blogspot.com·16h·
Discuss: www.blogger.com
🔄Sync Engine
Flag this post
We will WARC you: preserving access to published CD-ROMs at NLA
dpconline.org·4d
🔄Archival Workflows
Flag this post
2 Years of ML vs. 1 Month of Prompting
levs.fyi·5h·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Automated Requirements Traceability & Impact Analysis via Semantic Graph Reasoning
dev.to·22h·
Discuss: DEV
📏Code Metrics
Flag this post
Schema Vocabularies and Value Vocabularies
accidental-taxonomist.blogspot.com·2h·
Discuss: accidental-taxonomist.blogspot.com
🏷️Metadata Standards
Flag this post
Fleet Route Optimizer CVRPTW (Capacited Vehicle Routing Problem Time Windows)
github.com·22h·
Discuss: Hacker News
🔗Topological Sorting
Flag this post
About KeePassXC's Code Quality Control
keepassxc.org·6h·
Discuss: Lobsters, Hacker News, r/opensource
📜Proof Carrying Code
Flag this post
Bridging the gaps between protocol specifications and practice
blog.apnic.net·2d
🌐NetworkProtocols
Flag this post
LLMs let me maintain my PostgreSQL extension for PRQL after becoming a parent
news.ycombinator.com·10h·
Discuss: Hacker News
🗄️PostgreSQL WAL
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·3d·
Discuss: Hacker News
🔐Homomorphic Encryption
Flag this post
Music collection metadata, lyrics and device sync
rewiring.bearblog.dev·10h·
Discuss: Hacker News
💿FLAC Archaeology
Flag this post