fp.

The unreasonable effectiveness of simple HTML

https://shkspr.mobi/blog/2021/01/the-unreasonable-effectiveness-of-simple-html/

1•luispa•45s ago•0 comments

Show HN: Vera – open-source tool to self-audit smart contracts with AI

https://vera.apostro.xyz/

1•roofloor•2m ago•0 comments

We Had to Ban 65 CTF Teams to Get a Top 10 Leaderboard

https://camel4.dev/posts/byuctf-2026/

1•joshmoody24•3m ago•0 comments

The same SQLite query returns different results in Bun and Node

https://github.com/andrewitsover/blog/blob/main/sqlite.md

1•andrewitsover•3m ago•0 comments

Agents' Last Exam

https://agents-last-exam.org

1•gtirloni•3m ago•0 comments

GEDD – Grounded Eval-Driven Development for AI Agents

https://github.com/aws-samples/sample-GEDD

1•balasvce2026•5m ago•0 comments

Ted Cruz and Ron Wyden try to fight censorship with bipartisan JAWBONE Act

https://arstechnica.com/tech-policy/2026/06/ted-cruz-and-ron-wyden-try-to-fight-censorship-with-b...

1•alsetmusic•5m ago•0 comments

Ask HN: What models can you use with OpenCode that offer some level of privacy

1•ciwolex•6m ago•1 comments

Parse, Don't Guess

https://medium.com/@eitamos10/parse-dont-guess-817f80717912

1•valkdb•6m ago•0 comments

My AI Opinions

https://www.astralcodexten.com/p/my-ai-opinions

1•themgt•7m ago•0 comments

As a SWE with 10y experience, how long does it take to learn to build AI models

1•ciwolex•8m ago•0 comments

Goody-2: Safer than fable, similar capability

https://www.goody2.ai/chat

2•b--l•8m ago•0 comments

An MCP server for chemistry – structures, mechanisms, Anki decks

https://github.com/jurimaxam-dotcom/chemdraw-mcp

1•JuriMx•10m ago•0 comments

Formal Methods and the Future of Programming

https://blog.janestreet.com/formal-methods-at-jane-street-index/

1•nextos•10m ago•0 comments

Show HN: Phoenix, a Topology Optimisation Engine

https://github.com/dapsvi/phoenix

1•dapsvi•13m ago•0 comments

Demystifying NVSHMEM: System-Level: Symmetric Memory, Device-Initiated Ops

https://arxiv.org/abs/2606.05951

1•matt_d•15m ago•0 comments

Show HN: An Indian exam photo resizer built with Rust and WASM

https://resizer.exammint.in/

1•x6sony•22m ago•0 comments

Show HN: Iris – pure-Swift ARM64 disassembler with a semantic layer

https://github.com/mi11ione/iris

2•mi11ion•25m ago•0 comments

Enumerating Ill-Typed Programs for Testing Type Analyzers

https://dl.acm.org/doi/pdf/10.1145/3808320

1•matt_d•26m ago•0 comments

Cursor trails of people currently browsing the web

https://wewere.online/

1•ohjeez•27m ago•0 comments

Show HN: I built a news app that shows you the top stories of the day

https://play.google.com/store/apps/details?id=com.quicknews.mobile&hl=en_US

2•Bobby791•29m ago•0 comments

Show HN: Browse obscure Wikipedia articles that became popular on Hacker News

https://www.orangecrumbs.com/

1•oyster143•33m ago•0 comments

Preliminary Analysis of AUR Malware

https://ioctl.fail/preliminary-analysis-of-aur-malware/

2•thewebguyd•34m ago•1 comments

Financial Model in Python – Tootsie Roll

https://github.com/Orcaset/orcaset-py/tree/main/examples/tr

1•jrdnocs•34m ago•0 comments

Route public traffic to private applications with Cloudflare

https://blog.cloudflare.com/private-origins-dns-routing/

2•Spunkie•36m ago•1 comments

Deep learning four decades of human migration

https://www.nature.com/articles/s41586-026-10611-7

1•NoRagrets•37m ago•0 comments

Polars GPU Engine

https://docs.rapids.ai/api/cudf/stable/cudf_polars/

1•jonbaer•37m ago•0 comments

Music Understanding Framework

https://developer.apple.com/documentation/MusicUnderstanding

2•hmokiguess•38m ago•0 comments

Hacking Google with A.I. For $500k

https://brutecat.com/articles/hacking-google-with-ai/

2•llui85•38m ago•0 comments

Is Rullst the best Rust Full-Stack Framework nowadays? I think it is

https://rullst.github.io/Rullst/

1•venelouis•39m ago•1 comments

The unreasonable effectiveness of simple HTML

Show HN: Vera – open-source tool to self-audit smart contracts with AI

We Had to Ban 65 CTF Teams to Get a Top 10 Leaderboard

The same SQLite query returns different results in Bun and Node

Agents' Last Exam

GEDD – Grounded Eval-Driven Development for AI Agents

Ted Cruz and Ron Wyden try to fight censorship with bipartisan JAWBONE Act

Ask HN: What models can you use with OpenCode that offer some level of privacy

Parse, Don't Guess

My AI Opinions

As a SWE with 10y experience, how long does it take to learn to build AI models

Goody-2: Safer than fable, similar capability

An MCP server for chemistry – structures, mechanisms, Anki decks

Formal Methods and the Future of Programming

Show HN: Phoenix, a Topology Optimisation Engine

Demystifying NVSHMEM: System-Level: Symmetric Memory, Device-Initiated Ops

Show HN: An Indian exam photo resizer built with Rust and WASM

Show HN: Iris – pure-Swift ARM64 disassembler with a semantic layer

Enumerating Ill-Typed Programs for Testing Type Analyzers

Cursor trails of people currently browsing the web

Show HN: I built a news app that shows you the top stories of the day

Show HN: Browse obscure Wikipedia articles that became popular on Hacker News

Preliminary Analysis of AUR Malware

Financial Model in Python – Tootsie Roll

Route public traffic to private applications with Cloudflare

Deep learning four decades of human migration

Polars GPU Engine

Music Understanding Framework

Hacking Google with A.I. For $500k

Is Rullst the best Rust Full-Stack Framework nowadays? I think it is

SpaceX raises $75B in its IPO, making Elon Musk the first trillionaire

The unreasonable effectiveness of simple HTML

Show HN: Vera – open-source tool to self-audit smart contracts with AI

We Had to Ban 65 CTF Teams to Get a Top 10 Leaderboard

The same SQLite query returns different results in Bun and Node

Agents' Last Exam

GEDD – Grounded Eval-Driven Development for AI Agents

Ted Cruz and Ron Wyden try to fight censorship with bipartisan JAWBONE Act

Ask HN: What models can you use with OpenCode that offer some level of privacy

Parse, Don't Guess

My AI Opinions

As a SWE with 10y experience, how long does it take to learn to build AI models

Goody-2: Safer than fable, similar capability

An MCP server for chemistry – structures, mechanisms, Anki decks

Formal Methods and the Future of Programming

Show HN: Phoenix, a Topology Optimisation Engine

Demystifying NVSHMEM: System-Level: Symmetric Memory, Device-Initiated Ops

Show HN: An Indian exam photo resizer built with Rust and WASM

Show HN: Iris – pure-Swift ARM64 disassembler with a semantic layer

Enumerating Ill-Typed Programs for Testing Type Analyzers

Cursor trails of people currently browsing the web

Show HN: I built a news app that shows you the top stories of the day

Show HN: Browse obscure Wikipedia articles that became popular on Hacker News

Preliminary Analysis of AUR Malware

Financial Model in Python – Tootsie Roll

Route public traffic to private applications with Cloudflare

Deep learning four decades of human migration

Polars GPU Engine

Music Understanding Framework

Hacking Google with A.I. For $500k

Is Rullst the best Rust Full-Stack Framework nowadays? I think it is