fp.

New mandatory Gmail, your Android storage needs may increase

2•newsoftheday•50s ago•0 comments

Reverse Engineered the Plank Scale, Found an XOR

https://github.com/Michael-Ax64/K4-CompilingReality/blob/main/quantum/Q10-PlanckScale.md

1•michael-ax•3m ago•1 comments

JustREPL: A no-AI coding playground

https://justrepl.com

1•sharpshootersl•4m ago•1 comments

Introduction to Formal Verification with Lean Part 1

https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)

1•badcryptobitch•6m ago•0 comments

The Derelict (2015)

https://www.damninteresting.com/the-derelict/

1•EndXA•10m ago•0 comments

I Made 11 AI Agents Do My Job. Here's What Happened

https://hackenewhome.blogspot.com/p/my-take-on-ai-vc-benchmark-bloggers.html

1•AllForAll•15m ago•0 comments

Show HN: Free, curated prompts for AI image, video and music

https://ahaprompt.app

1•weijunext•16m ago•0 comments

The neutrality project – Making the politics inside AI measurable

https://neutralityproject.org/

1•amai•18m ago•0 comments

Show HN: A self-correcting algebraic agent swarm

https://github.com/Michael-Ax64/K4-AlgebraicSwarm

1•michael-ax•19m ago•0 comments

Petals: Collaborative Inference and Fine-Tuning of Large Models

https://arxiv.org/abs/2209.01188

2•rglover•19m ago•0 comments

The Economics of LLM Profits: HyperScalers, or Labs?

https://davidmanheim.com/AI-Economics/

2•davidmanheim•21m ago•1 comments

Show HN: Bribes.fyi – Built something to report bribes

https://bribes.fyi/

2•neverenderr•24m ago•0 comments

I analyzed 30 days of traffic hitting my homelab reverse proxy

https://www.reddit.com/r/selfhosted/s/O19M2uKF8j

1•frizlab•28m ago•0 comments

Investigation reveals disguised gambling apps on the App Store Brazil

https://9to5mac.com/2026/07/17/investigation-reveals-dozens-of-disguised-gambling-apps-on-the-app...

2•thm•28m ago•0 comments

OpenShip

https://openship.io

1•jasoncartwright•28m ago•0 comments

The New Washington Temptation Inside Information and a Prediction Market Account

https://www.wsj.com/politics/policy/dc-government-prediction-market-betting-8134c3fc

2•thm•29m ago•0 comments

Getting organized: personal inventory management

https://janschutte.com/posts/getting-organized/

1•duckerduck•30m ago•0 comments

Microsoft warns of surge in ACR Stealer attacks on customers

https://www.bleepingcomputer.com/news/security/microsoft-warns-of-surge-in-acr-stealer-attacks-on...

1•Brajeshwar•31m ago•0 comments

Show HN: Skimlane – A local-first, customizable, AI reading assistant for Chrome

https://skimlane.com/

1•bibryam•31m ago•1 comments

Plumbing Homebrew into the Vulnerability Ecosystem

https://nesbitt.io/2026/07/17/plumbing-homebrew-into-the-vulnerability-ecosystem.html

1•zdw•31m ago•0 comments

Codex app for macOS repeatedly triggers syspolicyd/trustd CPU and memory runaway

https://github.com/openai/codex/issues/25719

1•enraged_camel•32m ago•0 comments

AmbyKit

https://github.com/ambystechcom/AmbyKit

1•tavobarrientos•33m ago•1 comments

Show HN: My word game inspired by Wordle, Sudoku and crosswords

https://squareword.org/

1•oliwary•34m ago•0 comments

Sterna-Mail: Private, Native Android Email Client for JMAP and IMAP/SMTP

https://codeberg.org/emon/sterna-mail

1•galdan•35m ago•0 comments

Better synchronization primitives for Zig's std.Io

https://lalinsky.com/2026/07/17/better-synchronization-primitives-for-zig-std-io.html

2•ibobev•36m ago•0 comments

C64 Basic Dungeon Crawler: Goblin Attack (C64 Basic Part 8)

https://retrogamecoders.com/c64-basic-dungeon-part8/

2•ibobev•36m ago•0 comments

Starting the ZX Spectrum Shooting Gallery in Earnest – Bumbershoot Software

https://bumbershootsoft.wordpress.com/2026/07/18/starting-the-zx-spectrum-shooting-gallery-in-ear...

1•ibobev•37m ago•0 comments

US Construction Spending on Data Centers Eclipses $50B

https://www.bloomberg.com/news/articles/2026-06-01/us-construction-spending-on-data-centers-eclip...

1•airhangerf15•38m ago•0 comments

The one where Codex brushes my teeth

https://iamwillwang.com/notes/the-one-where-codex-brushes-my-teeth/

2•wxw•41m ago•0 comments

Why no one is interested to become a Forward Deployed Engineer

https://www.wsj.com/cio-journal/the-hottest-job-in-tech-isnt-very-glamorous-dc29ab3e

1•USTECH_WORKER•42m ago•0 comments

New mandatory Gmail, your Android storage needs may increase

Reverse Engineered the Plank Scale, Found an XOR

JustREPL: A no-AI coding playground

Introduction to Formal Verification with Lean Part 1

The Derelict (2015)

I Made 11 AI Agents Do My Job. Here's What Happened

Show HN: Free, curated prompts for AI image, video and music

The neutrality project – Making the politics inside AI measurable

Show HN: A self-correcting algebraic agent swarm

Petals: Collaborative Inference and Fine-Tuning of Large Models

The Economics of LLM Profits: HyperScalers, or Labs?

Show HN: Bribes.fyi – Built something to report bribes

I analyzed 30 days of traffic hitting my homelab reverse proxy

Investigation reveals disguised gambling apps on the App Store Brazil

OpenShip

The New Washington Temptation Inside Information and a Prediction Market Account

Getting organized: personal inventory management

Microsoft warns of surge in ACR Stealer attacks on customers

Show HN: Skimlane – A local-first, customizable, AI reading assistant for Chrome

Plumbing Homebrew into the Vulnerability Ecosystem

Codex app for macOS repeatedly triggers syspolicyd/trustd CPU and memory runaway

AmbyKit

Show HN: My word game inspired by Wordle, Sudoku and crosswords

Sterna-Mail: Private, Native Android Email Client for JMAP and IMAP/SMTP

Better synchronization primitives for Zig's std.Io

C64 Basic Dungeon Crawler: Goblin Attack (C64 Basic Part 8)

Starting the ZX Spectrum Shooting Gallery in Earnest – Bumbershoot Software

US Construction Spending on Data Centers Eclipses $50B

The one where Codex brushes my teeth

Why no one is interested to become a Forward Deployed Engineer

Valve/Collabora Release Holo Core Custom Aarch64 Arch Linux Port for Steam Frame

Comments

New mandatory Gmail, your Android storage needs may increase

Reverse Engineered the Plank Scale, Found an XOR

JustREPL: A no-AI coding playground

Introduction to Formal Verification with Lean Part 1

The Derelict (2015)

I Made 11 AI Agents Do My Job. Here's What Happened

Show HN: Free, curated prompts for AI image, video and music

The neutrality project – Making the politics inside AI measurable

Show HN: A self-correcting algebraic agent swarm

Petals: Collaborative Inference and Fine-Tuning of Large Models

The Economics of LLM Profits: HyperScalers, or Labs?

Show HN: Bribes.fyi – Built something to report bribes

I analyzed 30 days of traffic hitting my homelab reverse proxy

Investigation reveals disguised gambling apps on the App Store Brazil

OpenShip

The New Washington Temptation Inside Information and a Prediction Market Account

Getting organized: personal inventory management

Microsoft warns of surge in ACR Stealer attacks on customers

Show HN: Skimlane – A local-first, customizable, AI reading assistant for Chrome

Plumbing Homebrew into the Vulnerability Ecosystem

Codex app for macOS repeatedly triggers syspolicyd/trustd CPU and memory runaway

AmbyKit

Show HN: My word game inspired by Wordle, Sudoku and crosswords

Sterna-Mail: Private, Native Android Email Client for JMAP and IMAP/SMTP

Better synchronization primitives for Zig's std.Io

C64 Basic Dungeon Crawler: Goblin Attack (C64 Basic Part 8)

Starting the ZX Spectrum Shooting Gallery in Earnest – Bumbershoot Software

US Construction Spending on Data Centers Eclipses $50B

The one where Codex brushes my teeth

Why no one is interested to become a Forward Deployed Engineer