DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Logic App Http Connector with Swagger + C# Function App
dev.to·44m·
Discuss: DEV
🔐CBOR
We don’t rise to the level of our DF/IR certs and degrees. We fall to the level of our experience and training.
brettshavers.com·13h
🎯Threat Hunting
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
WQ42: Grounding LLMs in Wikidata Facts via Tool Calling
thottingal.in·20h·
Discuss: Hacker News
🔗Constraint Handling
What Does the Gramm-Leach-Bliley Act (GLBA) Require?
securityscorecard.com·2d
🔐CBOR
I'm writing a book!
laplab.me·12h
🗄️Database Internals
A very short book note
logicmatters.net·1d
⚔️Lean Theorem
Week 25 – 2025
thisweekin4n6.com·22m
🌐WARC Forensics
Program Synthesis is Interesting and Open
stephendiehl.com·11h·
Discuss: Hacker News
💻Programming languages
Machine Learning Fundamentals: a/b testing example
dev.to·4h·
Discuss: DEV
👁️Observatory Systems
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·20h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·2d·
Discuss: Hacker News
🔢Denotational Semantics
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
arxiv.org·3d·
Discuss: Hacker News
🧮Theorem Proving
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
My first experience with Formal Methods | ZipCPU
zipcpu.com·3d
🔧Hardware Verification
The Architecture of Web-Based Graphic Editors and 7 Design Patterns (Part 2)
dev.to·1h·
Discuss: DEV
✨Effect Handlers
🧠 Solving LeetCode Until I Become Top 1% — Day `27`
dev.to·48m·
Discuss: DEV
⚔️Lean Tactics
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·6h·
Discuss: DEV
🦀Rust Borrowing