Show HN: Structa – Design databases in plain English with AI
trystructa.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
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·17h·
🔧ppx
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·13h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
📦Opam
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·2d
📐Linear Algebra
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·2d
🔍CBMC
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·1d
🎮Verification Games
Flag this post
Towards Automated Petrography
arxiv.org·1d
🔲Cellular Automata
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·22h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Endowing GPT-4 with a Humanoid Body: Building the Bridge Between Off-the-Shelf VLMs and the Physical World
arxiv.org·1d
⚙️Compiler Design
Flag this post
VISTA Score: Verification In Sequential Turn-based Assessment
arxiv.org·2d
🎮Verification Games
Flag this post
Spatial Sense: Unleashing Language Models on Location Data by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.org·5h
🔍CBMC
Flag this post
Automated Sentiment-Driven Resource Allocation for Community Resilience Planning
dev.to·16h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
FLoC: Facility Location-Based Efficient Visual Token Compression for Long Video Understanding
arxiv.org·1d
⚙️Compiler Design
Flag this post
KGBridge: Knowledge-Guided Prompt Learning for Non-overlapping Cross-Domain Recommendation
arxiv.org·5h
Order Theory
Flag this post