Combinators, Grammar, Syntax, Language implementation

[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·6h
0️⃣Zero-Copy
Flag this post
Build your own GPG in Rust
andrewhalle.github.io·1d·
Discuss: Hacker News
🐫OCaml
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
dev.to·2d·
Discuss: DEV
λFunctional Programming
Flag this post
POSESTITCH-SLT: Linguistically Inspired Pose-Stitching for End-to-End Sign Language Translation
arxiv.org·21h
λFunctional Programming
Flag this post
DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
arxiv.org·1d
🐫OCaml
Flag this post
Building MultiLingo: An AI Translation Agent with Telex Integration
dev.to·1d·
Discuss: DEV
🐫OCaml
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·21h
🐫OCaml
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·21h
λFunctional Programming
Flag this post
Top 10 AI Features for Modern WYSIWYG Editors
dev.to·3h·
Discuss: DEV
🪶suckless
Flag this post
Training LLMs Beyond Next Token Prediction - Filling the Mutual Information Gap
arxiv.org·21h
🐫OCaml
Flag this post
Spatial Secrets: Unlocking Hidden Patterns with Language Models
dev.to·1d·
Discuss: DEV
🐫OCaml
Flag this post
Surfacing Subtle Stereotypes: A Multilingual, Debate-Oriented Evaluation of Modern LLMs
arxiv.org·21h
λFunctional Programming
Flag this post
Wavelet-Based Feature Extraction and Unsupervised Clustering for Parity Detection: A Feature Engineering Perspective
arxiv.org·21h
🐫OCaml
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·21h
λFunctional Programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·21h
🐫OCaml
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·21h
λFunctional Programming
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·21h
λFunctional Programming
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·21h
λFunctional Programming
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·21h
λFunctional Programming
Flag this post
Reevaluating Self-Consistency Scaling in Multi-Agent Systems
arxiv.org·21h
λFunctional Programming
Flag this post