Why you should be using pathlib (2018)
treyhunner.com·7h·
Discuss: Lobsters
🪟Awesome windows command-line
Beating the L1 cache with value speculation (2021)
mazzo.li·6h·
Discuss: Lobsters
⚡CPU Microarchitecture
Sampling at Negative Temperature
cavendishlabs.org·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Claude Code uses WebFetch vs. WebSearch (observations, schemas, prompts)
mikhail.io·58m·
Discuss: Hacker News
🔍BitFunnel
WASM in the Kernel: Tales of Triumph and Trouble
riptides.io·8h·
Discuss: Hacker News
🔒WASM Capabilities
Ask HN: Systems Development Path
news.ycombinator.com·2d·
Discuss: Hacker News
🦀Rust Borrowing
Generative AI finds antimicrobial peptides against multidrug-resistant bacteria
nature.com·1d·
Discuss: Hacker News
⚙️ABNF Mining
Q-Learning with Shift-Aware Upper Confidence Bound in Non-Stationary Reinforcement Learning
arxiv.org·18h
🧮Kolmogorov Bounds
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·18h
🎯Performance Proofs
Reasoning Renaissance: Bridging Neural Nets and Logic with Shared Concepts
dev.to·2d·
Discuss: DEV
🧮Datalog Systems
Introduction to Python Module Two Part Four Data Types
dev.to·6h·
Discuss: DEV
📝Concrete Syntax
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
Discuss: Hacker News, r/rust
📊HyperLogLog
AWS Certified Machine Learning Engineer Core Concepts
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Automated Risk Calibration for Shipping Asset-Backed Securities via Dynamic Portfolio Optimization
dev.to·1d·
Discuss: DEV
⚙️Batch Processing
AI-Driven Predictive Maintenance for ECDIS Utilizing Bayesian Filtering and Stochastic Optimization
dev.to·2h·
Discuss: DEV
👁️System Observability
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·12h·
Discuss: Hacker News
🧮SMT Solvers
Building My Smart 2nd Brain, Part 3: API and UI Explained
dev.to·1d·
Discuss: DEV
🔄Archival Workflows
Day 24 of My 90 Days Python Series – Word Counter Tool
dev.to·11h·
Discuss: DEV
📝Concrete Syntax
Evaluating Large Language Models for IUCN Red List Species Information
arxiv.org·18h
🧮Kolmogorov Complexity
MangoDB CRUD
dev.to·7h·
Discuss: DEV
🦴Database Paleontology