Extensible Records, Structural Subtyping, Label Constraints, Polymorphic Variants

The Same Feature That Makes a Component Powerful Can Also Make It Dangerous
blog.zast.ai·3h·
Discuss: Hacker News
🛡️Security Type Systems
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·1d·
Discuss: Hacker News
Incremental Parsing
Flag this post
Handling Events Coming in an Unknown Order
architecture-weekly.com·22h
📮Message Queues
Flag this post
What Are Auto-regressive Models? A Deep Dive and Typical Use Cases
blog.pangeanic.com·1d
🎯Finite Automata
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
ollama.com·2d·
Discuss: DEV
📚Factor
Flag this post
How do you avoid repeating long i18n paths across multiple error messages?
reddit.com·1d·
Discuss: r/node
⚙️TOML Parsers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·5d
⚖️Inference Rules
Flag this post
Looking for a foldable keyboard (which can also work as a USB HID?)
reddit.com·18h·
Discuss: r/computers
📝Rope Editors
Flag this post
All decisions are wrong, but some are better
dev.to·1h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·13h
📋JSON Parsing
Flag this post
Cognitive Alignment in Personality Reasoning: Leveraging Prototype Theory for MBTI Inference
arxiv.org·13h
⚖️Weighted Automata
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·13h
📋Tablegen
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·13h
🔍ML Language
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·13h
🗺️Region Inference
Flag this post
Computation as a Game
arxiv.org·13h
🔍Type Inference
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·13h
🎮Language Ergonomics
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·13h
🔍ML Language
Flag this post
FedMGP: Personalized Federated Learning with Multi-Group Text-Visual Prompts
arxiv.org·13h
🌱Minimal ML
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·6h·
Discuss: DEV
Live Coding
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·13h
Tokenizer Benchmarks
Flag this post