GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·10h·
Discuss: Hacker News
💧Liquid Types
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·4d·
Discuss: Hacker News
🔗Functional Compilers
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.to·4h·
Discuss: DEV
🔍BitFunnel
Machine Learning Fundamentals: active learning
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·19h
🔍BitFunnel
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.org·19h
📐Error Bounds
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·9h·
Discuss: DEV
🌊Stream Ciphers
LR(1) parse-tables generator
github.com·2d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·2d·
Discuss: DEV
🧬Functional Programming
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·9h·
Discuss: DEV
🌊Stream Processing
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·2d
💻Local LLMs
On Union-Closedness of Language Generation
arxiv.org·2d
🔗Monadic Parsing
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·1d
🔍Concolic Testing
Computing Betti tables and minimal presentations of zero-dimensional persistent homology
arxiv.org·2d
🕸️Algebraic Topology
Individual Causal Inference with Structural Causal Model
arxiv.org·2d
🧠Machine Learning
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·1d
📐Compression Bounds
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·1d
🧠Intelligence Compression
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·1d·
Discuss: DEV
⚡Performance Tools
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·19h
📏Linear Logic
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·19h
🔗Parser Combinators