Meet the Flummoxagon
n-e-r-v-o-u-s.com·2h
📐Mathematical Art
Embedding Lua in Nim
lambdacreate.com·1d
🦀Rust Macros
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·1d
⬆️Lambda Lifting
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·6h·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.org·11h
📼Tape Combinators
Med-K2N: Flexible K-to-N Modality Translation for Medical Image Synthesis
arxiv.org·1d
🧠Machine Learning
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·11h
⚙️TLA+
Optimized Minimal 4D Gaussian Splatting
arxiv.org·11h
📐Projective Geometry
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·11h
🧠Machine Learning
P2P: A Poison-to-Poison Remedy for Reliable Backdoor Defense in LLMs
arxiv.org·11h
💻Local LLMs
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.org·11h
🧠Machine Learning
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.org·11h
💻Local LLMs
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·11h
👑Coq Tactics
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·11h
💻Programming languages
Optimizing Python Loops for Speed and Memory Efficiency with Generators
dev.to·22h·
Discuss: DEV
📝Compiler Design
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.org·11h
🧠Intelligence Compression
A Study of Neural Polar Decoders for Communication
arxiv.org·1d
🧠Neural Codecs
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org·11h
🎯Performance Proofs
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·19h·
Discuss: DEV
🌐NetworkProtocols