Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·2d
🐪OCaml
How to factor cost into agentic tool design
speakeasy.com·3h·
Discuss: Hacker News
⚡Interpreter Optimization
Trust but Verify
oreilly.com·5h
🎭Program Synthesis
connect-four-ai: A high-performance, perfect Connect Four solver
reddit.com·2d·
Discuss: r/rust
🧩Constraint Solvers
Be Curious About Your Compute
dev.to·3h·
Discuss: DEV
📊Memory Profilers
NurseSchedRL: Attention-Guided Reinforcement Learning for Nurse-Patient Assignment
arxiv.org·12h
🪜Recursive Descent
ashvardanian/StringZilla
github.com·14h
📋JSON Parsing
Automated Acoustic Biomarker Analysis for Early Psychosis Detection via Multimodal Fusion
dev.to·9h·
Discuss: DEV
✨Effect Inference
Diffusion Bridge Variational Inference for Deep Gaussian Processes
arxiv.org·12h
✨Effect Inference
Retrieval Augmented Generation – Generative AI Tool
dev.to·17h·
Discuss: DEV
🌊Streaming Lexers
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
ME-Mamba: Multi-Expert Mamba with Efficient Knowledge Capture and Fusion for Multimodal Survival Analysis
arxiv.org·1d
⚖️Weighted Automata
Automated Contractual Dispute Resolution via Hybrid Symbolic-Probabilistic Reasoning for Ship Brokering
dev.to·1d·
Discuss: DEV
📈Earley Parsing
FedFiTS: Fitness-Selected, Slotted Client Scheduling for Trustworthy Federated Learning in Healthcare AI
arxiv.org·12h
⚖️Weighted Automata
Generics and Variance with Java
dev.to·3d·
Discuss: DEV
🗂️Type Indexing
Soft Tokens, Hard Truths
arxiv.org·12h
🔍Tokenizers
Automated Evidence-Based Knowledge Graph Construction for Dynamic Policy Enforcement
dev.to·23h·
Discuss: DEV
✨Effect Inference
Sketching approximations and LP approximations for finite CSPs are related
arxiv.org·1d
🎨Graph Coloring