fp.

The Rust on ESP Book

https://docs.espressif.com/projects/rust/book/

1•AlexeyBrin•2m 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•2m ago•0 comments

wsp: Multi-Repo Workspace Manager

https://github.com/jganoff/wsp

1•nonrecursive•7m ago•0 comments

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

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

1•mdp2021•8m 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•10m 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•10m 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•11m ago•0 comments

Medieval Football

https://en.wikipedia.org/wiki/Medieval_football

2•marvinborner•15m 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•16m ago•0 comments

Triton: DirectX 11 driver for QEMU

https://blog.getutm.app/2026/introducing-triton-directx-11-driver-for-qemu/

1•JustSkyfall•25m ago•0 comments

Libdog: Token-Level Revision Control

https://github.com/gritzko/libdog/blob/main/README.md

1•gritzko•26m ago•0 comments

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

https://github.com/gojargo/jargo

1•fallais•26m ago•0 comments

League of Legends designer shares game design field manual

https://areadenial.games/design/preface#00-01

1•jmanjmanjman•26m ago•1 comments

D – Google'da Ara

https://www.google.com/search?q=d&oq=d&sourceid=chrome&ie=UTF-8

1•nplcreator•30m ago•0 comments

Conflict Resolution

https://en.wikipedia.org/wiki/Conflict_resolution

1•nill0•34m 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•35m ago•0 comments

Presearch Has Shut Down

https://news.presearch.io/a-message-from-the-presearch-team-aaa448052b2b

2•paulnpace•35m ago•0 comments

Japanese Lottery Tickets

https://designreviewed.com/50-japanese-lottery-tickets/

1•Michelangelo11•41m ago•0 comments

Show HN: Smriti: Your Photos, Your Memories

https://chivukulavirinchi.github.io/photovault/

1•virinchi_cv•42m ago•0 comments

Games of Incomplete Information(2002) [pdf]

https://web.stanford.edu/~jdlevin/Econ%20203/Bayesian.pdf

1•nill0•43m ago•0 comments

AIs-welcome Lean library downstream of Mathlib

https://github.com/TauCetiProject/TauCeti

1•MADEinPARIS•45m ago•0 comments

Quil – a reboot-proof terminal multiplexer that resumes AI sessions

https://github.com/artyomsv/quil

1•artyomsv•50m ago•0 comments

The math of traffic jams and how to avoid them

https://theconversation.com/dont-change-lanes-the-maths-of-holiday-traffic-jams-287389

1•beardyw•50m ago•0 comments

Jensen Huang's $75M gift to Vanderbilt argues art decides what technology is for

https://fortune.com/2026/07/23/why-did-jensen-huang-donate-75-million-to-art-school-vanderbilt-un...

1•theanonymousone•53m ago•0 comments

Why Would Meta Download So Much Porn?

https://www.theatlantic.com/technology/2026/07/meta-strike-3-porn-lawsuit/688023/

4•hebelehubele•53m ago•3 comments

A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf]

https://www.boazbarak.org/Papers/nuclear-zk.pdf

1•nill0•53m ago•0 comments

Why My Open-Source Project Hasn't Done Better

1•yohji1984•54m ago•0 comments

CP/M-68K and Motorola 68000 Emulator

https://kobolt.github.io/article-264.html

1•AlexeyBrin•55m ago•0 comments

Type checker may be wrong – Lean and the Curry-Howard correspondence

https://max-amb.github.io/blog/your_type_checker_may_be_wrong/

1•max-amb•57m ago•1 comments

Show HN: Cygnus – A fast, lightweight self-hostable serverless runtime and PaaS

https://cygnus.run

2•ccheshirecat•57m ago•0 comments

The Rust on ESP Book

Using government procurement for greener AI

wsp: Multi-Repo Workspace Manager

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

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

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

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

Medieval Football

A downloads organizer is being used to intercept ScreenConnect scam downloads

Triton: DirectX 11 driver for QEMU

Libdog: Token-Level Revision Control

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

League of Legends designer shares game design field manual

D – Google'da Ara

Conflict Resolution

Grandmother says staged arrest for reality TV show left her injured

Presearch Has Shut Down

Japanese Lottery Tickets

Show HN: Smriti: Your Photos, Your Memories

Games of Incomplete Information(2002) [pdf]

AIs-welcome Lean library downstream of Mathlib

Quil – a reboot-proof terminal multiplexer that resumes AI sessions

The math of traffic jams and how to avoid them

Jensen Huang's $75M gift to Vanderbilt argues art decides what technology is for

Why Would Meta Download So Much Porn?

A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf]

Why My Open-Source Project Hasn't Done Better

CP/M-68K and Motorola 68000 Emulator

Type checker may be wrong – Lean and the Curry-Howard correspondence

Show HN: Cygnus – A fast, lightweight self-hostable serverless runtime and PaaS

Personal context data isn't a moat, tacit knowledge is

The Rust on ESP Book

Using government procurement for greener AI

wsp: Multi-Repo Workspace Manager

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

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

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

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

Medieval Football

A downloads organizer is being used to intercept ScreenConnect scam downloads

Triton: DirectX 11 driver for QEMU

Libdog: Token-Level Revision Control

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

League of Legends designer shares game design field manual

D – Google'da Ara

Conflict Resolution

Grandmother says staged arrest for reality TV show left her injured

Presearch Has Shut Down

Japanese Lottery Tickets

Show HN: Smriti: Your Photos, Your Memories

Games of Incomplete Information(2002) [pdf]

AIs-welcome Lean library downstream of Mathlib

Quil – a reboot-proof terminal multiplexer that resumes AI sessions

The math of traffic jams and how to avoid them

Jensen Huang's $75M gift to Vanderbilt argues art decides what technology is for

Why Would Meta Download So Much Porn?

A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf]

Why My Open-Source Project Hasn't Done Better

CP/M-68K and Motorola 68000 Emulator

Type checker may be wrong – Lean and the Curry-Howard correspondence

Show HN: Cygnus – A fast, lightweight self-hostable serverless runtime and PaaS