Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·2d
🐪OCaml
How to factor cost into agentic tool design
speakeasy.com·24m·
Discuss: Hacker News
⚡Interpreter Optimization
Trust but Verify
oreilly.com·1h
🎭Program Synthesis
connect-four-ai: A high-performance, perfect Connect Four solver
reddit.com·2d·
Discuss: r/rust
🧩Constraint Solvers
Codifying Natural Langauge Tasks
arxiv.org·1d
🧠Semantic Parsing
Geometric Mixture Classifier (GMC): A Discriminative Per-Class Mixture of Hyperplanes
arxiv.org·1d
🌱Minimal ML
NurseSchedRL: Attention-Guided Reinforcement Learning for Nurse-Patient Assignment
arxiv.org·8h
🪜Recursive Descent
keyed-query: Simplify queryKey management in SWR and TanStack Query
reddit.com·4h·
Discuss: r/reactjs
🗺️Stack Mapping
Diffusion Bridge Variational Inference for Deep Gaussian Processes
arxiv.org·8h
✨Effect Inference
RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code
arxiv.org·1d
🩺Compiler Diagnostics
GN-SINDy: Greedy Sampling Neural Network in Sparse Identification of Nonlinear Partial Differential Equations
arxiv.org·1d
📡Async Channels
SnipSnap: A Joint Compression Format and Dataflow Co-Optimization Framework for Efficient Sparse LLM Accelerator Design
arxiv.org·1d
📋JSON Parsing
ashvardanian/StringZilla
github.com·11h
📋JSON Parsing
ME-Mamba: Multi-Expert Mamba with Efficient Knowledge Capture and Fusion for Multimodal Survival Analysis
arxiv.org·1d
⚖️Weighted Automata
Automated Acoustic Biomarker Analysis for Early Psychosis Detection via Multimodal Fusion
dev.to·6h·
Discuss: DEV
✨Effect Inference
Retrieval Augmented Generation – Generative AI Tool
dev.to·14h·
Discuss: DEV
🌊Streaming Lexers
FedFiTS: Fitness-Selected, Slotted Client Scheduling for Trustworthy Federated Learning in Healthcare AI
arxiv.org·8h
⚖️Weighted Automata
Soft Tokens, Hard Truths
arxiv.org·8h
🔍Tokenizers
Automated Contractual Dispute Resolution via Hybrid Symbolic-Probabilistic Reasoning for Ship Brokering
dev.to·1d·
Discuss: DEV
📈Earley Parsing
Generics and Variance with Java
dev.to·3d·
Discuss: DEV
🗂️Type Indexing