Jimmy Angelakos: pg_statviz 0.8 released with PostgreSQL 18 support
vyruss.org·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
LANDFALL: New Commercial-Grade Android Spyware in Exploit Chain Targeting Samsung Devices
unit42.paloaltonetworks.com·1d·
Discuss: Hacker News
🍎Apple
Flag this post
Show HN: Turn docs into tailored self-serve playgrounds to create aha-moments
visr.dev·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
The Privacy Manifesto
zac1258019.substack.com·17h·
Discuss: Substack
📵Digital Minimalism
Flag this post
Choosing a dependency
blog.frankel.ch·5d·
Discuss: r/programming
🔧DevOps
Flag this post
The Myth of AI-Powered Sisyphus
tawandamunongo.dev·21h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
The Reinforcement Learning Handbook: A Guide to Foundational Questions
towardsdatascience.com·1d
📚Automata Learning
Flag this post
Convert static forms to Ajax'ed forms instantly
github.com·17h·
Discuss: Hacker News
🔌APIs
Flag this post
Quantifying Residual Kinematic Error for Adaptive Prosthetic Limb Control via Bayesian Optimization
dev.to·1d·
Discuss: DEV
🤖Robotics
Flag this post
Puzzleet: When Algorithms Meet Play
vibe.forem.com·15h·
Discuss: DEV
🎮Verification Games
Flag this post
Show HN: KnexBridge – Generate TypeScript and Zod Types from Knex DB
github.com·2d·
Discuss: Hacker News
❄️NixOS
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·7h·
Discuss: DEV
🔧DevOps
Flag this post
Twirlator: A Pipeline for Analyzing Subgroup Symmetry Effects in Quantum Machine Learning Ansatzes
arxiv.org·1d
📐Linear Algebra
Flag this post
A Simple and Repeatable Approach to Evaluating LLM Outputs
dev.to·2d·
Discuss: DEV
💎Refinement Types
Flag this post
Beyond the "Vibe Check": How to Use the Web Codegen Scorer to Master AI-Generated Code
dev.to·2d·
Discuss: DEV
🔧ppx
Flag this post
Spring AI RAG, Demystified: From Toy Demos to Production-Grade Retrieval
dev.to·2d·
Discuss: DEV
🧩Parser Combinators
Flag this post
Upgrades
reddit.com·11h·
Discuss: r/homelab
🏠HomeLab
Flag this post
A memo on Takeoff
lesswrong.com·2d
🐫Embedded OCaml
Flag this post
Structural Priors and Modular Adapters in the Composable Fine-Tuning Algorithm of Large-Scale Models
arxiv.org·1d
🧮SMT Solvers
Flag this post
Building a Production-Ready A2A Protocol Agent: A Technical Journey
dev.to·4d·
Discuss: DEV
🌐Network Protocols
Flag this post