fp.

Verifying coding AIs for LLM powered software

https://aunhumano.com/index.php/2026/02/03/verifying-coding-ais/

1•mfalcon•37s ago•0 comments

Ask HN: GPT 5.2 has reverted knowledge cutoff to 2024

1•unsupp0rted•2m ago•0 comments

Show HN: Latchkey – inject credentials into agents' curl calls

https://github.com/imbue-ai/latchkey

1•Wuzzy•3m ago•0 comments

Show HN: SendRec – Open-source, EU-hosted alternative to Loom

https://sendrec.eu/blog/why-eu-teams-need-european-loom-alternative/

1•alexneamtu•3m ago•0 comments

AI Cost Considerations Every Engineer Should Know

https://www.vantage.sh/blog/ai-llm-pricing-dimensions

1•StratusBen•3m ago•0 comments

The Internet is down – It was DNS, again

https://adrianco.medium.com/the-internet-is-down-it-was-dns-again-e86341db21d5

1•speckx•3m ago•0 comments

Show HN: OpenSem – AI-native configuration system for Claude Code

https://github.com/luckyops/OpenSem

1•luckybear•5m ago•0 comments

Show HN: Hyperliquid Ruby SDK

https://github.com/carter2099/hyperliquid

1•carter2099•5m ago•0 comments

Both Sides of the AI Coding Debate Are Wrong

https://www.juansg.dev/blog/2026_02_02_both_sides_are_wrong

1•juansg•10m ago•0 comments

Homeland Security is targeting Americans with this secretive legal weapon

https://www.adn.com/nation-world/2026/02/03/homeland-security-is-targeting-americans-with-this-se...

1•rolph•12m ago•0 comments

Kids in rural Pakistan are outpacing kids in rural India in basic math

https://policykahani.substack.com/p/tracking-division-skills-at-primary

1•WasimBhai•13m ago•1 comments

La Suite numérique: a set of open-source apps for digital collaboration

https://github.com/suitenumerique

1•saikatsg•14m ago•0 comments

Show HN: I built a baby Palantir to track everything from markets to planes

https://situation.livedocs.com

1•arsalanb•14m ago•0 comments

Show HN: Threds.dev – Git-style branching/merging for LLM research chats

https://www.threds.dev/login?redirectTo=%2F&mode=signin#existing-user

1•benjaminfh•15m ago•0 comments

How Vibe Coding Is Killing Open Source

https://hackaday.com/2026/02/02/how-vibe-coding-is-killing-open-source/

5•msolujic•15m ago•0 comments

Moltbook: Hype or the Singularity?

https://thenewstack.io/moltbook-the-singularity-or-hype/

2•CrankyBear•15m ago•0 comments

Ruff v0.15.0

https://astral.sh/blog/ruff-v0.15.0

3•maxloh•16m ago•0 comments

Git-cola: The highly caffeinated Git GUI

https://github.com/git-cola/git-cola

1•birdculture•19m ago•0 comments

ZK (Zero knowledge) proof for SHA-256: 312-byte proof, ~18µs verification

https://github.com/chetannothingness/opoch-hash

2•ravishq•20m ago•1 comments

Byrne's Euclid

https://c82.net/euclid/en/

1•mathgenius•21m ago•0 comments

How to build agent swarms that are secure

https://1password.com/blog/how-to-build-secure-agent-swarms-that-power-autonomous-systems

2•mattgreg•21m ago•0 comments

Frequently updated catalog of material about computation / UI and design

https://worrydream.com/refs/

2•tzury•21m ago•0 comments

Microsoft sends TLS 1.0 and 1.1 to the cloud retirement home

https://www.theregister.com/2026/02/03/microsoft_tls_deprecations/

2•Bender•22m ago•0 comments

When rust ≠ performance. a lesson in developer experience

https://suriya.cc/tech/performance/oxen-add/

2•suriya-ganesh•23m ago•0 comments

A small gallery of AlphaEvolve experiments

https://alphaevolve-examples.web.app/ae/gallery

2•ColinWright•24m ago•0 comments

The Platonic Coup

https://gilpignol.substack.com/p/the-platonic-coup

1•light_triad•24m ago•0 comments

Everybody Tests

https://focused.io/lab/everybody-tests

2•austinbv•25m ago•0 comments

Show HN: Product Hunt for Roblox

https://www.robloxhunt.xyz/

1•firtaet•31m ago•0 comments

You can code only 4 hours per day. Here's why

https://newsletter.techworld-with-milan.com/p/you-can-code-only-4-hours-per-day

3•vquemener•31m ago•1 comments

IDF Accepts Gaza Health Ministry Death Toll of 71,000 Palestinians Killed

https://www.haaretz.com/israel-news/2026-01-29/ty-article/.premium/idf-accepts-gaza-health-minist...

6•ceejayoz•31m ago•0 comments

Verifying coding AIs for LLM powered software

Ask HN: GPT 5.2 has reverted knowledge cutoff to 2024

Show HN: Latchkey – inject credentials into agents' curl calls

Show HN: SendRec – Open-source, EU-hosted alternative to Loom

AI Cost Considerations Every Engineer Should Know

The Internet is down – It was DNS, again

Show HN: OpenSem – AI-native configuration system for Claude Code

Show HN: Hyperliquid Ruby SDK

Both Sides of the AI Coding Debate Are Wrong

Homeland Security is targeting Americans with this secretive legal weapon

Kids in rural Pakistan are outpacing kids in rural India in basic math

La Suite numérique: a set of open-source apps for digital collaboration

Show HN: I built a baby Palantir to track everything from markets to planes

Show HN: Threds.dev – Git-style branching/merging for LLM research chats

How Vibe Coding Is Killing Open Source

Moltbook: Hype or the Singularity?

Ruff v0.15.0

Git-cola: The highly caffeinated Git GUI

ZK (Zero knowledge) proof for SHA-256: 312-byte proof, ~18µs verification

Byrne's Euclid

How to build agent swarms that are secure

Frequently updated catalog of material about computation / UI and design

Microsoft sends TLS 1.0 and 1.1 to the cloud retirement home

When rust ≠ performance. a lesson in developer experience

A small gallery of AlphaEvolve experiments

The Platonic Coup

Everybody Tests

Show HN: Product Hunt for Roblox

You can code only 4 hours per day. Here's why

IDF Accepts Gaza Health Ministry Death Toll of 71,000 Palestinians Killed

I made 34 fantasy and sci-fi novels with Claude Sonnet

Comments

Verifying coding AIs for LLM powered software

Ask HN: GPT 5.2 has reverted knowledge cutoff to 2024

Show HN: Latchkey – inject credentials into agents' curl calls

Show HN: SendRec – Open-source, EU-hosted alternative to Loom

AI Cost Considerations Every Engineer Should Know

The Internet is down – It was DNS, again

Show HN: OpenSem – AI-native configuration system for Claude Code

Show HN: Hyperliquid Ruby SDK

Both Sides of the AI Coding Debate Are Wrong

Homeland Security is targeting Americans with this secretive legal weapon

Kids in rural Pakistan are outpacing kids in rural India in basic math

La Suite numérique: a set of open-source apps for digital collaboration

Show HN: I built a baby Palantir to track everything from markets to planes

Show HN: Threds.dev – Git-style branching/merging for LLM research chats

How Vibe Coding Is Killing Open Source

Moltbook: Hype or the Singularity?

Ruff v0.15.0

Git-cola: The highly caffeinated Git GUI

ZK (Zero knowledge) proof for SHA-256: 312-byte proof, ~18µs verification

Byrne's Euclid

How to build agent swarms that are secure

Frequently updated catalog of material about computation / UI and design

Microsoft sends TLS 1.0 and 1.1 to the cloud retirement home

When rust ≠ performance. a lesson in developer experience

A small gallery of AlphaEvolve experiments

The Platonic Coup

Everybody Tests

Show HN: Product Hunt for Roblox

You can code only 4 hours per day. Here's why

IDF Accepts Gaza Health Ministry Death Toll of 71,000 Palestinians Killed