FLINT: Fast Library for Number Theory
flintlib.org·6h
🧮Algebraic Datatypes
Research Worth Reading Week 32/2025
pentesterlab.com·1d
🔓Hacking
Zero Trust Revisited
systemsapproach.org·17h
🕸️Mesh Networks
postMessaged and Compromised
msrc.microsoft.com·17h
🎯NTLM Attacks
ELA-1503-1 unbound security update
freexian.com·1d
🛡️eBPF Security
A Bitcoin Core Code Analysis
binaryigor.com·9h·
Discuss: Hacker News
🧬Bitstream Evolution
LLM Monitoring and Observability: Hands-on with Langfuse
towardsdatascience.com·2h
👁️System Observability
Cisco Bolsters Security for Government With New FedRAMP Authorizations
blogs.cisco.com·12h
🏠Homelab Federation
When Switches Flood LLDP Traffic
blog.ipspace.net·17h·
Discuss: Hacker News
📡Network Protocol Design
Sound and Solution-Complete CCBS
arxiv.org·20h
🛡️Archive Verification
How Does a Firewall Work Step by Step
kalilinuxtutorials.com·1d·
Discuss: Hacker News
🌐Network Security
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·3h
🎯Performance Proofs
Multigres Architecture Overview
multigres.com·1h·
Discuss: Hacker News
🗄️Database Sharding
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·4h·
Discuss: Hacker News
✅Format Validation
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·28m·
Discuss: Hacker News
🦀Rusty Databases
The Lobster Programming Language
strlen.com·5h·
Discuss: Hacker News
🔗Concatenative Programming
The MCP Threat Landscape: Security Risks Every Developer Must Know
dev.to·8h·
Discuss: DEV
📦Container Security
💻MCP: Protocol as Product, Hype as Standard
dev.to·10h·
Discuss: DEV
🏺Protocol Archaeology
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·3d·
Discuss: Hacker News
⚡Proof Automation
A chatbot that builds Rails apps
kodykendall.com·7h·
Discuss: Hacker News
🦋Format Metamorphosis