Fixedsys-CSS
fixedsys.javanile.org·6h·
Discuss: Hacker News
👐Open Source Software
Show HN: Small.im v2 – Powerful Bulk Image Compression Tool
small.im·2d·
Discuss: Hacker News
🎲Probabilistic Programming
Why is D3 so Verbose?
theheasman.com·14h·
Discuss: Hacker News
🧫Cellular Automata
Stupid Things That Work
ryanglover.net·8h·
Discuss: Hacker News
💻Operating Systems
VAST targets data sprawl with new SyncEngine utility
blocksandfiles.com·10h
🌍Distributed Systems
Kdenlive 25.08.0 released
kdenlive.org·3d·
Discuss: r/linux
👐Open Source Software
I-care Announces Strategic Integration with MVP One to Create Smarter Maintenance of Industrial Assets
prnewswire.com·14h
🎲Probabilistic Programming
Antier Brings Real Estate On-Chain with Tokenization Tech
prnewswire.com·16h
🔐Cryptography
The AI Agile Era: How AI Is Compressing the Software Lifecycle
blog.withmantle.com·3d·
Discuss: Hacker News
📦WebAssembly
10 Essential Items for Your Employee Orientation Checklist
smallbiztrends.com·10h
🧩Theorem Proving
GEO x local SEO: What it means for the future of discovery
searchengineland.com·10h
🧩Theorem Proving
Automated Beamline Component Design via Hyperparameter Optimization and Generative Modeling
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
AI Daily News Aug 20 2025: Thousands of Grok chats are now searchable on Google; Meta adds AI voice dubbing to Facebook and Instagram; 95% of corporate AI proje...
reddit.com·20h·
Discuss: r/deeplearning
🤖Sci-Fi
The Hidden Costs of Coding With Generative AI
sloanreview.mit.edu·3d·
Discuss: Hacker News
🎲Probabilistic Programming
How to Build a Career That Thrives Alongside AI
every.to·1d
🔌Network Programming
DiffMem: Using Git as a Differential Memory Backend for AI Agents - Open-Source PoC
reddit.com·1d·
Discuss: r/LocalLLaMA
🧩Theorem Proving
Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric
arxiv.org·3d
🧭SMT Solvers
Maximizing AI/ML Model Performance with PyTorch Compilation
towardsdatascience.com·3d
🔍Static Analysis
PersRM-R1: Enhance Personalized Reward Modeling with Reinforcement Learning
arxiv.org·20h
🎲Probabilistic Programming
Hello World! (I Think I'm Ready for This)
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory