First Day: A New Chapter at the JKU
stefan-marr.deยท4h
๐Ÿ”ฉSystems Programming
The Architecture of Learning: From Statistics to Intelligence
little-book-of.github.ioยท4hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Pidgin 3.0 Experiemental 4 (2.93.0) has been released
discourse.imfreedom.orgยท1dยท
Discuss: Hacker News
๐Ÿ“ŸTerminals
AI Antibody Design in 2025
blog.booleanbiotech.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Creating Web Applications with Julia
digitalocean.comยท1dยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Python Machine Learning: Care and Quality for Developers
sonarsource.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
My Claude Code Agent for Writing Prompts
olshansky.infoยท1dยท
โšกProof Automation
Sequence alignment algorithm enables rapid search of world's microbial DNA
phys.orgยท18h
๐Ÿ”„Burrows-Wheeler
Build Agentic Video RAG with Strands Agents and Containerized Infrastructure
dev.toยท15hยท
Discuss: DEV
๐ŸŒŠStream Processing
VoiceAssistant-Eval: Benchmarking AI Assistants across Listening, Speaking, and Viewing
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
Domain-Informed Genetic Superposition Programming: A Case Study on SFRC Beams
arxiv.orgยท2d
๐Ÿ”—Functional Compilers
A TRIANGLE Enables Multimodal Alignment Beyond Cosine Similarity
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
MuPlon: Multi-Path Causal Optimization for Claim Verification through Controlling Confounding
arxiv.orgยท6h
๐ŸŽฏPerformance Proofs
STRAPSim: A Portfolio Similarity Metric for ETF Alignment and Portfolio Trades
arxiv.orgยท1d
๐Ÿ”BitFunnel
An Experiment with AI Assisted Web Development
dev.toยท1dยท
Discuss: DEV
๐ŸŒWASI
Automated Neuro-Symbolic Reasoning for Explainable Medical Diagnosis via Dynamic Graph Augmentation
dev.toยท3dยท
Discuss: DEV
๐Ÿ•ธ๏ธGraph Embeddings
Polysemous Language Gaussian Splatting via Matching-based Mask Lifting
arxiv.orgยท2d
๐ŸงฎKolmogorov Complexity
Learning to Ponder: Adaptive Reasoning in Latent Space
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Anomaly detection for generic failure monitoring in robotic assembly, screwing and manipulation
arxiv.orgยท6h
๐Ÿ‘๏ธSystem Observability