essential spectrum
ncatlab.org·9h
🕸️Algebraic Topology
Flag this post
Strengthening Industrial Network Security: How to Achieve NERC CIP-015 Compliance with Tenable OT Security
tenable.com·3h
🏠Homelab Security
Flag this post
The world’s tallest chip defies the limits of computing: goodbye to Moore’s Law?
english.elpais.com·3h
🖥️Modern Terminals
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
⚖️Verification Calculi
Flag this post
"You Don't Need Kafka, Just Use Postgres" Considered Harmful
morling.dev·1d·
Discuss: Lobsters, Hacker News
🌊Streaming Databases
Flag this post
Document-Driven Development in Next.js: How I Stopped Losing My Mind Managing Requirements
danielkliewer.com·1d·
Discuss: Hacker News, r/reactjs
🦋Format Metamorphosis
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·1d·
Discuss: Hacker News, r/cpp
🔩Systems Programming
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·14h
🧪Binary Fuzzing
Flag this post
Disciplined Biconvex Programming
arxiv.org·14h
🎯Performance Proofs
Flag this post
F5 Bigip <--tls--> k8s nodeport
reddit.com·1d·
Discuss: r/kubernetes
🌐NetworkProtocols
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·14h
🎯Proof Tactics
Flag this post
Understanding Code Agent Behaviour: An Empirical Study of Success and Failure Trajectories
arxiv.org·14h
📏Code Metrics
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
dev.to·19h·
Discuss: DEV
⚡Proof Automation
Flag this post
Progress on upstream Linux for MediaTek Genio IoT SoCs and boards
cnx-software.com·13h
🍎XNU Internals
Flag this post
Introducing Realm9: Solving Enterprise Environment Chaos with AI
dev.to·1d·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post
Celebrating 13 Years of Wikidata: A Sweet Blend of Learning, Community and the Open-source Spirit
diff.wikimedia.org·20h
🌱Personal Wikis
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.org·14h
🌀Brotli Internals
Flag this post
Tuesday: Blackwell chip only for the USA, EU funds went to spyware manufacturers
heise.de·10h
🔓Hacking
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·14h
✨Effect Handlers
Flag this post
Benchmarking Federated Learning Frameworks for Medical Imaging Deployment: A Comparative Study of NVIDIA FLARE, Flower, and Owkin Substra
arxiv.org·14h
🌐Federated Search
Flag this post