🎭 Staging

Multi-Stage Programming, Code Specialization, MetaOCaml, Template Haskell

[SBA-ADV-20250730-01] CVE-2025-39664: Checkmk Path Traversal
seclists.org·1h
✅Configuration Validation
User-Defined Formatting in std::format
accu.org·3d·
Discuss: r/cpp
✨Code Formatters
On Messaging and Distributed Systems with Ian Cooper
architecture-weekly.com·23h
🏛️Elm Architecture
GitHub's Ubuntu Runners Have 1,681 Packages and 9 High Vulns
bomfather.dev·13h·
Discuss: Hacker News
🌳Tree Shaking
PostgreSQL 18 Released - What's New?
i-programmer.info·11h
🗃️Query Compilation
Zig Is Great for Observability
inge.4pr.es·1d·
Discuss: Hacker News
⚡Zig
Wukong: China's Darwin Monkey Neuromorphic Supercomputer
disabled-world.com·11h·
Discuss: r/DisabledWorld
🔌Microcontrollers
Re-factoring a large Flask template to accommodate Jinja and AI coding
circusscientist.com·4d
🌙Lua
Do AI Reasoning Models Abstract and Reason Like Humans?
aiguide.substack.com·7h·
Discuss: Substack
🔍ML Language
Programming in Assembly Is Brutal, Beautiful, and Maybe Even a Path to Better AI
wired.com·17h·
Discuss: Hacker News, r/programming
⚙️Assembly
I decided to make my own version of Dijkstra, this is the result.
reddit.com·7h·
Discuss: r/godot
🐹Minimal Go
Built my own Search Engine from Scratch in Java (TF-IDF + BM25) — Open Source Learning Project
github.com·7h·
Discuss: r/opensource
🗂️Term Indexing
Graphulo: Accumulo library of matrix math primitives and graph algorithms
github.com·2d·
Discuss: Hacker News
📊DataFrame Types
Ballerina vs Node.js: Building Modern APIs (Plus macOS Setup Tips)
dev.to·2d·
Discuss: DEV
🎭Racket Modules
Anyone else feels like AI crowd is mostly JS ppl ?
reddit.com·3d·
Discuss: r/devops
🔮Metacircular Evaluators
Distributionally Robust Control with End-to-End Statistically Guaranteed Metric Learning
arxiv.org·45m
⚡Control Synthesis
Storage Participation in Electricity Markets: Arbitrage and Ancillary Services
arxiv.org·45m
💾IoT Allocators
[D] TEE GPU inference overhead way lower than expected - production numbers
reddit.com·7h·
Discuss: r/MachineLearning
📡Erlang BEAM
DITTO: A Spoofing Attack Framework on Watermarked LLMs via Knowledge Distillation
arxiv.org·45m
📝Rope Editors
Volunteer Developers Wanted for Open-Source Cross-Platform Art App (Remote-US/Canada Only)
dev.to·8h·
Discuss: DEV
⚡Live Coding