Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
💻Programming languages
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
💻Programming languages
LLM-Generated Rules Engines for LLM Explainability
brain.co·8h·
Discuss: Hacker News
💻Programming languages
Death to Type Classes
jappie.me·8h·
Discuss: Hacker News
💻Programming languages
Architecting Precision: Breakthrough Frameworks Redefine Systems and Data Integration
hackernoon.com·1d
💻Programming languages
An introduction to program synthesis
mchav.github.io·21h·
Discuss: Hacker News, r/programming
💻Programming languages
The Data Backbone of LLM Systems
infoq.com·1d·
Discuss: Lobsters
🗃️Database Internals
Gauss, an Agent for Autoformalization
math.inc·1d·
Discuss: Hacker News, Hacker News
💻Programming languages
Choosing Rust for LLM-generated code
runmat.org·2h·
Discuss: Hacker News
📏Linear Types
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·1d·
Discuss: Hacker News
🏹Apache Arrow
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·1d·
Discuss: Hacker News
📏Linear Types
Automating multi-language SDK doc generation with testable code snippets
docs.hatchet.run·21h·
Discuss: Hacker News
💻Programming languages
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
💻Programming languages
Context Pruning in Conversational Agent
poonai.xyz·2d·
Discuss: Hacker News
💻Programming languages
Lobsters Interview with Susam
lobste.rs·5h·
Discuss: Lobsters
💻Programming languages
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
💻Programming languages
The bloat of edge-case first libraries
43081j.com·3d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Don't Let Your Mocks Mock You
revontulet.dev·2h·
Discuss: Hacker News
🧠Memory Management
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·22h·
Discuss: Hacker News
🌊Stream Processing
Large Language Model Hacking: Quantifying the Hidden Risks of Using LLMs for Text Annotation
arxiv.org·1d·
Discuss: Hacker News
📈Time Series ML