news newest ask show jobs

Open Source @Github

fp.

C++ float-to-int conversion can be undefined behavior

https://kttnr.net/blog/cpp-float-to-int-conversion-undefined-behavior/

1•signa11•1m ago•0 comments

I Got a Free Meal from a Private Chef–Who Filmed It All to Train Robots

https://www.wired.com/story/i-let-a-private-chef-film-my-kitchen-for-robot-training-data/

1•JeanKage•1m ago•0 comments

Let's Make the Worst Htmx

https://zserge.com/posts/worst-htmx-ever/

1•Tomte•2m ago•0 comments

Mental health startup graveyard: an analysis of 542 dead companies, 2000–2026

https://mentalium.me/en/research/mental-health-startup-graveyard/

1•trubetskov•3m ago•0 comments

Open-weights AI models have become good enough

https://blog.senko.net/open-weights-ai-models-have-become-good-enough

1•chistev•3m ago•0 comments

Open Source is not a business model (2016)

https://blog.senko.net/open-source-is-not-a-business-model

1•chistev•3m ago•0 comments

CliffordNet: All You Need Is Geometric Algebra[ArXiv:2601.06793]

https://arxiv.org/abs/2601.06793

1•unprovable•5m ago•0 comments

Show HN: Two AI eyes argue about morality, using the sociology of justification

https://orb-eye-ten.vercel.app/

1•zamtam•6m ago•0 comments

1.25K → 9.04K clicks in 60 days: Pointed an agent to GSC every morning

https://www.reddit.com/r/better_claw/s/RTb2Auc7rx

1•sbnmkatoch•6m ago•0 comments

Ventora Expands Its AI Business Builder to Help Solo Founders

1•darius88•6m ago•0 comments

Singleton Attractors in Recursive Self-Improvement Dynamics [pdf]

https://nathanlangley.dev/Singleton%20Attractor.pdf

1•frozenseven•9m ago•1 comments

The Onion King and Market Manipulation

https://www.sherwoodfp.com/post/the-onion-king-and-market-manipulation

1•theanonymousone•10m ago•0 comments

A Note on Hidden Shifts as Hidden Subgroups for Quantum Cryptanalysis

https://presheaf.blogspot.com/2026/07/note-on-hidden-shifts-as-hidden.html

1•unprovable•10m ago•0 comments

Nvidia Accelerates Chip Engineering with AI Agents

https://www.nextplatform.com/hpc/2026/07/27/nvidia-accelerates-chip-engineering-with-ai-agents/52...

2•rbanffy•12m ago•0 comments

Rem3Di: Learning smooth, chiral 3D molecular descriptors

https://arxiv.org/abs/2607.19977

1•rbanffy•13m ago•0 comments

Show HN: Wiki-like edit for Lean 4 project Physlib

https://jstoobysmith.github.io/PhyslibVerso/

1•leanexplorer•13m ago•0 comments

Thoughts about the Leiden Declaration by Timothy Gowers

https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/

1•subset•14m ago•0 comments

Ubiquitous Language is prompt engineering that humans can read

https://menelaos.vergis.net/posts/Why-Domain-Driven-Design-Is-a-Great-Fit-for-Coding-with-Claude

1•melenaos•22m ago•0 comments

How Data Centers Avoid Local Planning [video]

https://www.youtube.com/watch?v=UdxiyQAcwfM

2•mngnt•22m ago•0 comments

Subpostmasters anxious over Horizon replacement as it is delayed yet again

https://www.computerweekly.com/news/366646732/Subpostmasters-anxious-over-Horizon-replacement-as-...

1•latein•25m ago•0 comments

Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode

https://github.com/YoanWai/agent-manager

1•yoanwaidev•26m ago•0 comments

The Dutch alternative to sharing public code

https://code.overheid.nl/

1•pelasaco•28m ago•0 comments

With the Carina System, QuiX Pushes Photonic Quantum Computing Forward

https://www.nextplatform.com/compute/2026/07/29/with-the-carina-system-quix-pushes-photonic-quant...

1•rbanffy•28m ago•0 comments

Every Amazon SaaS claims to use AI

https://clarisix.com/blog/on-the-ai-claim

1•claudiuclement•30m ago•0 comments

Carolina Cloud pays SOFR on unused prepaid credits

https://docs.carolinacloud.io/organizations/prepaid-interest/

2•bojangleslover•32m ago•0 comments

Papers with open peer-review reports are less likely to be retracted

https://www.nature.com/articles/d41586-026-02282-1

1•Vinnl•32m ago•0 comments

Manganin: Tools Matter

https://blog.manganin.dev/blog/tools-matter/

1•birdculture•34m ago•0 comments

Airlines Race to Adopt AI 'Surveillance Pricing' That Could Kill Off Cheap Seats

https://simpleflying.com/airlines-ai-surveillance-pricing-cheap-seats/

2•thm•35m ago•1 comments

Tacos became Norway's national comfort food

https://www.bbc.com/travel/article/20260709-how-tacos-became-norways-national-comfort-food

1•koolhead17•35m ago•1 comments

Google's SynthID watermark is hard to break, but doesn't solve AI disinformation

https://arstechnica.com/ai/2026/07/tested-google-synthid-works-great-but-labeling-ai-content-may-...

1•thm•35m ago•1 comments

Open in hackernews

Ask HN: How are you handling production risks from AI generated code?

3•varda_62892•49m ago

Comments

__patchbit__•40m ago

AI says, "A proof is a program that computes the witness."

CapyToolkit•29m ago

If you are unsure about the AI generated code, it's better to not ship a risky product. You can also use 3rd party services for the most vulnerable areas of your product.

waqasai123•26m ago

I think the key is treating AI-generated code like code from a junior developer: review it carefully, test it thoroughly, and never assume it's correct just because it was generated.