Alibaba's Qwen2.5 only excels at math thanks to memorized training data
the-decoder.com·18h
🧠Intelligence Compression
Week 29 – 2025
thisweekin4n6.com·18h
🔍Binary Forensics
Issue 481
haskellweekly.news·3d
🔗Functional Compilers
PGR-DRC: Pre-Global Routing DRC Violation Prediction Using Unsupervised Learning
arxiv.org·3h
🔧Hardware Verification
[R] SherlockBench benchmark and paper
reddit.com·1d·
Discuss: r/MachineLearning
🌊Streaming Algorithms
A curated directory for developers to discover and showcase tech products
devhub.best·5h·
Discuss: Hacker News
🔓Open Source Software
Initial homelab designing and planning
preview.redd.it·4h·
Discuss: r/homelab
🏠HomeLab
Manus AI agent context engineering – practical implementation guide
aicodingtools.blog·2d·
Discuss: Hacker News
⚡Incremental Computation
Rust Web Frameworks Compared: Actix vs Axum vs Rocket
dev.to·17h·
Discuss: DEV
🦀Rust Borrowing
Async I/O on Linux and durability
blog.canoozie.net·2d·
Discuss: Lobsters, Hacker News
📝Database WAL
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.org·3h
🧠Machine Learning
Rust: Clippy performance status update
blog.goose.love·1d·
Discuss: Lobsters
🔩Systems Programming
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
mchav/dataframe
github.com·6h
🧠Lisp Dialects
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·3d
🛡️Proof-Carrying Archives
Proof-theoretic Semantics for First-order Logic
arxiv.org·3d
🏗️Constructive Logic
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.com·1d·
Discuss: Hacker News, r/C_Programming
🔗Static Linking
Code Smells in Clojure
github.com·3d·
Discuss: Hacker News
🦀Rust Borrowing
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·3d·
Discuss: DEV
🔄Lens Laws
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·2d·
Discuss: Hacker News
📊Quantization