Haskell Weekly Issue 493
haskellweekly.news·1h·
Discuss: Hacker News
🧬Functional Programming
GaloisInc/parameterized-utils
github.com·1d
🧮Algebraic Datatypes
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.org·7h
🧠Machine Learning
Defeating Return Type Polymorphism
philipphagenlocher.de·13h·
Discuss: Hacker News
🧬Functional Programming
Replacing the Type Checker for the Swift Compiler
forums.swift.org·8h·
Discuss: Hacker News
💧Liquid Types
Three Solutions to Nondeterminism in AI
blog.hellas.ai·22h·
Discuss: Hacker News
🎯Performance Proofs
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·1d·
Discuss: Hacker News
🧬Functional Programming
The Chip That Spoke Lisp
jxself.org·1d
🤖Lisp Machines
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·6d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Toy Binary Decision Diagrams
philipzucker.com·3d
🧮Algebraic Datatypes
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·2d
💻Programming languages
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·1d·
Discuss: Hacker News, r/neovim
🔗Lisp
We Bet on Rust to Supercharge Feature Store at Agoda
medium.com·23h·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·7h
🔨Compilers
TypeScript Flaws (2024)
intercaetera.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Evolutionary Profiles for Protein Fitness Prediction
arxiv.org·7h
🧮Kolmogorov Complexity
Protobuf: Rust Generated Code Guide
protobuf.dev·1d
🦀Rust Macros
Rust vs C, C++, Java & Python — 5 Everyday Programs Compared
dev.to·20h·
Discuss: DEV
🦀Rust Macros
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·2d
🔗Parser Combinators
Efficient and accurate search in petabase-scale sequence repositories
nature.com·19h·
Discuss: Hacker News
🔄Burrows-Wheeler