Do AI coding tools help with imposter syndrome or make it worse?
stackoverflow.blog·17h
📏Code Metrics
Bun, WASM and Rust Projects with GitHub Actions
vectronic.io·2d·
Discuss: Hacker News
🦀Rust Macros
The Economics of Hosting Open Source Models
inference.net·1d·
Discuss: Hacker News
🔓Open Source Software
10 years of sustainable open source
about.readthedocs.com·4d·
Discuss: Hacker News
🔄Language Evolution
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·2d·
Discuss: Lobsters, Hacker News
🌀Brotli Internals
Minimal Scala Container Images Using Nix
blog.aiono.dev·3d·
Discuss: Hacker News
📦Container Security
Linux Load Averages: Solving the Mystery (2017)
brendangregg.com·2d·
Discuss: Hacker News
🔍eBPF
Show HN: A High-Altitude Low-Power Flight Computer for High-Altitude Balloons
github.com·1d·
Discuss: Hacker News
🔌Single Board PC
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·1d·
Discuss: Hacker News
⚡Proof Automation
Using Containers to Speed Up Development, to Run Integration Tests and to Teach About Distributed Systems
arxiv.org·2d
📦METS Containers
I Know When You're Vibe Coding
alexkondov.com·2d·
Discuss: Hacker News, Hacker News, r/programming
📜Proof Carrying Code
Very High-Resolution Bridge Deformation Monitoring Using UAV-based Photogrammetry
arxiv.org·2d
🏺Computational Archaeology
Beyond the Firewall: Achieving True Observability in the Era of Hybrid Infrastructure
devops.com·1d
👁️System Observability
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·2d
🧮Theorem Proving
Multi-Hazard Early Warning Systems for Agriculture with Featural-Temporal Explanations
arxiv.org·5h
🧠Machine Learning
Maths at the Edinburgh Fringe, 2025
aperiodical.com·23h
📐Mathematical Art
DeepC4: Deep Conditional Census-Constrained Clustering for Large-scale Multitask Spatial Disaggregation of Urban Morphology
arxiv.org·1d
🔶Voronoi Diagrams
My journey building with Bolt during the World's Largest Hackathon
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Pinpoint Error in Your GenAI Model Input & Response
dev.to·14h·
Discuss: DEV
🔍Z3 Parsing
Crypto in Times of Crisis: How Global Events Affect Digital Assets
hackernoon.com·1d
🔗Blockchain Archives