Secondhand embarrassment
robinsloan.com·18h
🦀Rust Macros
What's The Deal With GitHub Spec Kit
den.dev·1d
🔄Reproducible Builds
Looking at kmalloc() and the SLUB Memory Allocator (2019)
ruffell.nz·18h·
Discuss: Hacker News
🧠Memory Allocators
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·6d·
Discuss: Hacker News
🧮SMT Solvers
Rust is a low-level systems language (not!)
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·2d
📐Mathematical Art
Optimizing Microchannel Heat Exchanger Design via Bayesian Optimization and Surrogate Modeling
dev.to·7h·
Discuss: DEV
⚙️Tape Engineering
Observation Matrix Design for Densifying MIMO Channel Estimation via 2D Ice Filling
arxiv.org·1h
⚽Sphere Packing
On Epistemic Uncertainty of Visual Tokens for Object Hallucinations in Large Vision-Language Models
arxiv.org·1h
🤖Advanced OCR
Dense2MoE: Restructuring Diffusion Transformer to MoE for Efficient Text-to-Image Generation
arxiv.org·1h
🧠Neural Compression
Stop “Vibe Coding”: What Worked for Me as a Front-End Tech Lead
dev.to·22h·
Discuss: DEV
⚡Proof Automation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Bayesian Decision Making around Experts
arxiv.org·3d
🧮Kolmogorov Bounds
Enhanced Parasitic R/L Extraction in Die-Stacked ICs via Adaptive Finite Element Modeling and Bayesian Optimization
dev.to·1d·
Discuss: DEV
⚡Circuit Archaeology
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·3d
📐Compression Bounds
Show HN: Orchestro – Trello for Claude Code with Kanban Board
github.com·13h·
Discuss: Hacker News
🔄Sync Engine
MultiCNKG: Integrating Cognitive Neuroscience, Gene, and Disease Knowledge Graphs Using Large Language Models
arxiv.org·4d
🧠Intelligence Compression
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·4d
💻Local LLMs
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·3d
🧮Vector Embeddings
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·3d
📋Document Grammar