How Math Turned Me From a D.E.I. Skeptic to a Supporter
nytimes.com·6h
📐Mathematical Art
Exploring Interlisp-10 and Twenex
journal.paoloamoroso.com·3h·
Discuss: Hacker News
📺VT100 Emulation
How to Use Python’s dataclass to Write Less Code
kdnuggets.com·1d
🎯Gradual Typing
Deciphering the Kelly Criterion
farhadg.com·14h·
Discuss: Hacker News
👑Coq Tactics
How to Vibe Code Effectively
ibrahimahmed.ca·1d·
Discuss: Hacker News
✅Formal Methods
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·1d
⏰Temporal Logic
Synthetic generation of online social networks through homophily
arxiv.org·1d
🗜️Graph Compression
Building a High-Performance Concurrent Live Leaderboard in Go
dev.to·4h·
Discuss: DEV, r/golang
🧠Memory Allocators
Memory is slow, Disk is fast – Part 2
bitflux.ai·22h·
Discuss: Hacker News, r/programming
🖥️Modern CPU
Just One More Prompt
commandpattern.org·6h·
Discuss: Hacker News
⚡Proof Automation
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·1d·
Discuss: Hacker News
🛡️Preservation Proofs
Python Metaprogramming: Advanced Techniques for Dynamic Code Creation and Runtime Modification
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Understanding Transformers Using a Minimal Example
rti.github.io·2d·
Discuss: Hacker News, r/programming
📝Text Parsing
MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus
category.xyz·2d·
Discuss: Hacker News
🤝Distributed Consensus
E-ARMOR: Edge case Assessment and Review of Multilingual Optical Character Recognition
arxiv.org·16h
📄OCR
Flawless Contracts: AI-Powered Code Generation for Blockchain Security
dev.to·20h·
Discuss: DEV
⚡Proof Automation
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·1d
⚖️Verification Calculi
Plain: The Language of Spec-Driven Development
blog.codeplain.ai·3d·
Discuss: Hacker News
📏Code Metrics
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·4d·
Discuss: Hacker News
🔍Type Inference
The Term "Non-Deterministic" and LLMs
vishalbakshi.github.io·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity