HOL, Proof Development, Mathematical Logic, Interactive Verification

Can You Irrigate the Garden?
thefiddler.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Flag this post
Archimedes – A Python toolkit for hardware engineering
pinetreelabs.github.io·13h·
Discuss: Hacker News
⚙️RISC-V Microcode
Flag this post
Weekly Bookmarks
inkdroid.org·4h
💿FLAC Archaeology
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
news.ycombinator.com·5h·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
When Reading the Source Code Is the Real Hack: A Web Challenge Story | v1t CTF
infosecwriteups.com·1d
🔓Hacking
Flag this post
Show HN: I built an AI thumbnail generator with a live editor, no login required
genlayers.com·13h·
Discuss: Hacker News
📡RSS Automation
Flag this post
Node.js Security Checklist
blog.risingstack.com·6h·
Discuss: Hacker News
🛡️WASM Security
Flag this post
Mastering JSON Prompting for LLMs
machinelearningmastery.com·1d
🔗Constraint Handling
Flag this post
From ETL to AI(e)tl: Rethinking Data Pipelines for the AI Era
evanvolgas.substack.com·1d·
Discuss: Substack
⚙️Batch Processing
Flag this post
Joy & Curiosity #62
registerspill.thorstenball.com·3h
🚀Indie Hacking
Flag this post
Show HN: Four Solutions to Valid Parenthesis (LeetCode #20)
medium.com·1d·
Discuss: Hacker News
Format Verification
Flag this post
Transaction-Oriented Programming
btmc.substack.com·19h·
Discuss: Substack
🔐CBOR
Flag this post
PepTriX: A Framework for Explainable Peptide Analysis through Protein Language Models
arxiv.org·2d
λLambda Formalization
Flag this post
The Quake III Arena Bot
researchgate.net·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Spec-Driven Development: The Waterfall Strikes Back
marmelab.com·1d·
Discuss: Hacker News
Format Verification
Flag this post
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·6d·
Discuss: Hacker News
🏗️Constructive Mathematics
Flag this post
Referential Transparency
quamserena.com·8h·
Discuss: Hacker News
💻Programming languages
Flag this post
Data Science for Beginners
github.com·11h·
Discuss: Hacker News
🧪Data science
Flag this post
Exploring AI with Groovy
groovy.apache.org·1d·
Discuss: Hacker News
🧮Prolog Parsing
Flag this post
The State Machine Professor
niklaselmqvist.medium.com·2d·
Discuss: Hacker News
🎯Proof Tactics
Flag this post