SchemaCrawler – Free database schema discovery and comprehension tool
schemacrawler.com·1d·
Discuss: Hacker News
🧭SMT Solvers
IXL's Effectiveness Now Proven in All 50 States
prnewswire.com·1d
🧩Theorem Proving
Software Engineering Laws - Coding & Development
leadership.garden·6d
🔍Static Analysis
Spiral-Bench: A new benchmark measuring LLM sycophancy and delusion
eqbench.com·2d·
Discuss: Hacker News
🤖Sci-Fi
Coordinated multi-level adaptations across neocortical areas during task learning
nature.com·2d
🏗Computer Architecture
Just One More Prompt
steipete.me·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Launch HN: Uplift (YC S25) – Voice models for under-served languages
news.ycombinator.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Foldable SuperNets: Scalable Merging of Transformers with Different Initializations and Tasks
arxiv.org·2d
🔗Parser Combinators
Made a website for my lawyer friend (we’re Brazilian 🇧🇷) — updating my agency portfolio after 12 years in the field 🙏
reddit.com·1d·
Discuss: r/webdev
🤝Protocol Design
Kimball vs. Inmon: High-Level Design Strategies for Data Warehousing
dev.to·1d·
Discuss: DEV
🌍Distributed Systems
Pair Programming: When Explanations Go Too Far
hackernoon.com·3d
⚖️Logic Programming
Terrain Generation Idea IDK how To Do
reddit.com·1d·
Discuss: r/godot
🧫Cellular Automata
Hyperdimensional Semantic Mapping for Automated Historical Narrative Reconstruction
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
EGOILLUSION: Benchmarking Hallucinations in Egocentric Video Understanding
arxiv.org·1d
🔗Parser Combinators
SGSimEval: A Comprehensive Multifaceted and Similarity-Enhanced Benchmark for Automatic Survey Generation Systems
arxiv.org·2d
🔗Parser Combinators
Blinko: Your AI-Powered, Self-Hosted Note-Taking Revolution
dev.to·10h·
Discuss: DEV
👐Open Source Software
AI Doesn't Care About Your Résume
every.to·14h
🔌Network Programming
Local Meeting Notes with Whisper Transcription + Ollama Summaries (Gemma3n, LLaMA, Mistral) — Meetily AI
dev.to·2d·
Discuss: DEV
👐Open Source Software
Belief-Conditioned One-Step Diffusion: Real-Time Trajectory Planning with Just-Enough Sensing
arxiv.org·1d
🎲Probabilistic Programming
Claude Memory Lazy Method v2.1 - Quick Update**
reddit.com·4d·
Discuss: r/ClaudeAI
🧠Memory Management