Burning down the house (almost)
blog.gruby.com·1d
🔒Secure Boot
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·2d·
Discuss: Hacker News
🔤Type Theory
ufrisk/MemProcFS
github.com·1d
🛠️Greaseweazle
Cat Facts Cause Context Confusion
dbreunig.com·4d·
Discuss: Hacker News
🎯Dependent Parsing
Still searching for a decent developer scratchpad — how do you handle fast, messy notes?
debugculture.substack.com·2d·
Discuss: Substack, r/programming
🔩Systems Programming
GTRSS: Graph-based Top-$k$ Representative Similar Subtrajectory Query
arxiv.org·1d
📏Range Queries
Entropy stable conservative flux form neural networks
arxiv.org·1d
🔲Cellular Automata
PaddleOCR 3.0 Technical Report
arxiv.org·1d
🤖Advanced OCR
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
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
Workshop: Build Your Agentic Knowledge Base Using Open-Source Tools
dev.to·21h·
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
Python Fundamentals: black
dev.to·1d·
Discuss: DEV
💧Liquid Types
Predicting Business Angel Early-Stage Decision Making Using AI
arxiv.org·2d
🧠Machine Learning
CoDy: Counterfactual Explainers for Dynamic Graphs
arxiv.org·1d
🕸️Graph Embeddings
Understanding support for AI regulation: A Bayesian network perspective
arxiv.org·1d
🎛️Feed Filtering