Typechecker Zoo
stephendiehl.com·18h
🧮Programming Language Theory
Maybe Core is Captured? What is the difference between 'data' and 1s & 0s?
stacker.news·1d
🔐Cryptography
Sidequest.js: Safe, Efficient, and Scalable Job Execution for Node.js
sidequestjs.com·3d·
Discuss: Hacker News
📦WebAssembly
Launch HN: Embedder (YC S25) – Claude Code for Embedded Software
news.ycombinator.com·1h·
Discuss: Hacker News, r/embedded
🔧Compiler Design
My current home server setup
preview.redd.it·12h·
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·20h·
Discuss: Hacker News
📦WebAssembly
My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
wareya.wordpress.com·3d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
Citrix NetScaler ADC/Gateway Session Token Leak — Patch Now or Risk a Breach
dev.to·16h·
Discuss: DEV
🛡️IoT Security
How to Improve Logging in ArkTS: A Better Alternative to hilog with LogManager?
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Enhanced Air Electrode Optimization via Adaptive Multi-Scale Porosity Modeling
dev.to·1d·
Discuss: DEV
🧫Cellular Automata
Build an intelligent financial analysis agent with LangGraph and Strands Agents
aws.amazon.com·2d
🏗️Software Architecture
Data Engineering Concepts
dev.to·1d·
Discuss: DEV
🗄️Database Theory
The Anemic Domain Model Trap: Why Your OOP ISN'T Object-Oriented!
dev.to·3d·
Discuss: DEV
🔍Static Analysis
JavaScript’s handleEvent: The Memory-Efficient Alternative to .bind(this)
dev.to·3d·
Discuss: DEV
📦WebAssembly
Misalignment classifiers: Why they’re hard to evaluate adversarially, and why we’re studying them anyway
lesswrong.com·7h
🔍Static Analysis
Bridging AI Innovation and Healthcare Needs: Lessons Learned from Incorporating Modern NLP at The BC Cancer Registry
arxiv.org·15h
🔗Parser Combinators
Adaptive Optimization of Time-Sensitive Network (TSN) Protocols via Reinforcement Learning and Dynamic Signal Shaping
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Towards Effective MLLM Jailbreaking Through Balanced On-Topicness and OOD-Intensity
arxiv.org·1d
🔧Compiler Design