I Curate an Anthology
compellingsciencefiction.comยท3hยท
Discuss: Hacker News
โ‰คOrder Theory
Flag this post
PDP-10 and Microcomputers โ€“ By Nemanja Trifunovic
nemanjatrifunovic.substack.comยท10mยท
Discuss: Substack
๐Ÿ’พRetro Computing
Flag this post
Building Real-Time ML Feature Pipelines with Streaming SQL
timeplus.comยท3dยท
Discuss: Hacker News
๐Ÿ“ŠRuntime Verification
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.deยท4dยท
Discuss: Hacker News
ฮปFunctional Programming
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.netยท3dยท
โš™๏ธCompiler Design
Flag this post
The Department Of Defense Wants Less Proof Its Software Works
techdirt.comยท20h
๐Ÿ”ฌReverse Engineering
Flag this post
Measuring Productivity Smarter: Inside the DeckerGUI KPI Tracking and DSYNC Assessment System
dev.toยท11hยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
Flag this post
Warp Documentation Automation โ€“ Built with Claude AI (99% automatic docs)
reddit.comยท1dยท
Discuss: r/programming
๐Ÿค–Program Synthesis
Flag this post
Fisher Meets Lindahl: A Unified Duality Framework for Market Equilibrium
arxiv.orgยท1d
๐ŸŽฏFixed Point Theory
Flag this post
Understanding Azure AI Studio for Beginners: Build, Train, and Deploy AI Models with Ease
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒAPIs
Flag this post
Show HN: I Vibe-Coded a TUI for AWS Logs Insights in Rust
github.comยท1dยท
Discuss: Hacker News
๐Ÿ—๏ธDune
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.orgยท4d
๐ŸงฉSeparation Logic
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.orgยท4d
๐ŸงฉParser Combinators
Flag this post
Efficient Test-Time Retrieval Augmented Generation
arxiv.orgยท4d
๐Ÿ“šAutomata Learning
Flag this post
AI wonโ€™t replace you, but bad AI habits will
dev.toยท4dยท
Discuss: DEV
๐Ÿค–Program Synthesis
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.comยท3d
๐ŸซEmbedded OCaml
Flag this post
Unlock Dual Revenue: How Monetzly Transforms AI App Monetization for Developers
dev.toยท1hยท
Discuss: DEV
๐Ÿ’ปApple Virtualization
Flag this post
Okay so I forked someone's project and now it's completely different ๐Ÿ˜…
dev.toยท2dยท
Discuss: DEV
๐ŸŒActivityPub
Flag this post
The Secrets of Cyber Security That Experts Don't Share
dev.toยท1dยท
Discuss: DEV
๐Ÿ”’Protocol Verification
Flag this post