Lisa Fagin Davis’ “The Materiality of the Voynich Manuscript”…
ciphermysteries.com·13h
🏰Manuscript Networks
Categorical systems theory
topos.institute·1d
🔀Category Theory
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·15h·
Discuss: Hacker News
🎯Proof Tactics
7x faster JSON in SQL: a deep dive into Variant data type
e6data.com·10h·
Discuss: Hacker News
📋DFDL
Love C, Hate C: Web Framework Memory Problems
alew.is·1d·
Discuss: Hacker News
🔩Systems Programming
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·12h·
Discuss: DEV
📏Code Metrics
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·3d·
📜Proof Carrying Code
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
Intent Weaving for AI Coding Agents
autohand.ai·1d·
Discuss: Hacker News
Proof Automation
Responsible Vibe Coding
dev.to·10h·
Discuss: DEV
📏Code Metrics
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
Proof Automation
The Programmer Identity Crisis
hojberg.xyz·3d·
🔩Systems Programming
10 Data + AI Observations for Fall 2025
towardsdatascience.com·1d
🌊Stream Processing
Show HN: I built a LSP with its own parser to learn Rust
github.com·21h·
Discuss: Hacker News
Dependent Rust
Generalized Orders of Magnitude (GOOMs)
github.com·10h·
Discuss: Hacker News
🕸️Tensor Networks
Patina project – a Rust implementation of UEFI firmware
github.com·1d·
🦀Embedded Rust
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·1d
📋Document Grammar
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🦀Rust Borrowing
Less Is More: Recursive Reasoning with Tiny Networks
github.com·3d·
Discuss: Hacker News
📊Quantization