CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🦀Rust Verification
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
The Best C++ Library
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
Python Fundamentals: build
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Agent Memory with Spring AI & Redis
dev.to·8h·
Discuss: DEV
⚡Redis Internals
Game of Trees Hub
gothub.org·1d·
Discuss: Lobsters, Hacker News
🔓Open Source Software
Good binding data is all you need
leashbio.substack.com·5h·
Discuss: Substack
🗂️Vector Databases
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·44m
💻Programming languages
The Order of Things: Why You Can't Have Both Speed and Ordering in Distributed Systems
architecture-weekly.com·2d·
Discuss: Hacker News, r/programming
🗄️PostgreSQL WAL
How PayU built a secure enterprise AI assistant using Amazon Bedrock
aws.amazon.com·1d
🌊Streaming Systems
Green Tea GC: How Go Stopped Wasting 35% of Your CPU Cycles
siddharthav.medium.com·11h·
Discuss: Hacker News
🧠Memory Allocators
Machine Learning Fundamentals: dimensionality reduction
dev.to·13h·
Discuss: DEV
📐Linear Algebra
How and where will agents ship software?
instantdb.com·10h·
Discuss: Hacker News
🌊Streaming Systems
Memory in Stateless Memory
news.ycombinator.com·2d·
Discuss: Hacker News
⏰Time Crystals
Overcoming catastrophic forgetting in neural networks
arxiv.org·2d
🧠Machine Learning
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
NixOS: Declarative Management, Imperative Privilege Escalation
labs.snyk.io·1d·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
Finding Order-Preserving Subgraphs
arxiv.org·1d
🕸️Graph Algorithms
How to generate a TypeScript SDK for your API spec
buildwithfern.com·11h·
Discuss: Hacker News
⚡gRPC
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·1d·
Discuss: Hacker News
🔐CBOR