Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Taskwarrior CLI – Workflow Examples
taskwarrior.org·2d·
Discuss: Hacker News
⚡Proof Automation
Solving 2-SAT
nima101.github.io·6d·
Discuss: Hacker News
🔗Constraint Handling
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
⚡Cache Coherence
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·18h·
Discuss: Hacker News
🧮Theoretical Computer Science
"Wrote" a small script to validate helm values
reddit.com·10h·
Discuss: r/kubernetes
✅Shell Verification
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·2d·
Discuss: Hacker News
⚡Incremental Computation
A Low-Resource Speech-Driven NLP Pipeline for Sinhala Dyslexia Assistance
arxiv.org·45m
🎙️Whisper
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
🎯Performance Proofs
Doctor-R1: Mastering Clinical Inquiry with Experiential Agentic Reinforcement Learning
arxiv.org·45m
🎵Audio ML
DuPLUS: Dual-Prompt Vision-Language Framework for Universal Medical Image Segmentation and Prognosis
arxiv.org·45m
🤖Advanced OCR
TROLL: Trust Regions improve Reinforcement Learning for Large Language Models
arxiv.org·45m
🧮Kolmogorov Bounds
Reasoning Renaissance: Bridging Neural Nets and Logic with Shared Concepts
dev.to·2d·
Discuss: DEV
🧮Datalog Systems
Teaching LLM to be Persuasive: Reward-Enhanced Policy Optimization for Alignment frm Heterogeneous Rewards
arxiv.org·45m
🔍Information Retrieval
Glocal Information Bottleneck for Time Series Imputation
arxiv.org·45m
🧠Machine Learning
Attending on Multilevel Structure of Proteins enables Accurate Prediction of Cold-Start Drug-Target Interactions
arxiv.org·45m
🧠Machine Learning
Spiral of Silence in Large Language Model Agents
arxiv.org·1d
💻Programming languages
AI-Driven Predictive Maintenance for ECDIS Utilizing Bayesian Filtering and Stochastic Optimization
dev.to·8h·
Discuss: DEV
👁️System Observability
AWS Certified Machine Learning Engineer Core Concepts
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Moral Anchor System: A Predictive Framework for AI Value Alignment and Drift Prevention
arxiv.org·45m
🔲Cellular Automata