fp.

Proofs are cheap now. Specs are next

https://www.genproof.com/blog/quickproof

1•torutofu•30s ago•0 comments

Amazon Kiro proves properties of its own harness in Lean

https://kiro.dev/blog/harness-properties-in-lean/

1•wenc•37s ago•0 comments

I converted 661M rows of Texas oil and gas data from mainframe dumps

https://texasrrcapi.com/

1•t_wright•43s ago•1 comments

Show HN: Scan-to-vector – rebuild scanned pages as vector PDFs with an AI agent

https://github.com/3351666087/scan-to-vector-skill

1•Null3351•1m ago•1 comments

Typographical Mistakes That Had Major Historical Consequences

https://www.oddee.com/6-typographical-mistakes-that-had-major-historical-consequences-80560/

1•nephihaha•2m ago•0 comments

Show HN: Chinese sentence checker with pinyin and English explanations

https://sentencecoach.com/chinese-grammar-checker

1•eatfreshapple•2m ago•0 comments

Musk Faces Setback as SpaceX and Tesla Stocks Tumble on Midterm Election Results

https://www.nytimes.com/2026/11/04/business/musk-elections-spacex-tesla-stocks.html

1•cdrnsf•2m ago•0 comments

Axion 1.0, an open agent foundation model

https://axion1-0.github.io/

1•rdg42•3m ago•0 comments

An AI agent's first 73 days, counted: 0 buyers, 8 pieces, 2 readers

https://pub-a941bfd863a24f91a60e6c4979c18a84.r2.dev/pi-sandbox-uploads/349868185312301056/2026-11...

1•lilykept•5m ago•0 comments

Automated Secret Rotation Is Chaos Engineering for Your Identity Plane

https://infisical.com/blog/automated-secret-rotation

1•FinnLobsien•5m ago•0 comments

The Post-Code Generation

https://andreinc.net/2026/10/26/the-post-code-generation/

1•speckx•5m ago•0 comments

Swatch Internet Time: 1k Beats per Day

https://whatbmt.com/

1•jakubf•6m ago•0 comments

Communist Hungary and its Arab informers

https://www.karlsnotes.com/communist-hungary-and-its-arab-informers/

1•valkrieco•6m ago•0 comments

3D-printed brick phone brings back the art of simply answering calls

https://www.designboom.com/technology/anti-distraction-handset-device-3d-printed-brick-phone-kevi...

1•surprisetalk•6m ago•0 comments

Show HN: The HTML Library of Babel

https://library.stone-red.net/

1•Stone_Red•7m ago•0 comments

Snowflake's AI_PARSE_DOCUMENT got an agentic mode

https://www.sfrt.io/snowflakes-ai_parse_document-got-an-agentic-mode/

1•sfrt•7m ago•0 comments

I Wrote a Book: The Art and Science of LLM Jailbreaking

https://leanpub.com/theartandscienceofllmjailbreaking

1•danllm•8m ago•0 comments

SpaceX Selects Qualcomm to Accelerate Starlink Mobile's Nationwide 5G Network

https://www.qualcomm.com/news/releases/2026/11/spacex-selects-qualcomm-to-accelerate-starlink-mob...

2•rtutz•9m ago•1 comments

Show HN: I wanted OpenSCAD with fillets and a C-like language. So I made one

https://hackerscad.com/

1•trikko•11m ago•0 comments

App that feels better then pintrest in wallpapers

https://wallpaperlab.vercel.app/

1•anonymousdevapp•13m ago•0 comments

Eric Conveys an Emotion

https://emotioneric.com/

1•kleiba2•13m ago•0 comments

How we built Lovable, and why we keep rebuilding it

https://lovable.dev/blog/how-we-built-lovable-and-why-we-keep-rebuilding-it

7•MaxGfeller•14m ago•2 comments

Old, Polluting Jet Engines Are Being Scavenged to Power Data Centers

https://www.nytimes.com/2026/11/03/climate/jet-engines-ai-data-center-generators-boneyard.html

2•leephillips•14m ago•0 comments

Mocktastic: A Meshtastic Node on Arduino

https://github.com/Vapmuz/Mocktastic

2•kimi•15m ago•0 comments

JobsWorkers – A marketplace for home and personal services

https://jobsworkers.com/

1•JobsWorkers•15m ago•0 comments

MCP vs. API vs. CLI: How should AI agents connect to your app?

https://wasp.sh/blog/2026/11/03/mcp-vs-api-vs-cli-connect-ai-agents-to-your-app

4•viborcip•15m ago•0 comments

Developers Are Getting RAIded

https://www.nickbevers.dev/blog/developers-are-getting-r-ai-ded

1•moebrowne•16m ago•0 comments

Five rules for evaluating agent skills before they bloat your context window

https://cloud.google.com/blog/topics/developers-practitioners/evaluate-agent-skills-before-they-b...

2•richards•17m ago•0 comments

Nvidia CEO Hints at Annual GPU Subscription Fees, Software Licensing Growth

https://windowsreport.com/nvidia-ceo-hints-at-annual-gpu-subscription-fees-says-software-licensin...

2•iamnothere•18m ago•0 comments

AI cannot be separated from the thought that is making it

https://openwisdom.substack.com/p/an-urgent-message-on-artificial-intelligence

1•0x4e•19m ago•0 comments

Proofs are cheap now. Specs are next

Amazon Kiro proves properties of its own harness in Lean

I converted 661M rows of Texas oil and gas data from mainframe dumps

Show HN: Scan-to-vector – rebuild scanned pages as vector PDFs with an AI agent

Typographical Mistakes That Had Major Historical Consequences

Show HN: Chinese sentence checker with pinyin and English explanations

Musk Faces Setback as SpaceX and Tesla Stocks Tumble on Midterm Election Results

Axion 1.0, an open agent foundation model

An AI agent's first 73 days, counted: 0 buyers, 8 pieces, 2 readers

Automated Secret Rotation Is Chaos Engineering for Your Identity Plane

The Post-Code Generation

Swatch Internet Time: 1k Beats per Day

Communist Hungary and its Arab informers

3D-printed brick phone brings back the art of simply answering calls

Show HN: The HTML Library of Babel

Snowflake's AI_PARSE_DOCUMENT got an agentic mode

I Wrote a Book: The Art and Science of LLM Jailbreaking

SpaceX Selects Qualcomm to Accelerate Starlink Mobile's Nationwide 5G Network

Show HN: I wanted OpenSCAD with fillets and a C-like language. So I made one

App that feels better then pintrest in wallpapers

Eric Conveys an Emotion

How we built Lovable, and why we keep rebuilding it

Old, Polluting Jet Engines Are Being Scavenged to Power Data Centers

Mocktastic: A Meshtastic Node on Arduino

JobsWorkers – A marketplace for home and personal services

MCP vs. API vs. CLI: How should AI agents connect to your app?

Developers Are Getting RAIded

Five rules for evaluating agent skills before they bloat your context window

Nvidia CEO Hints at Annual GPU Subscription Fees, Software Licensing Growth

AI cannot be separated from the thought that is making it

Proofs are cheap now. Specs are next

Amazon Kiro proves properties of its own harness in Lean

I converted 661M rows of Texas oil and gas data from mainframe dumps

Show HN: Scan-to-vector – rebuild scanned pages as vector PDFs with an AI agent

Typographical Mistakes That Had Major Historical Consequences

Show HN: Chinese sentence checker with pinyin and English explanations

Musk Faces Setback as SpaceX and Tesla Stocks Tumble on Midterm Election Results

Axion 1.0, an open agent foundation model

An AI agent's first 73 days, counted: 0 buyers, 8 pieces, 2 readers

Automated Secret Rotation Is Chaos Engineering for Your Identity Plane

The Post-Code Generation

Swatch Internet Time: 1k Beats per Day

Communist Hungary and its Arab informers

3D-printed brick phone brings back the art of simply answering calls

Show HN: The HTML Library of Babel

Snowflake's AI_PARSE_DOCUMENT got an agentic mode

I Wrote a Book: The Art and Science of LLM Jailbreaking

SpaceX Selects Qualcomm to Accelerate Starlink Mobile's Nationwide 5G Network

Show HN: I wanted OpenSCAD with fillets and a C-like language. So I made one

App that feels better then pintrest in wallpapers

Eric Conveys an Emotion

How we built Lovable, and why we keep rebuilding it

Old, Polluting Jet Engines Are Being Scavenged to Power Data Centers

Mocktastic: A Meshtastic Node on Arduino

JobsWorkers – A marketplace for home and personal services

MCP vs. API vs. CLI: How should AI agents connect to your app?

Developers Are Getting RAIded

Five rules for evaluating agent skills before they bloat your context window

Nvidia CEO Hints at Annual GPU Subscription Fees, Software Licensing Growth

AI cannot be separated from the thought that is making it

Show HN: TerminalLynx – Cloud-like SSH device and team sync, without the cloud