Making Change: Array-Based DP
mmhaskell.com·2h
🔗Concatenative Programming
Offensive OSINT s05e10 - Interactive investigative stories part 1
offensiveosint.io·4d
🌐WARC Forensics
Joy & Curiosity #57
registerspill.thorstenball.com·1d
🏺ZIP Archaeology
Experimenting with ACL2 and Claude Code
mikedodds.org·2d·
Discuss: Hacker News
👑Isabelle
Gleam Programming Language Tour
tour.gleam.run·2d·
Discuss: Hacker News
🦀Rust Macros
[Pre-RFC] Substructural Type System
internals.rust-lang.org·20h·
Discuss: Hacker News
🔒Type Safety
I'm looking for contributors for my numerical calculus crate!
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
[P] PKBoost: Biologically-Inspired Rust Gradient Booster for Drift/Adversarial ML (“Out-of-the-Box” Wins vs XGBoost/LGBM/CB)
reddit.com·1d·
Discuss: r/MachineLearning
⚡Homebrew CPUs
Probing Social Identity Bias in Chinese LLMs with Gendered Pronouns and Social Groups
arxiv.org·4d
🇨🇳Chinese Computing
From Sunlight to Insights: A Python-Powered Dive into Solar Energy Data
dev.to·2d·
Discuss: DEV
📈Time Series
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·3d
✨Effect Handlers
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·1d·
Discuss: DEV
📊Quantization
Cactus Language • Semantics 2
inquiryintoinquiry.com·4d
🔢Denotational Semantics
Tech With Tim: How to Build AI Agents in Python
dev.to·10h·
Discuss: DEV
🔲Cellular Automata
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·6d
🧠Intelligence Compression
High-Throughput Reactive Sputtering Process Optimization via Adaptive Machine Learning Control
dev.to·1d·
Discuss: DEV
📄Document Digitization
The Hidden Oracle Inside Your AI: Unveiling Data Density with Latent Space Magic by Arvind Sundararajan
dev.to·4d·
Discuss: DEV
🧠Machine Learning
TRepLiNa: Layer-wise CKA+REPINA Alignment Improves Low-Resource Machine Translation in Aya-23 8B
arxiv.org·4d
🎙️Whisper