fp.

Show HN: 3-SAT: Let me show you 500K variables

https://zenodo.org/records/23933428

1•8lamaster8•5m ago•0 comments

(Artificial) Intelligence as a political construct

https://aworkinglibrary.com/writing/toolmen

1•supriyo-biswas•5m ago•1 comments

Show HN: Recto – A tool that lets you visually edit what coding agents create

https://recto.design/

3•maroofkhan2007•8m ago•1 comments

Goldman Sachs Is Pulling Claude Code from Its Bankers and Traders

https://www.thestateofai.com/news/goldman-sachs-claude-code-traders-bankers

2•TheWiggles•9m ago•0 comments

Western Design Center

https://westerndesigncenter.com/wdc/

1•brcmthrowaway•14m ago•0 comments

Sem86: A Full-System Emulator Without Hard-Coded Semantics

https://liblisa.nl/sem86/

1•matt_d•19m ago•0 comments

NASA Seeks Next Generation of Explorers to Join Astronaut Corps

https://www.nasa.gov/news-release/nasa-seeks-next-generation-of-explorers-to-join-astronaut-corps/

1•phyzix5761•19m ago•0 comments

Rethinking Virtual Machine Monitors for Better Security in Clouds [pdf]

https://rusnikola.github.io/files/redwood-middleware26.pdf

1•matt_d•20m ago•0 comments

Show HN: Figma for Investing

https://www.aulico.com/tradespaces/new

1•rendernos•21m ago•0 comments

NASA seeks next generation of astronauts to live and work on the moon

https://www.theguardian.com/science/2026/nov/08/nasa-astronauts-moon-applications-open

3•devonnull•26m ago•0 comments

The efficiency trap: why optimising everything can backfire, badly

https://www.theguardian.com/books/2026/nov/08/the-efficiency-trap-why-optimising-everything-can-b...

4•billybuckwheat•26m ago•0 comments

The same work on a third of the tokens: tuning a fleet of coding agents

https://alexmarquardt.com/ai-tools/agent-fleet-token-efficiency/

2•alexmarquardt•27m ago•0 comments

Advanced Meditation Alters Consciousness and Our Basic Sense of Self

https://www.scientificamerican.com/article/advanced-meditation-alters-consciousness-and-our-basic...

1•mck-•27m ago•0 comments

Show HN: Email-like interface to review, decide, and annotate agent work

https://plannotator.ai/inbox/

4•ramoz•28m ago•0 comments

As budgets tighten, people are breaking out their library cards

https://www.npr.org/2026/11/05/nx-s1-5992908/libraries-and-cost-of-living

1•alamortsubite•29m ago•0 comments

Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof

https://github.com/Dr-Logvinovich/round-square/blob/main/README.md

4•DRLogvinovich•29m ago•0 comments

Show HN: Search Everywhere at Once. Instantly

https://antisoftworks.com/antifind

1•civnode•29m ago•0 comments

Free, classroom friendly Seterra replacement for map quizzes

https://whereisit.earth/

1•russpuppy•32m ago•0 comments

Design Fiction Mood Board

http://www.chrbutler.com/design-fiction-mood-board

2•delaugust•32m ago•0 comments

Designing an Always-On Agent

https://rubriclabs.com/blog/always-on-agents

1•handfuloflight•34m ago•0 comments

Tricking DeepSeek into Not Hacking Your Website

https://utkusen.substack.com/p/tricking-deepseek-into-not-hacking

2•utku1337•34m ago•0 comments

You Can't Speedrun Yourself

https://blog.cosmos-institute.org/p/you-cant-speedrun-yourself

2•Curiositry•34m ago•0 comments

Self Improving Software Factory

https://github.com/sis-factory/sis-factory

1•failfasterdaily•35m ago•0 comments

Running a Language Model on a $35 FPGA

https://nishtahir.com/running-a-language-model-on-an-fpga/

1•CarefreeCrayon•35m ago•0 comments

Show HN: psi, a 6.4 MB cross-platform portable coding agent in ANSI C & Lua

https://psicode.ai/

1•siraben•37m ago•0 comments

Show HN: Claude Code status line, hooks and permissions builders (in-browser)

https://orbtile.com/tools/claude-code-statusline-builder

1•diogomendes•38m ago•0 comments

Viscerality

https://map.simonsarris.com/p/viscerality

2•Curiositry•38m ago•0 comments

Show HN: Build a PC in 3D in the Browser

https://www.buildcores.com

1•ozaiworld•40m ago•1 comments

A proof that Z is Diophantine in Q

https://github.com/elliotglazer/diophantine-z-q

1•lisper•41m ago•0 comments

Russia's combat losses in the data of Rosstat

https://rosstat-leaks.com/

5•Teever•43m ago•0 comments