The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·6h·
Discuss: Hacker News
💧Liquid Types
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·22h
🎯Performance Proofs
Footnotes, Gödel exercises, Purcell
logicmatters.net·12h
👑Isabelle
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·1d
✅Format Verification
Issue 483
haskellweekly.news·14h
🔗Functional Compilers
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·1d·
Discuss: Hacker News
🔀CRDT
Structured outputs with Amazon Nova: A guide for builders
aws.amazon.com·9h
💧Liquid Types
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·13h·
Discuss: Hacker News
📝Concrete Syntax
Why we need better software identification
softwareheritage.org·11h
🔗Binary Similarity
Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·2d
🧪Binary Fuzzing
Symbolic-numeric programming in scientific computing
dspace.mit.edu·1d
🧬Functional Programming
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·2d·
Discuss: Hacker News
🧮Constraint SMT
Machine Learning Fundamentals: logistic regression
dev.to·11h·
Discuss: DEV
🧠Machine Learning
Real Life Is Uncertain. Consensus Should Be Too!
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🤝Paxos Consensus
Linkage from Montreal
11011110.github.io·12h
🎨Graph Coloring
8 Ways to Unlock Innovation With Data as a Product
thenewstack.io·1d
🔗Data Provenance
Building great SDKs
newsletter.pragmaticengineer.com·2d
🔌Interface Evolution
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
⚔️Lean Theorem
From zero to RAG engineer: 1200 hours of lessons so you don't repeat my mistakes
bytevagabond.com·18h·
Discuss: Hacker News
📄Text Chunking
Accelerating Offensive R&D with Large Language Models
outflank.nl·15h
🔒WASM Capabilities