Inferentialism: Logic and Meaning
consequently.org·1d
⚖️Inference Rules
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·2d
🐪OCaml
You’re Probably Using AI Wrong
every.to·11h
🎮Language Ergonomics
connect-four-ai: A high-performance, perfect Connect Four solver
reddit.com·2d·
Discuss: r/rust
🧩Constraint Solvers
Supersimulators
arxiv.org·1d
🔬Nanopasses
Differential Privacy for Euclidean Jordan Algebra with Applications to Private Symmetric Cone Programming
arxiv.org·1d
🧩Constraint Solvers
Retrieval Augmented Generation – Generative AI Tool
dev.to·9h·
Discuss: DEV
🌊Streaming Lexers
Compressed Permutation Oracles
eprint.iacr.org·1d
🔗Hash Functions
Codifying Natural Langauge Tasks
arxiv.org·1d
🧠Semantic Parsing
Codeck Presents Verdent AI: They Wanted Opinions, I have Plenty
dev.to·6h·
Discuss: DEV
🔮Metacircular Evaluators
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·4h
🪜Recursive Descent
ashvardanian/StringZilla
github.com·6h
📋JSON Parsing
Diffusion Bridge Variational Inference for Deep Gaussian Processes
arxiv.org·4h
✨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
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·2h·
Discuss: DEV
✨Effect Inference
FedFiTS: Fitness-Selected, Slotted Client Scheduling for Trustworthy Federated Learning in Healthcare AI
arxiv.org·4h
⚖️Weighted Automata