Secondhand embarrassment
robinsloan.com·20h
🦀Rust Macros
Looking at kmalloc() and the SLUB Memory Allocator (2019)
ruffell.nz·20h·
Discuss: Hacker News
🧠Memory Allocators
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·3d·
Discuss: Hacker News
λLambda Encodings
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·6d·
Discuss: Hacker News
🧮SMT Solvers
Experimenting with B+Tree + WAL replication: 1K writes/sec, 2K readers, 1.2M aggregate ops/sec
reddit.com·14h·
Discuss: r/golang
🌲B-tree Variants
PR-03 at Hacktoberfest: Implementing a Credit Card Validator for Terraform Provider
dev.to·1h·
Discuss: DEV
🔓Open Source Software
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·2d
📐Mathematical Art
Predictive Modeling of Neutron Capture Cross-Sections via Bayesian Kernel Regression
dev.to·5h·
Discuss: DEV
🧲Magnetic Resonance
Show HN: Orchestro – Trello for Claude Code with Kanban Board
github.com·15h·
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
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·3d
📋Document Grammar
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·3d
🧮Vector Embeddings
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·2d·
Discuss: DEV
💻Local LLMs
Enhanced Parasitic R/L Extraction in Die-Stacked ICs via Adaptive Finite Element Modeling and Bayesian Optimization
dev.to·1d·
Discuss: DEV
⚡Circuit Archaeology
Refactoring: A way to write better Code
dev.to·2d·
Discuss: DEV
⚙️Operational Semantics
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·3d
🧮Kolmogorov Complexity
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1h·
Discuss: DEV
🌀Brotli Internals
Quantifying the Accuracy-Interpretability Trade-Off in Concept-Based Sidechannel Models
arxiv.org·5d
🧠Machine Learning