Show HN: Structa – Design databases in plain English with AI
trystructa.com·14h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·4h·
Discuss: r/programming
🎯GADT
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·4d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Windsurf Codemaps: Understand Code, Before You Vibe It
cognition.ai·6h·
🔧ppx
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·2h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.dev·10h·
Discuss: Hacker News
🔧DevOps
Flag this post
The Illustrated NeurIPS 2025: A Visual Map of the AI Frontier
newsletter.languagemodels.co·1d
🔲Cellular Automata
Flag this post
Optimizing Native Sparse Attention with Latent Attention and Local Global Alternating Strategies
arxiv.org·18h
📚Automata Learning
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·1d
🐫OCaml
Flag this post
Parsing Validation
lesswrong.com·2h
🔀Brzozowski Derivatives
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·18h
📚Automata Learning
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·18h
🎯Hindley-Milner
Flag this post
FLoC: Facility Location-Based Efficient Visual Token Compression for Long Video Understanding
arxiv.org·18h
⚙️Compiler Design
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.to·22h·
Discuss: DEV
💎Refinement Types
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·13h·
Discuss: DEV
📦Module Systems
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
Learn to Capitalize the First Letter of Each Word with Go
dev.to·23h·
Discuss: DEV
🔤Regular Expressions
Flag this post
POSESTITCH-SLT: Linguistically Inspired Pose-Stitching for End-to-End Sign Language Translation
arxiv.org·18h
📦Module Systems
Flag this post