frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

AIs-welcome Lean library downstream of Mathlib

https://github.com/TauCetiProject/TauCeti
1•MADEinPARIS•1h ago

Trump administration admits clean energy grants were canceled based on politics

https://www.clickondetroit.com/news/politics/2026/07/25/trump-administration-admits-grants-for-cl...
1•zzzeek•1m ago•0 comments

KFC delivery to Ukraine's front line

https://xcancel.com/antibot/captcha
1•tim333•2m ago•0 comments

A shell colon does nothing. Use it anyway.

https://refp.se/articles/your-shell-and-the-magic-colon
1•olexsmir•2m ago•0 comments

Harddrive Is Probably Full

https://www.marginalia.nu/log/a_139_hdd/
1•ilreb•3m ago•0 comments

Corporate America Has Suddenly Decided to Stop Blowing Money on AI

https://www.wsj.com/business/china-us-ai-model-costs-53a12e96
1•1vuio0pswjnm7•3m ago•0 comments

If another advanced civilization lived on Earth before us, would we know?

https://www.cnn.com/2026/07/25/climate/silurian-hypothesis-another-civilization-before-humans
1•breve•6m ago•0 comments

Codeberg is blocking LLM generated code

https://codeberg.org/Codeberg/org/compare/17bdb39b0c1ecd0e423f3ba592650ce57fcdfbf5..71149c7fc95cc...
2•yofabr•6m ago•0 comments

Show HN: I built sticky notes that connects to Apple Calendar and Reminders

https://www.noticky.app/en
1•leotryhard•8m ago•0 comments

Conversation Is Being Recorded. They All Are

https://www.wsj.com/lifestyle/workplace/ai-recording-apps-wearables-granola-39727559
1•Elefante•9m ago•0 comments

What are you getting paid in? (2024)

https://www.approachwithalacrity.com/p/what-are-you-getting-paid-in
1•Redoubts•14m ago•0 comments

Hans Moravec Was Right About AI. What He Thinks Comes Next

https://nymag.com/intelligencer/article/hans-moravec-interview.html
1•ripe•14m ago•1 comments

Bitchat Is Now on Radicle

https://radicle.network/nodes/rosa.radicle.network/rad%3Az2v9tRJz1oknFAqCSY5W5c76nVvm6
1•h1watt•17m ago•0 comments

The Rust on ESP Book

https://docs.espressif.com/projects/rust/book/
1•AlexeyBrin•20m ago•0 comments

Using government procurement for greener AI

https://datasociety.net/research-library/greening-ai-in-the-public-sector-an-introductory-handboo...
1•shelbel•21m ago•0 comments

wsp: Multi-Repo Workspace Manager

https://github.com/jganoff/wsp
1•nonrecursive•26m ago•0 comments

Is Trump Forcing Mastercard and Visa on Brazil (auth: TLDR News) (+ abridgement)

https://www.youtube.com/watch?v=TSlnS4cYEUs
1•mdp2021•26m ago•1 comments

Native Kubuntu and Steam on Galaxy XR (KWin VR and Monado)

https://old.reddit.com/r/Galaxy_XR/comments/1v587tn/native_kubuntu_and_steam_on_galaxy_xr_kwin_vr/
1•bthallplz•28m ago•0 comments

A (Moderate and Nuanced) Analysis of Backrooms, Obsession and Theaters in 2026

https://entertainment.substack.com/p/a-moderate-and-nuanced-analysis-of
1•Michelangelo11•29m ago•0 comments

HP admits 30% of PCs reject Windows 11, and it's why Microsoft caved on support

https://www.windowslatest.com/2026/07/24/hp-admits-30-of-pcs-still-run-windows-10-rejecting-windo...
2•theanonymousone•30m ago•0 comments

Medieval Football

https://en.wikipedia.org/wiki/Medieval_football
2•marvinborner•33m ago•0 comments

A downloads organizer is being used to intercept ScreenConnect scam downloads

https://straycode.dev/blog/how-a-simple-downloads-organizer-is-being-used-to-stop-screenconnect-s...
2•murzynalbinos•35m ago•0 comments

Triton: DirectX 11 driver for QEMU

https://blog.getutm.app/2026/introducing-triton-directx-11-driver-for-qemu/
2•JustSkyfall•44m ago•0 comments

Libdog: Token-Level Revision Control

https://github.com/gritzko/libdog/blob/main/README.md
1•gritzko•44m ago•0 comments

Show HN: Jargo, a Go port of Pipecat for building realtime voice agents

https://github.com/gojargo/jargo
1•fallais•44m ago•0 comments

League of Legends designer shares game design field manual

https://areadenial.games/design/preface#00-01
4•jmanjmanjman•44m ago•1 comments

D – Google'da Ara

https://www.google.com/search?q=d&oq=d&sourceid=chrome&ie=UTF-8
1•nplcreator•48m ago•0 comments

Conflict Resolution

https://en.wikipedia.org/wiki/Conflict_resolution
1•nill0•52m ago•0 comments

Grandmother says staged arrest for reality TV show left her injured

https://www.cnn.com/2026/07/25/us/grandmother-arrest-police-reality-show
2•Tomte•53m ago•0 comments

Presearch Has Shut Down

https://news.presearch.io/a-message-from-the-presearch-team-aaa448052b2b
2•paulnpace•54m ago•0 comments

Japanese Lottery Tickets

https://designreviewed.com/50-japanese-lottery-tickets/
1•Michelangelo11•59m ago•0 comments