· software
Dafny: Verification-Aware Programming Language
Article URL: https://dafny.org/ Comments URL: https://news.ycombinator.com/item?id=46295792 Points: 9 Comments: 1...
-
- · software
Canonical JSON Model
Purpose The Canonical JSON Model defines the stable, deterministic representation of AI execution state produced by a FACET‑compliant system. Its goal is to en...
- · software
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
Article URL: https://simonwillison.net/2025/Dec/15/porting-justhtml/ Comments URL: https://news.ycombinator.com/item?id=46295771 Points: 18 Comments: 0...
- · software
Day 1287 : Could Be Wrong
!Cover image for Day 1287 : Could Be Wronghttps://media2.dev.to/dynamic/image/width=1000,height=420,fit=cover,gravity=auto,format=auto/https%3A%2F%2Fdev-to-uplo...
- · software
Build a Realtime Video Restyling Agent with Gemini 3 + Decart AI
Google's Gemini 3 released Nov 18 2025 provides multimodal reasoning and tool‑use for building response‑accurate AI applications. Paired with Decart AI’s Mirage...
- · software
Unpacking Sterling Digital Consulting's AI Analytics Tool
Overview Ever felt overwhelmed by the sheer amount of data your applications churn out? Many developers struggle to sift through endless logs, metrics, and use...
- · software
When you ship fast, there are chances that you might ship bugs in production, Here's how I deal with that
The Problem Many startups ship features quickly, often without a reliable way to track errors in production. Typical approaches—adding a feedback form or a bug...
- · software
Como provisionar um cluster PostgreSQL no DBaaS da Magalu Cloud com failover automático
markdown Alta disponibilidade com PostgreSQL no Magalu Cloud DBaaS Bancos de dados relacionais continuam sendo componentes centrais em aplicações modernas. Quan...
- · software
Reverse-Engineering the RK3588 NPU: Hacking Limits to Run Vision Transformers
Article URL: https://amohan.dev/blog/2025/shard-optimizing-vision-transformers-edge-npu/ Comments URL: https://news.ycombinator.com/item?id=46294626 Points: 8 C...
- · software
Prediction: AI will make formal verification go mainstream
Article URL: https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html Comments URL: https://news.ycombinator.com/item?id=46294574 Points: 40 Comments...
- · software
Knowledge Sharing: Strong Teams Share What They Know
Why Knowledge Sharing Matters If only one person knows how something works, your team doesn't really know it yet. Code changes, tools evolve, and people move o...
- · software
Communication As A Task: A Mindset for Successful Asynchronous Work
Background It's needless to say asynchronous work is valuable. As engineers, we require concentration, but the tools, methods, and procedures needed for that c...