fp.

GCC steering committee announces AI policy

https://lwn.net/Articles/1086041/

1•arto•31s ago•0 comments

Are We Stuck with Lean?

https://mathoverflow.net/questions/513742/are-we-stuck-with-lean

1•jjgreen•1m ago•0 comments

"Oopsies " FreeBSD Devs Say There's Still GPL in the Kernel

https://fossforce.com/2026/07/oopsies-freebsd-devs-say-theres-still-gpl-in-the-kernel/

2•richij•3m ago•1 comments

Pokémon Red and Blue Mod Turns the Game Boy Games into a Gorgeous 3D Diorama

https://kotaku.com/pokemon-red-blue-recompilation-project-voxel-3d-mod-2000720281

2•throwaway270925•4m ago•0 comments

Show HN: Invisible color – Daily logical puzzle

https://www.invisible-color.xyz/

1•wrongful1520•11m ago•0 comments

Amazon finds cases of AI causing runaway spending on tech projects

https://www.ft.com/content/77baac40-d803-4084-94f3-a133653072cf

1•adrianhon•11m ago•1 comments

Nscale to Buy Anyscale for $1.65B

https://www.bloomberg.com/news/articles/2026-07-30/nscale-to-buy-ai-software-startup-anyscale-for...

1•marc__1•12m ago•0 comments

I made a game where you build a CPU from logic gates

https://select.supply/game/chipbuilder

1•laurentiurad•13m ago•1 comments

67% of Americans worry leaders pressuring officials to alter election results

https://news.gallup.com/poll/712955/election-concerns-run-high-ahead-2026-midterms.aspx

1•giuliomagnifico•13m ago•0 comments

The First Chatbot's Multiple Personalities

https://spectrum.ieee.org/eliza-chatbot-source-code

1•sohkamyung•15m ago•0 comments

ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms

https://www.bloomberg.com/news/articles/2026-07-29/chatgpt-roblox-to-fall-under-strictest-eu-rule...

5•ch_sm•15m ago•1 comments

Lean 4 Bug Found Incidentally by AI, "Proving" Collatz

https://twitter.com/gro_tsen/status/2082483878480977959

1•jryan49•16m ago•0 comments

Audio8 TTS Preview 0.6B: multilingual TTS model with zero-shot voice cloning

https://huggingface.co/Audio8/Audio8-TTS-Preview-0.6b

1•nateb2022•17m ago•0 comments

You can't solve computer use by ignoring the interface

https://steelmanlabs.com/blog/computer-use-is-far-from-solved

6•mpavlov•17m ago•0 comments

Cameron's World

https://www.cameronsworld.net

1•adityaathalye•19m ago•0 comments

Binary is the best way to count [video] (2023)

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

1•basilikum•21m ago•0 comments

Were this summer's heatwaves caused by El Niño, or something more terrifying?

https://www.irishtimes.com/opinion/2026/07/28/eamon-ryan-were-this-summers-heatwaves-caused-by-el...

1•simmerup•22m ago•0 comments

Gates Heir's Shopping App Claimed Sales It Didn't Drive

https://www.bloomberg.com/news/articles/2026-07-09/gates-heir-s-shopping-app-took-credit-for-sale...

1•mgh2•22m ago•2 comments

3D Pinball for Windows (1995)

https://98.js.org/programs/pinball/space-cadet.html

2•mushstory•23m ago•0 comments

'My life's screwed': Korean investors stress out after AI bubble bursts

https://www.ft.com/content/23f388eb-e8ab-4fb1-b1ca-8e04eb4561a1

5•scrlk•23m ago•1 comments

Email Storm

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

1•thinkingemote•25m ago•0 comments

Best Python Frameworks for 2026

https://duckframework.com/blog/6-best-python-frameworks-for-2026-and-the-one-most-lists-get-wrong

1•digreatbrian•27m ago•0 comments

Sarvam Code

https://www.sarvam.ai/products/coding-agents

1•pixxxel•28m ago•0 comments

Design and simulate 16×2 or 20×4 Arduino displays in seconds

https://www.pockeng.com/tools/lcd.html

1•levario•29m ago•0 comments

My 3 SaaS are evaporating. RIP indie hacking (2018-2026)

https://twitter.com/gherget/status/2082784434726592780

2•gaborme•34m ago•1 comments

Excessive time spent online linked to stress and worse mood – study

https://www.theguardian.com/technology/2026/jul/29/excessive-time-spent-online-linked-to-stress-a...

5•giuliomagnifico•36m ago•0 comments

Cleaning Out Inboxes: TA488 Comes for Outlook with Another Half-Click Exploit

https://www.proofpoint.com/us/blog/threat-insight/cleaning-out-inboxes-ta488-comes-outlook-anothe...

1•romaniitedomum•36m ago•0 comments

Our Research Team Developed a More Efficient Audio Embedding Model

https://www.edgeimpulse.com/blog/how-our-research-team-developed-a-more-efficient-audio-embedding...

1•dansitu•37m ago•0 comments

Show HN: Claude Skill for ASD-STE100 – Simplified English

https://github.com/blagoySimandov/asd-ste100-writer-skill

2•blagoysimandoff•41m ago•0 comments

Copy Error in Apple's Developer Program Signup Screen

https://drive.google.com/file/d/1Pn5MNH-vaIKVOqZyueLQq_5a7psra9BL/view?usp=sharing

1•rcshubhadeep•42m ago•1 comments

GCC steering committee announces AI policy

Are We Stuck with Lean?

"Oopsies " FreeBSD Devs Say There's Still GPL in the Kernel

Pokémon Red and Blue Mod Turns the Game Boy Games into a Gorgeous 3D Diorama

Show HN: Invisible color – Daily logical puzzle

Amazon finds cases of AI causing runaway spending on tech projects

Nscale to Buy Anyscale for $1.65B

I made a game where you build a CPU from logic gates

67% of Americans worry leaders pressuring officials to alter election results

The First Chatbot's Multiple Personalities

ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms

Lean 4 Bug Found Incidentally by AI, "Proving" Collatz

Audio8 TTS Preview 0.6B: multilingual TTS model with zero-shot voice cloning

You can't solve computer use by ignoring the interface

Cameron's World

Binary is the best way to count [video] (2023)

Were this summer's heatwaves caused by El Niño, or something more terrifying?

Gates Heir's Shopping App Claimed Sales It Didn't Drive

3D Pinball for Windows (1995)

'My life's screwed': Korean investors stress out after AI bubble bursts

Email Storm

Best Python Frameworks for 2026

Sarvam Code

Design and simulate 16×2 or 20×4 Arduino displays in seconds

My 3 SaaS are evaporating. RIP indie hacking (2018-2026)

Excessive time spent online linked to stress and worse mood – study

Cleaning Out Inboxes: TA488 Comes for Outlook with Another Half-Click Exploit

Our Research Team Developed a More Efficient Audio Embedding Model

Show HN: Claude Skill for ASD-STE100 – Simplified English

Copy Error in Apple's Developer Program Signup Screen

Code Page 437

GCC steering committee announces AI policy

Are We Stuck with Lean?

"Oopsies " FreeBSD Devs Say There's Still GPL in the Kernel

Pokémon Red and Blue Mod Turns the Game Boy Games into a Gorgeous 3D Diorama

Show HN: Invisible color – Daily logical puzzle

Amazon finds cases of AI causing runaway spending on tech projects

Nscale to Buy Anyscale for $1.65B

I made a game where you build a CPU from logic gates

67% of Americans worry leaders pressuring officials to alter election results

The First Chatbot's Multiple Personalities

ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms

Lean 4 Bug Found Incidentally by AI, "Proving" Collatz

Audio8 TTS Preview 0.6B: multilingual TTS model with zero-shot voice cloning

You can't solve computer use by ignoring the interface

Cameron's World

Binary is the best way to count [video] (2023)

Were this summer's heatwaves caused by El Niño, or something more terrifying?

Gates Heir's Shopping App Claimed Sales It Didn't Drive

3D Pinball for Windows (1995)

'My life's screwed': Korean investors stress out after AI bubble bursts

Email Storm

Best Python Frameworks for 2026

Sarvam Code

Design and simulate 16×2 or 20×4 Arduino displays in seconds

My 3 SaaS are evaporating. RIP indie hacking (2018-2026)

Excessive time spent online linked to stress and worse mood – study

Cleaning Out Inboxes: TA488 Comes for Outlook with Another Half-Click Exploit

Our Research Team Developed a More Efficient Audio Embedding Model

Show HN: Claude Skill for ASD-STE100 – Simplified English

Copy Error in Apple's Developer Program Signup Screen