UserAgent-Switcher: A User-Agent (and "Client HInts") spoofer browser extension
github.com·1d·
Discuss: Lobsters
🔓Open Source Software
Your Computer Interviewed Chris Curry (1981)
computeradsfromthepast.substack.com·9h·
Discuss: Substack
🇬🇧British Computing
Making Libcurl Work in WebAssembly
jeroen.github.io·4d·
Discuss: Lobsters, Hacker News, Hacker News
🌐WASI
Show HN: Coroot – AI powered Root Cause Analysis using eBPF-based telemetry
coroot.ai·2d·
Discuss: Hacker News
🔍eBPF
Changing of the guard: Anthropic new AI market leader among US companies
heise.de·13h
🔄Language Evolution
[R] From Taylor Series to Fourier Synthesis: The Periodic Linear Unit
reddit.com·16h·
Discuss: r/MachineLearning
🎛️Audio Synthesis
The Reanimated Renaissance, C-Speed Compression, and JSON-Loving LLMs
thereactnativerewind.com·3d·
Discuss: Hacker News
🎬WebCodecs
Servers hated Mondays until techie quit quaffing coffee in their company
theregister.com·1d
🔌Operating system internals
What is an AI-first software company?
varungodbole.com·3d·
Discuss: Hacker News
⚙️TLA+
Turn on the LLM and use it in your daily workflow
funcall.blogspot.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The whole AI hype thing, just something I’ve been thinking about
reddit.com·4h·
Discuss: r/kubernetes
📟Vintage Protocols
Collaborative State Machines: A Better Programming Model for the Cloud-Edge-IoT Continuum
arxiv.org·3d
🌊Streaming Systems
Anandtech Editorial Announcement
forums.anandtech.com·6h
🧲RISC-V Preservation
Exploiting Synergistic Cognitive Biases to Bypass Safety in LLMs
arxiv.org·2d
💻Local LLMs
Stop Prompting, Start Designing: 5 Agentic AI Patterns That Actually Work
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
SketchMind: A Multi-Agent Cognitive Framework for Assessing Student-Drawn Scientific Sketches
arxiv.org·1d
🗺️Competency Maps
ashishpatel26/500-AI-Agents-Projects
github.com·4d
⚡Proof Automation
Agentic AI vs Generative AI in DevOps: Efficiency Guide
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Top LLM Evaluation Tools in 2025
dev.to·1d·
Discuss: DEV
👁️System Observability
TRIDENT: Benchmarking LLM Safety in Finance, Medicine, and Law
arxiv.org·3d
✅Formal Methods