news newest ask show jobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Show HN: Polter – Agent Driven UI (react library)

https://mydatavalue.github.io/polter/

1•lemonade311•1m ago•0 comments

The Building Block Economy – Mitchell Hashimoto

https://mitchellh.com/writing/building-block-economy

1•futurecat•2m ago•0 comments

Untaxed hidden wealth surpasses wealth of the poorest half of humanity

https://www.oxfam.org/en/press-releases/untaxed-wealth-hidden-offshore-richest-01-surpasses-entir...

1•robtherobber•3m ago•0 comments

We're Getting the Wrong Message from Mythos

https://danielmiessler.com/blog/wrong-message-from-mythos

1•tobr•15m ago•0 comments

Mesurer: Measure and Align Everything on Localhost

https://mesurer.ibelick.com

1•handfuloflight•15m ago•0 comments

Supply chain attack on CPU-Z and HWMonitor

https://twitter.com/vxunderground/status/2042483067655262461

1•aprilnya•17m ago•1 comments

US plans to automatically register young men for military draft

https://www.bbc.com/news/articles/cd6lx2lpl9xo

2•georgecmu•20m ago•0 comments

Show HN: Open-Source MCP Servers – Twitter, Bluesky, LinkedIn, Google Ads, HN

https://github.com/isteamhq/mcp-servers

3•spotlayn•24m ago•0 comments

Elastic Tabstops (2006)

https://nick-gravgaard.com/elastic-tabstops/

1•dhruv3006•24m ago•0 comments

Show HN: Emduke32 – duke nukem 3D native in your web browser

https://originalsouth.github.io/emduke32/

1•originalsouth•27m ago•0 comments

Show HN: Hindsight Simulator – Go back in time and get rich

https://chrispattle.com/hindsight-simulator

3•pattle•28m ago•0 comments

Startup Focido joins the Limb accelerator

https://focido.com/

1•vladimir_fc•29m ago•0 comments

Running Terraform against Azure locally, without a subscription

https://topaz.thecloudtheory.com/blog/terraform-local-azure-no-subscription/

2•kamilmrzyglod•30m ago•0 comments

Show HN: Nvim plugin to jump to concrete interface implementation for Python

https://github.com/sigfriedCub1990/nvim.py_gti

1•sigfriedcub1990•31m ago•0 comments

TOON: Token-Oriented Object Notation

https://toonformat.dev/

2•pramodbiligiri•31m ago•0 comments

Kintify AI tool to analyze cloud issues and suggest fixes

1•kintify•32m ago•0 comments

Show HN: Mantyx – Agents that solve real problems for you and your business

https://mantyx.io/

2•mantyx•38m ago•0 comments

Architecting the Autonomous Enterprise with Agentic Workflows

https://viitorcloud.com/blog/ai-integration-services-for-agentic-workflows/

2•Olivia_Watson•39m ago•0 comments

I shipped a transaction bug, so I built a linter

https://leonh.fr/posts/go-transaction-linter/

1•leonhfr•39m ago•0 comments

Surelock

https://notes.brooklynzelenka.com/Blog/Surelock

1•lukastyrychtr•41m ago•0 comments

LLM Wiki v2 – extends Karpathy's take on LLM wiki

https://gist.github.com/rohitg00/2067ab416f7bbe447c1977edaaa681e2

1•rohitghumare•42m ago•0 comments

For AI, energy is the final frontier

https://m4ttl4w.substack.com/p/energy-the-final-frontier

1•mattyboomboom•43m ago•0 comments

We pay you 2x back if you follow the plan and miss your goal – 30 free codes

https://nano.com/

1•DiegoGilH•44m ago•0 comments

From $11/Month to $0: How I Used AI to Reclaim My Evening

https://www.rockoder.com/blog/website-migration/

2•ZacnyLos•46m ago•0 comments

Show HN: Keeper – embedded secret store for Go (help me break it)

https://github.com/agberohq/keeper

2•babawere•47m ago•0 comments

AI camera scanning cars issue 500k unjustified fines/year in the Nederlands

https://nltimes.nl/2026/04/09/camera-scanning-cars-issue-500000-unjustified-parking-fines-per-yea...

2•giuliomagnifico•48m ago•0 comments

Pizza Tycoon

https://store.steampowered.com/app/598990/Pizza_Connection/

2•doener•48m ago•0 comments

Sharp – Textured Display

https://blog.global.sharp/2025/05/16/21336/

1•TEHERET•50m ago•0 comments

Our Job Is to Understand

https://federicopereiro.com/our-job/

1•fpereiro•55m ago•0 comments

Scientists invented a fake disease. AI told people it was real

https://www.nature.com/articles/d41586-026-01100-y

22•latexr•56m ago•12 comments

Open in hackernews

Vera – A language designed for machines to write

https://veralang.dev/

14•joecobb•1d ago

Comments

hyperhello•1d ago

> Division by zero is not a runtime error — it is a type error.

Uh, help me out here, which kind of type error? You have a separate nonzero integer static type required for the denominator of the division operator?

3836293648•23h ago

Given the focus on static verification of contracts and orthogonality, surely the division operator also has one.

nojito•23h ago

Why use braces when you can use () and then auto balance them using a tool instead of having the llm count them?