Extensible Records, Structural Subtyping, Label Constraints, Polymorphic Variants

Improving Emacs' iCalendar Support
recursewithless.net·1d·
Discuss: Hacker News
Incremental Parsing
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·1d·
Discuss: Hacker News
🪢Rope Data Structures
Flag this post
Dissecting my MiniBanners program – part 1
subethasoftware.com·20h
🏷️Symbol Mangling
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·4d·
Type Checking
Flag this post
The 9 best Notion alternatives in 2026
zapier.com·1d
💬Smalltalk VMs
Flag this post
Functional Ruby Programming with Trailblazer
dev.to·1d·
Discuss: DEV
functional programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·9h
🔍ML Language
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·9h
🗺️Region Inference
Flag this post
Computation as a Game
arxiv.org·9h
🔍Type Inference
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·9h
🎮Language Ergonomics
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·9h
🔍ML Language
Flag this post
Beyond the Browser: Crafting a Robust Web Scraping Pipeline for Dynamic Sports Data
dev.to·1d·
Discuss: DEV
🛡️Error Handling
Flag this post
FedMGP: Personalized Federated Learning with Multi-Group Text-Visual Prompts
arxiv.org·9h
🌱Minimal ML
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·2h·
Discuss: DEV
Live Coding
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·9h
Tokenizer Benchmarks
Flag this post
Building a tool to normalize messy support chat data for fine-tuning - would this help you?
reddit.com·1d·
Discuss: r/LLM
🔤Language Tokenizers
Flag this post
JetBrains ReSharper for Visual Studio
dev.to·1d·
Discuss: DEV
🚚Code Migration
Flag this post
Make Lightweight, Mixed-Source Reports without Logical Data Warehouse--SPL Reporting
dev.to·1d·
Discuss: DEV
🗄️Database Engines
Flag this post
learn-data-structures-js
github.com·1d·
Discuss: DEV
🪢Rope Data Structures
Flag this post