Holes in the web
bespacific.com·13h
🧠Semantic Parsing
Flag this post
The Best Diagramming Software for Consultants in 2025
jeda.ai·9h·
Discuss: DEV
💬Error Message Design
Flag this post
Reducto Raises $108M to Shape the Future of AI Document Intelligence
reducto.ai·19h·
Discuss: Hacker News
🔄Incremental Parsers
Flag this post
Experimenting with ACL2 and Claude Code
mikedodds.org·5d·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
My own terminal based text editor built in C++
i.redd.it·10h·
Discuss: r/commandline
📝Text Editors
Flag this post
Living in the Maelstrom
nelathan.bearblog.dev·1d
🎭Program Synthesis
Flag this post
Standard Model and General Relativity Derived from Mathematical Self-Consistency
academia.edu·17h·
Discuss: Hacker News
Fusion Laws
Flag this post
Programming in Assembly Is Brutal, Beautiful, and Maybe Even a Path to Better AI
wired.com·2d·
⚙️Assembly
Flag this post
0 dependency asic/gpu resistant blockchain + ledger
reddit.com·10h·
Discuss: r/golang
📡Erlang BEAM
Flag this post
Build vs. Buy: Pre-Built Templates vs. Custom Middleware for SAP-Salesforce Integration
dev.to·6h·
Discuss: DEV
Configuration Validation
Flag this post
0 dependency asic/gpu resistant blockchain + ledger
github.com·10h·
Discuss: r/golang
🔗Hash Functions
Flag this post
Translating Milli/Microrobots with A Value-Centered Readiness Framework
arxiv.org·11h
🔌Microcontrollers
Flag this post
Java Class, Object and Variables
dev.to·22h·
Discuss: DEV
🔗Lexical Scoping
Flag this post
Language Evangelism Is Annoying
news.ycombinator.com·12h·
Discuss: Hacker News
⚙️TOML Parsers
Flag this post
Mastering the Machine Learning Lifecycle: Building Smarter, Scalable AI Models
dev.to·5h·
Discuss: DEV
🪜Recursive Descent
Flag this post
HoMer: Addressing Heterogeneities by Modeling Sequential and Set-wise Contexts for CTR Prediction
arxiv.org·1d
⚖️Weighted Automata
Flag this post
KnowRL: Teaching Language Models to Know What They Know
arxiv.org·1d
🌱Minimal ML
Flag this post
SAFER: Risk-Constrained Sample-then-Filter in Large Language Models
arxiv.org·1d
🪜Recursive Descent
Flag this post
Heterogeneous RBCs via deep multi-agent reinforcement learning
arxiv.org·11h
🎪Actor Frameworks
Flag this post
Risk-Budgeted Control Framework for Balanced Performance and Safety in Autonomous Vehicles
arxiv.org·1d
Control Synthesis
Flag this post