Typechecker Zoo
stephendiehl.com·16h
🧮Programming Language Theory
Leveraging Malware Sandboxes for Threat Analysis: How They Work, What They Reveal — Decision-Making Processes
cyberwarhead.com·1d
🔍Static Analysis
Maybe Core is Captured? What is the difference between 'data' and 1s & 0s?
stacker.news·1d
🔐Cryptography
My current home server setup
preview.redd.it·10h·
Discuss: r/homelab
🌍Distributed Systems
Wassette: A bridge between Wasm and MCP
infoworld.com·1d
📦WebAssembly
Open Source Sustainability for fastn - FifthTry Launches Rust Consultancy
fastn.com·1d·
Discuss: Lobsters, Hacker News
🔌Network Programming
AI Assisted Editors: A Comparison (Part 1)
adrianhall.github.io·18h·
Discuss: Hacker News
📦WebAssembly
We built a 12B model that beats Claude 4 Sonnet at video captioning while costing 17x less - fully open source
reddit.com·17h·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
Citrix NetScaler ADC/Gateway Session Token Leak — Patch Now or Risk a Breach
dev.to·14h·
Discuss: DEV
🛡️IoT Security
OpenBench v0.3.0 is live! 🚀
threadreaderapp.com·19h
🧭SMT Solvers
The GPT-5 Paradox: Genius in Thought, Gaps in Safety
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
How to Improve Logging in ArkTS: A Better Alternative to hilog with LogManager?
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Interpretability through two lenses: biology and physics
lesswrong.com·2d
🧮Programming Language Theory
A Robust Pipeline for Differentially Private Federated Learning on Imbalanced Clinical Data using SMOTETomek and FedProx
arxiv.org·13h
🔐Cryptography
Death of High-Level Design in 2025
dev.to·1h·
Discuss: DEV
🧩Theorem Proving
Dynamic Knowledge Graph Augmentation for Zero-Shot Conversational Agent Adaptation
dev.to·13h·
Discuss: DEV
🔗Parser Combinators
Introducing Amazon Bedrock AgentCore Identity: Securing agentic AI at scale
aws.amazon.com·2h
🤝Protocol Design
[Launch] Next-level Agentic Orchestration Platform (Open Source, Built in Go)
reddit.com·2d·
Discuss: r/programming
🌍Distributed Systems
Hypersonic Flight Body Aerodynamic Tailoring via Adaptive Morphing Structures & Reinforcement Learning
dev.to·8h·
Discuss: DEV
🤖Sci-Fi
High-Performance Routing System Design and Implementation(5488)
dev.to·2d·
Discuss: DEV
🦀Rust