Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Vibe Coding Showcase: 12 Projects Built by Everyday People
kp.substack.com·13h·
Discuss: Substack
🚀Indie Hacking
Counter Service: How we rewrote it in Rust
engineering.grab.com·3d·
Discuss: Hacker News
🔒Linear Types
Next Generation High Web Rust Based Solutions（1750916331932500）
dev.to·5h·
Discuss: DEV
🔌Interface Evolution
Oreo's Top K Treats (Bucket Sort)
dev.to·23h·
Discuss: DEV
🌊Streaming Algorithms
Schemars v1 is now released
reddit.com·16h·
Discuss: r/rust
🦀Rust Macros
Machine Learning Fundamentals: active learning project
dev.to·19h·
Discuss: DEV
🧠Machine Learning
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·6h
📃Manuscript Tokenization
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Recipe for Discovery: A Framework for Systematic Open Source Project Identification
arxiv.org·2d
🔓Open Source Software
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·13h·
Discuss: DEV
🦀Rust Borrowing
How and Why to Use Patches
dev.to·1d·
Discuss: DEV
📦Package Managers
Learning-based safety lifting monitoring system for cranes on construction sites
arxiv.org·6h
📄Document Digitization
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·1d
⬆️Lambda Lifting
Language Modeling by Language Models
arxiv.org·6h
🤖Grammar Induction
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
How to Build Your First Swift Package
dev.to·4h·
Discuss: DEV
📜Proof Carrying Code
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·6h
🎯Performance Proofs