fp.

Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens

https://arxiv.org/abs/2607.26306

1•matt_d•59s ago•0 comments

Blocking LinkedIn extension fingerprinting with a bit of JavaScript

https://github.com/Hogwai/forbidd-in

1•ykthename•1m ago•0 comments

Show HN: Idea Miner – find what to build next, backed by real paid demand

https://idea-miner.com/en/

1•alexstarks•2m ago•0 comments

Secret tracking device placed in rare book ends up in Amazon processing

https://www.tomshardware.com/tech-industry/artificial-intelligence/secret-tracking-device-placed-...

1•sbulaev•2m ago•0 comments

An immediate mode UI (Shirei) retains component identity and state

https://judi.systems/shirei/blog/immediate-mode-retained-state/

1•hsn915•3m ago•0 comments

Idem – open-source ledger for stablecoin cross-border payments (Kotlin, FSL)

https://www.idem.finance/

1•idem-finance•3m ago•0 comments

Google Just Made It Easier for Campaigns to Send You Fund-Raising Emails

https://www.nytimes.com/2026/08/18/us/politics/google-political-campaigns-email-spam.html

1•ojbyrne•3m ago•0 comments

Automating quality support at scale: AI and human in the loop

https://www.windmill.dev/blog/support-automation

2•rubenfiszel•3m ago•1 comments

Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)

https://dl.acm.org/doi/10.1145/3828709

2•matt_d•3m ago•0 comments

The Mathematics of Economic Self-Destruction: Inside the "AI Layoff Trap"

https://sylvainsaurel.substack.com/p/the-mathematics-of-economic-self

1•tom2026hn•4m ago•1 comments

Ask HN: If you didn't know how to program, would you learn?

2•Retr0id•5m ago•0 comments

Humans aren't the only animals that seem to like having pets

https://www.nytimes.com/2026/08/18/science/humans-love-having-pets-seems-like-some-other-primates...

1•gumby•5m ago•0 comments

Seeing Circles, Sines, and Signals

https://jackschaedler.github.io/circles-sines-signals/

1•at1as•5m ago•0 comments

Linoleic acid–good or bad for the brain? – npj Science of Food

https://www.nature.com/articles/s41538-019-0061-9

1•bilsbie•5m ago•0 comments

Mojo has been open-sourced

https://github.com/modular/modular/pull/6904

1•melodyogonna•6m ago•0 comments

Are Beavers Actually Good at Dams?

https://practical.engineering/blog/2026/8/18/are-beavers-actually-good-at-dams

1•throw0101a•7m ago•0 comments

Portland Entrepreneurs in the Age of AI Ep. 1 [video]

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

1•mooreds•7m ago•0 comments

Doom on a C64

https://hondani.com/doom

1•dariosalvi78•8m ago•0 comments

Measuring how much of the sky is visible

https://www.counting-stuff.com/measuring-how-much-of-the-sky-is-visible/

1•speckx•8m ago•0 comments

U.S. Navy destroyer lost power for 4 days in South China Sea

https://www.washingtonpost.com/national-security/2026/08/17/us-navy-destroyer-lost-power-4-days-s...

2•throw0101a•9m ago•1 comments

Show HN: AI Games Prompt Atlas: a map of the games people ask to build

https://rosebud.ai/prompt-atlas

2•vladgl94•9m ago•0 comments

EC2's "isolation engine" provides mathematical assurance of VM isolation

https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-ass...

1•mooreds•10m ago•0 comments

Show HN: Pemdash - A small calculator overlay with proper operator precedence

https://github.com/skorotkiewicz/pemdash

1•modinfo•12m ago•0 comments

AMD Instinct Coder

https://www.spectrocloud.com/platform/amd-instinct-coder

1•galaxyLogic•12m ago•1 comments

Tech stocks weigh on Wall Street as Iran stalemate lifts oil, yields

https://www.reuters.com/business/us-stock-futures-drop-fading-iran-peace-hopes-lift-oil-bond-yiel...

1•tartoran•12m ago•0 comments

DataSmith: Automating Data Research to Beat Post-Train Bench

https://www.datologyai.com/blog/datasmith

1•circuithunter•13m ago•0 comments

Removing Self-Verification from AI Coding Agents in Octomind

https://octomind.run/blog/octomind-0-44-2-release

2•donk8r•14m ago•0 comments

Can a $5 VPS Run an AI Agent 24/7? We Tested Linode's Nanode in LAX Three Times

https://webbynode.com/articles/can-a-5-vps-run-an-ai-agent-24-7-linode-nanode-lax

2•gsgreen•14m ago•0 comments

Show HN: Cermet – allow github.push where owner = "suarezc" and name = "cermet"

Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens

Blocking LinkedIn extension fingerprinting with a bit of JavaScript

Show HN: Idea Miner – find what to build next, backed by real paid demand

Secret tracking device placed in rare book ends up in Amazon processing

An immediate mode UI (Shirei) retains component identity and state

Idem – open-source ledger for stablecoin cross-border payments (Kotlin, FSL)

Google Just Made It Easier for Campaigns to Send You Fund-Raising Emails

Automating quality support at scale: AI and human in the loop

Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)

The Mathematics of Economic Self-Destruction: Inside the "AI Layoff Trap"

Ask HN: If you didn't know how to program, would you learn?

Humans aren't the only animals that seem to like having pets

Seeing Circles, Sines, and Signals

Linoleic acid–good or bad for the brain? – npj Science of Food

Mojo has been open-sourced

Are Beavers Actually Good at Dams?

Portland Entrepreneurs in the Age of AI Ep. 1 [video]

Doom on a C64

Measuring how much of the sky is visible

U.S. Navy destroyer lost power for 4 days in South China Sea

Show HN: AI Games Prompt Atlas: a map of the games people ask to build

EC2's "isolation engine" provides mathematical assurance of VM isolation

Show HN: Pemdash - A small calculator overlay with proper operator precedence

AMD Instinct Coder

Tech stocks weigh on Wall Street as Iran stalemate lifts oil, yields

DataSmith: Automating Data Research to Beat Post-Train Bench

Removing Self-Verification from AI Coding Agents in Octomind

Can a $5 VPS Run an AI Agent 24/7? We Tested Linode's Nanode in LAX Three Times

Show HN: Cermet – allow github.push where owner = "suarezc" and name = "cermet"

PostgreSQL 19: What's New in Monitoring

An update to how we count public views across YouTube

Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens

Blocking LinkedIn extension fingerprinting with a bit of JavaScript

Show HN: Idea Miner – find what to build next, backed by real paid demand

Secret tracking device placed in rare book ends up in Amazon processing

An immediate mode UI (Shirei) retains component identity and state

Idem – open-source ledger for stablecoin cross-border payments (Kotlin, FSL)

Google Just Made It Easier for Campaigns to Send You Fund-Raising Emails

Automating quality support at scale: AI and human in the loop

Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)

The Mathematics of Economic Self-Destruction: Inside the "AI Layoff Trap"

Ask HN: If you didn't know how to program, would you learn?

Humans aren't the only animals that seem to like having pets

Seeing Circles, Sines, and Signals

Linoleic acid–good or bad for the brain? – npj Science of Food

Mojo has been open-sourced

Are Beavers Actually Good at Dams?

Portland Entrepreneurs in the Age of AI Ep. 1 [video]

Doom on a C64

Measuring how much of the sky is visible

U.S. Navy destroyer lost power for 4 days in South China Sea

Show HN: AI Games Prompt Atlas: a map of the games people ask to build

EC2's "isolation engine" provides mathematical assurance of VM isolation

Show HN: Pemdash - A small calculator overlay with proper operator precedence

AMD Instinct Coder

Tech stocks weigh on Wall Street as Iran stalemate lifts oil, yields

DataSmith: Automating Data Research to Beat Post-Train Bench

Removing Self-Verification from AI Coding Agents in Octomind

Can a $5 VPS Run an AI Agent 24/7? We Tested Linode's Nanode in LAX Three Times

Show HN: Cermet – allow github.push where owner = "suarezc" and name = "cermet"

PostgreSQL 19: What's New in Monitoring