Request for Feedback on the ERM Federal Integrated Business Framework
records-express.blogs.archives.gov·12h
📋records management
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·2d·
Discuss: Hacker News
🔤Type Theory
An entire house swept downstream in New Mexico floods seen as a symbol of the devastation
the-independent.com·6h
📝Concrete Syntax
Diffusion + Coding = DiffuCode. How Apple Released a Weirdly Interesting Coding Language Model
developers.slashdot.org·3d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Still searching for a decent developer scratchpad — how do you handle fast, messy notes?
debugculture.substack.com·2d·
Discuss: Substack, r/programming
🔩Systems Programming
Junior Roles Aren't Going Away
iamcharliegraham.substack.com·1d·
Discuss: Substack
📚MARC Evolution
GTRSS: Graph-based Top-$k$ Representative Similar Subtrajectory Query
arxiv.org·1d
📏Range Queries
'Talking fish' not heard by conservation policies, study warns
phys.org·16h
👂Psychoacoustic Coding
2D Instance Editing in 3D Space
arxiv.org·1d
⟷Bidirectional Programming
ReTimeCausal: EM-Augmented Additive Noise Models for Interpretable Causal Discovery in Irregular Time Series
arxiv.org·2d
🧠Machine Learning
What Is Machine Learning? A Beginner’s Guide 🤖
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Query OpenStreetMap Using SQL
github.com·1d·
Discuss: Hacker News
🧩SQLite Extensions
Zero to Production App in 22 Days?! 🤯
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Mimesis, Poiesis, and Imagination: Exploring Text-to-Image Generation of Biblical Narratives
arxiv.org·2d
🤖AI Paleography
AutoLayout: Closed-Loop Layout Synthesis via Slow-Fast Collaborative Reasoning
arxiv.org·2d
🤖Advanced OCR
Golang CI/CD Done Right: Build a Rock-Solid Pipeline with GitHub Actions
dev.to·20h·
Discuss: DEV, r/golang
🔄Reproducible Builds
Workshop: Build Your Agentic Knowledge Base Using Open-Source Tools
dev.to·22h·
Discuss: DEV
🗣️Domain-Specific Languages
My Year-Long Journey with AI in Software Development and Reflections on the Role of AI-devtools
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Injecting Socratic Intelligence into Your Workflow
dev.to·13h·
Discuss: DEV
⚡Proof Automation
Predicting Business Angel Early-Stage Decision Making Using AI
arxiv.org·2d
🧠Machine Learning