frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Contributing to the Lean Mathlib Library – Tanner Duve

https://www.youtube.com/watch?v=GqsBVW3d_vc
1•abaradwaj•1h ago

Comments

abaradwaj•1h ago
Tanner Duve is a Member of Technical Staff at Logical Intelligence working on formal verification and compilers in Lean, an open-source contributor to Mathlib and CSLib, and a former D1 football player.

I sat down with him for a conversation about his work and his thoughts on the future of AI-assisted math formalization.

AI Music Startup Suno Bets Anyone Can Be a Rock Star

https://www.bloomberg.com/news/features/2026-08-11/suno-stares-down-universal-and-sony-to-reshape...
1•aanet•6m ago•1 comments

A new way to use Tidewave: from your terminal or editor

https://tidewave.ai/blog/tidewave-connect
1•mcadenhe•7m ago•0 comments

Receipt Parser API – Stop double-counting transactions when parsing receipts

https://ilovesreceipt.com/
1•api_dude_365•7m ago•0 comments

Watch movies TV shows and anime

https://github.com/wadecalvin9/Flux-Releases
1•KIRA404•9m ago•0 comments

PDD: Promotion Driven Development

https://medium.com/@quarterdome/promotion-driven-development-fbc6f48d43e8
1•sanj•9m ago•0 comments

Polymarket let users bet on wildfires. Lawmakers warn that could spur arson.

https://www.washingtonpost.com/nation/2026/08/12/polymarket-let-users-bet-wildfires-lawmakers-war...
2•bookofjoe•10m ago•2 comments

GPT Loves Chinese Gambling

https://awaitinginput.substack.com/p/gpt-loves-gambling-and-bumping-butts
1•bsovran•10m ago•0 comments

Gemma 4B vs. Gemini Flash on Tool Calling

https://neurometric.substack.com/p/gemma-4b-vs-gemini-flash-you-dont
1•robmay•12m ago•0 comments

I stopped caring about programming terms

https://teadriven.com/blog/why-i-stopped-caring-about-terminology/
1•ghassenfaidi•15m ago•0 comments

A BrAIve New World for Credit

https://lesbarclays.substack.com/p/a-braive-new-world-for-credit
1•lesbarclays•17m ago•0 comments

The cost of being too patient

https://www.nber.org/papers/w26677
2•AFF87•18m ago•0 comments

I Built a SaaS Business from Hostels and Coffee Shops

https://blog.pierrehenry.be/blog/how-i-built-a-saas-business-from-hostels-and-coffee-shops/
1•pierres7•18m ago•0 comments

Live stream from my solar-powered bird/weather station [video]

https://www.youtube.com/watch?v=sAC3o6KW2N0
1•arm32•18m ago•0 comments

Bespoke Websites for Emergencies Are an Active Thing

https://orner.net/posts/bespoke-websites-for-emergencies/
3•dogline•21m ago•1 comments

Reddit will require you to login to access old.reddit.com

https://www.reddit.com/r/modnews/comments/1ujtebf/logging_in_to_use_old_reddit/
2•ball_of_lint•22m ago•1 comments

Agents need the internet, and that is the problem

https://paodo-solution.com/posts/agents-need-the-internet
1•alxcls•23m ago•0 comments

Song Covers of All Time (2022)

https://happymag.tv/best-covers-of-all-time/
1•LouisLazaris•23m ago•0 comments

Japanese Self-Driving Startup Plans US Office, Targets $10B IPO

https://www.wsj.com/business/autos/japanese-self-driving-startup-plans-u-s-office-targets-10-bill...
3•aanet•27m ago•1 comments

AI is the next layer of software development

https://mcclowes.com/blog/2026/05/29/ai-is-just-another-layer
3•HunterXHamburge•28m ago•0 comments

Node.js creator liberates Durable Objects from Cloudflare

https://www.theregister.com/devops/2026/08/12/nodejs-creator-liberates-durable-objects-from-cloud...
3•galaxyLogic•29m ago•0 comments

I built a golf career management SIM (like Basketball GM, but golf)

https://www.rainydaygc.com/
1•mdstrobe•30m ago•0 comments

Show HN: Posts grew 6x since ChatGPT, but success rate remained relatively flat

https://www.orangecrumbs.com/stories/show-hn
1•oyster143•30m ago•1 comments

Digital freedom depends on access rights

https://blog.boulos.ca/p/digital-freedom-depends-on-access
2•jjleads•31m ago•0 comments

Process as a Proxy for Motivation

https://bengodfrey.dev/blog/process/
1•sudo-bendg•31m ago•0 comments

SIM Hijacking

https://github.com/lexs201992-gif/motorola-g04s-t606-spreadtrum/blob/main/Simjacker.yar
1•lexs201992-gif•36m ago•1 comments

Intriguing Stories in Computer Science

https://inventwithpython.com/blog/intriguing-stories-in-cs.html
1•gregsadetsky•36m ago•0 comments

Show HN: Decant – Understand how you spend tokens

https://github.com/dosu-ai/decant
5•devstein•36m ago•0 comments

Why is zero plural? (2024)

https://ell.stackexchange.com/questions/352455/why-is-zero-plural
2•downbad_•39m ago•1 comments

Bun v1.4 with an additional 1,493 passed tests from the Node test suite

https://twitter.com/bunjavascript/status/2087436767054213517
1•CrimsonRain•40m ago•1 comments

IBM Let Me Inside the Machine Nobody's Watching in the AI Race [video]

https://www.youtube.com/watch?v=SH00Rso79Gg
1•binyu•41m ago•0 comments