fp.

Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean

https://github.com/skorotkiewicz/algebruh

1•modinfo•1m ago•0 comments

The "Compliance and Ethics" Angle (Safest)

https://kylesinvestigation.com/

1•mkyle71•2m ago•0 comments

Veritas Forge: Cryptographic proof layer for AI decisions

https://forge.aurochthryx.com

1•cartertbirchall•6m ago•0 comments

Optimizing software: Computing professor's 'egg' downsizes programs

https://techxplore.com/news/2026-08-optimizing-software-professor-egg-downsizes.html

1•theanonymousone•7m ago•0 comments

How to Detect AI Slop

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

1•casey2•7m ago•0 comments

ShowHN: OpenMetaLoop - autonomous long-horizon multi-session execution

https://github.com/openmetaloop/openmetaloop

1•IzhaarTejani•9m ago•1 comments

Show HN: SignalFusionKit – a watchOS sensor-fusion library for risk detection

https://github.com/izetg/SignalFusionKit

1•Ember_Wipe•10m ago•0 comments

Simulating the world with 83B persona agents

https://matraix.ai

1•anigbrowl•15m ago•0 comments

Attorney General seeks to block Discord in Brazil

https://valorinternational.globo.com/law/news/2026/08/07/attorney-general-seeks-to-block-discord-...

2•xinayder•17m ago•1 comments

Award Winning AI Literature

https://jamesyu.org/award-winning-ai-literature/

1•scarmig•19m ago•0 comments

The New Spy Race: For Agentic AI and Quantum Computing Threats

https://www.quantumhorizon.it/inside-the-new-spy-race-how-the-us-china-russia-israel-and-italy-ar...

1•remopulcini•20m ago•0 comments

TinySol, a tiny solitaire game for DOS

https://classicbits.net/coding-and-software/my-software/monosol/

2•skibz•22m ago•0 comments

Patchloom – structured file edits for AI agents (CLI and MCP)

https://github.com/patchloom/patchloom

1•SebTardif•23m ago•0 comments

Show HN: Clippy for macOS – retro floating paperclip with computer use

https://github.com/Ar9av/clippy

3•noobcoder•26m ago•0 comments

Jolt: Clojure compiler implemented with Chez Scheme

https://jolt-lang.github.io

1•mark_l_watson•26m ago•2 comments

Finite State Machines in Forth (1994)

https://www.forth.org/literature/noble.html

1•ofalkaed•27m ago•0 comments

Show HN: A Discord bot running in a 4MiB microVM

https://github.com/IanSeyler/BareMetal-Discord-Bot

1•ianseyler•30m ago•0 comments

Digital Sewer Socialism

https://pluralistic.net/2026/08/08/find-yourself-a-city/

3•hn_acker•31m ago•0 comments

Viagra May Slow the Spread of Cancer

https://nautil.us/viagra-may-slow-the-spread-of-cancer-1283519

2•Brajeshwar•34m ago•0 comments

Show HN: Piyaz – keep your team and agents aligned as software projects grow

https://piyaz.ai

1•mrsuit•35m ago•0 comments

NASA modded space station's laptops so everyone could use the same charger

https://www.tomshardware.com/tech-industry/space/nasa-modded-space-stations-laptops-so-everyone-c...

2•Stratoscope•36m ago•0 comments

Amazon Is Creating the Biggest Pollution Source in the Country

https://newrepublic.com/post/214111/amazon-data-center-biggest-pollution-source-entire-country

8•geox•37m ago•3 comments

Gemma Translator: offline DIY translation device built with Gemma 4 [video]

https://www.youtube.com/watch?v=4dNry5zP0Jo

1•pr337h4m•38m ago•0 comments

Aliasing

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

1•jxmorris12•39m ago•0 comments

If every person aimed a laser pointer at the Moon, would it change color?

https://what-if.xkcd.com/13/

1•Bluestein•40m ago•0 comments

Inflation: The Price of Nearly Everything

https://timeseriesofindia.com/economy/read/price-of-nearly-everything/

1•prtk25•40m ago•0 comments

Show HN: Postgres extension for stoping accidental mistakes

https://github.com/viggy28/pg_savior

1•vira28•41m ago•0 comments

Moving repository memory from ADRs to Specs to OKF

https://medium.com/@chalyi/moving-repository-memory-from-specs-to-okf-d1b6a45e9354

Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean

The "Compliance and Ethics" Angle (Safest)

Veritas Forge: Cryptographic proof layer for AI decisions

Optimizing software: Computing professor's 'egg' downsizes programs

How to Detect AI Slop

ShowHN: OpenMetaLoop - autonomous long-horizon multi-session execution

Show HN: SignalFusionKit – a watchOS sensor-fusion library for risk detection

Simulating the world with 83B persona agents

Attorney General seeks to block Discord in Brazil

Award Winning AI Literature

The New Spy Race: For Agentic AI and Quantum Computing Threats

TinySol, a tiny solitaire game for DOS

Patchloom – structured file edits for AI agents (CLI and MCP)

Show HN: Clippy for macOS – retro floating paperclip with computer use

Jolt: Clojure compiler implemented with Chez Scheme

Finite State Machines in Forth (1994)

Show HN: A Discord bot running in a 4MiB microVM

Digital Sewer Socialism

Viagra May Slow the Spread of Cancer

Show HN: Piyaz – keep your team and agents aligned as software projects grow

NASA modded space station's laptops so everyone could use the same charger

Amazon Is Creating the Biggest Pollution Source in the Country

Gemma Translator: offline DIY translation device built with Gemma 4 [video]

Aliasing

If every person aimed a laser pointer at the Moon, would it change color?

Inflation: The Price of Nearly Everything

Show HN: Postgres extension for stoping accidental mistakes

Moving repository memory from ADRs to Specs to OKF

Jolt: A Clojure compiler implemented on top of Chez Scheme

The boundaries of scholarly knowledge

Archie G. Norcross' Maine Forest Fire Maps (1918–22)

Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean

The "Compliance and Ethics" Angle (Safest)

Veritas Forge: Cryptographic proof layer for AI decisions

Optimizing software: Computing professor's 'egg' downsizes programs

How to Detect AI Slop

ShowHN: OpenMetaLoop - autonomous long-horizon multi-session execution

Show HN: SignalFusionKit – a watchOS sensor-fusion library for risk detection

Simulating the world with 83B persona agents

Attorney General seeks to block Discord in Brazil

Award Winning AI Literature

The New Spy Race: For Agentic AI and Quantum Computing Threats

TinySol, a tiny solitaire game for DOS

Patchloom – structured file edits for AI agents (CLI and MCP)

Show HN: Clippy for macOS – retro floating paperclip with computer use

Jolt: Clojure compiler implemented with Chez Scheme

Finite State Machines in Forth (1994)

Show HN: A Discord bot running in a 4MiB microVM

Digital Sewer Socialism

Viagra May Slow the Spread of Cancer

Show HN: Piyaz – keep your team and agents aligned as software projects grow

NASA modded space station's laptops so everyone could use the same charger

Amazon Is Creating the Biggest Pollution Source in the Country

Gemma Translator: offline DIY translation device built with Gemma 4 [video]

Aliasing

If every person aimed a laser pointer at the Moon, would it change color?

Inflation: The Price of Nearly Everything

Show HN: Postgres extension for stoping accidental mistakes

Moving repository memory from ADRs to Specs to OKF

Jolt: A Clojure compiler implemented on top of Chez Scheme

The boundaries of scholarly knowledge