Mathematical family
cameroncounts.wordpress.com·1d
⚔️Lean Theorem
Show HN: A Python CEL implementation (written in Rust)
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust Macros
Philosophy of Information
plato.stanford.edu·1d·
Discuss: Hacker News
📡Information theory
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·1d·
Discuss: Hacker News
📏Range Queries
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·14h·
Discuss: Hacker News
🧬Bitstream Evolution
My blog on zero-knowledge cryptography
kaw101010.github.io·3d·
Discuss: Hacker News
🔐Quantum Security
Lurk – A Turing-complete programming language for ZK-SNARKs
github.com·1d·
Discuss: Hacker News
🧮Z3 Solver
GoLang Generics: Practical Examples to Level Up Your Code
dev.to·2d·
Discuss: DEV
💧Liquid Types
Vector types and debug performance
blog.s-schoener.com·1d·
Discuss: Hacker News, r/cpp
⚡SIMD Optimization
Vector Search Is Reaching Its Limit. Here’s What Comes Next
thenewstack.io·1d·
Discuss: Hacker News
🗂️Vector Databases
Performance Pitfalls in C# / .NET – List Contains
richardcocks.github.io·11h·
Discuss: Hacker News
📏Code Metrics
As a 15 year old, I built an AI Bot to Beat Four Pattern-Based Rock-Paper-Scissors Bots!
dev.to·1d·
Discuss: DEV
⚡Proof Automation
PEP 802: Display Syntax for the Empty Set
peps.python.org·2d·
Discuss: Hacker News, r/programming
📝Concrete Syntax
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·14h
🤖Grammar Induction
How Confident Are You, ChatGPT?
aylinakkus.github.io·15h·
Discuss: Hacker News
⚡Proof Automation
Why Racket? Why Lisp?
practicaltypography.com·11h·
Discuss: Lobsters, Hacker News
🔗Lisp
Streamlining Go Concurrency Using a Worker Pool
hackernoon.com·1d
🌊Stream Processing
Kotlin's Rich Errors: Native, Typed Errors Without Exceptions
cekrem.github.io·15h·
Discuss: r/programming, r/webdev
💧Liquid Types
Your LLM Knows the Future: Uncovering Its Multi-Token Prediction Potential
machinelearning.apple.com·2d·
Discuss: Hacker News
💻Local LLMs
Federated Data Harmonization via Dynamic Schema Alignment & Semantic Graph Enrichment
dev.to·20h·
Discuss: DEV
🔄Schema Evolution