Hacker News: tin7in

New comment by tin7in in "Leanstral: Open-source agent for trustworthy coding and formal proof engineering"

tin7in — Tue, 17 Mar 2026 20:23:43 +0000

They are not up yet. The Paris one is expected in 2028, the one in Sweden in 2027.

New comment by tin7in in "Leanstral: Open-source agent for trustworthy coding and formal proof engineering"

tin7in — Tue, 17 Mar 2026 13:08:58 +0000

They are building their own infra - south of Paris and another one was announced in Sweden recently.

Pi-Autoresearch

tin7in — Fri, 13 Mar 2026 08:48:28 +0000

Article URL: https://github.com/davebcn87/pi-autoresearch

Comments URL: https://news.ycombinator.com/item?id=47362010

Points: 4

# Comments: 0

Pi-Autoresearch

tin7in — Thu, 12 Mar 2026 22:35:51 +0000

Article URL: https://github.com/davebcn87/pi-autoresearch

Comments URL: https://news.ycombinator.com/item?id=47358215

Points: 13

# Comments: 1

New comment by tin7in in "Promptfoo Is Joining OpenAI"

tin7in — Mon, 09 Mar 2026 19:54:11 +0000

Thanks for your work and I really really hope the open source project stays maintained. I’ve been using it from the very beginning and it’s been great!

French Government Data MCP Server

tin7in — Fri, 27 Feb 2026 16:56:13 +0000

Article URL: https://www.data.gouv.fr/posts/experimentation-autour-dun-serveur-mcp-pour-datagouv

Comments URL: https://news.ycombinator.com/item?id=47182759

Points: 2

# Comments: 0

Agent Sandboxes Benchmark

tin7in — Fri, 27 Feb 2026 16:55:15 +0000

Article URL: https://github.com/computesdk/benchmarks

Comments URL: https://news.ycombinator.com/item?id=47182747

Points: 3

# Comments: 0

What Claude Code chooses

tin7in — Thu, 26 Feb 2026 18:12:26 +0000

Article URL: https://amplifying.ai/research/claude-code-picks

Comments URL: https://news.ycombinator.com/item?id=47169757

Points: 611

# Comments: 235

Memory Price Trends

tin7in — Thu, 26 Feb 2026 09:56:06 +0000

Article URL: https://fr.pcpartpicker.com/trends/price/memory/

Comments URL: https://news.ycombinator.com/item?id=47164016

Points: 1

# Comments: 0

Can AI lead to negative growth?

tin7in — Mon, 23 Feb 2026 17:41:10 +0000

Article URL: https://aleximas.substack.com/p/will-advanced-ai-lead-to-negative

Comments URL: https://news.ycombinator.com/item?id=47125705

Points: 3

# Comments: 0

Code Mode by Cloudflare: give agents an entire API in 1,000 tokens

tin7in — Mon, 23 Feb 2026 11:55:02 +0000

Article URL: https://blog.cloudflare.com/code-mode-mcp/

Comments URL: https://news.ycombinator.com/item?id=47121144

Points: 3

# Comments: 0

Can advanced AI lead to negative economic growth?

tin7in — Mon, 23 Feb 2026 06:39:40 +0000

Article URL: https://aleximas.substack.com/p/will-advanced-ai-lead-to-negative

Comments URL: https://news.ycombinator.com/item?id=47118866

Points: 1

# Comments: 0

Global Intelligence Crisis

tin7in — Sun, 22 Feb 2026 20:56:18 +0000

Article URL: https://www.citriniresearch.com/p/2028gic

Comments URL: https://news.ycombinator.com/item?id=47114579

Points: 256

# Comments: 190

Claude Cowork

tin7in — Mon, 16 Feb 2026 20:57:02 +0000

Article URL: https://pvieito.com/2026/01/inside-claude-cowork

Comments URL: https://news.ycombinator.com/item?id=47040233

Points: 3

# Comments: 0

ccshistory – Claude Code system prompt history

tin7in — Mon, 16 Feb 2026 14:28:27 +0000

Article URL: https://cchistory.mariozechner.at/

Comments URL: https://news.ycombinator.com/item?id=47035406

Points: 2

# Comments: 0

Pi Coding Agent

tin7in — Mon, 16 Feb 2026 09:08:38 +0000

Article URL: https://pi.dev/

Comments URL: https://news.ycombinator.com/item?id=47032703

Points: 2

# Comments: 0

New comment by tin7in in "I’m joining OpenAI"

tin7in — Mon, 16 Feb 2026 08:08:25 +0000

> No-one's going to maintain it.

Why? He's going to maintain it and the community is large enough. Another sci-fi idea that's slowly becoming real is that the project is maintaining itself.

OpenClaw is a bunch of projects that evolved together (vibetunnel, pi-mono, all the CLIs). It's even more interesting to see the next iterations, not only what happens to this project.

New comment by tin7in in "I’m joining OpenAI"

tin7in — Mon, 16 Feb 2026 07:07:24 +0000

If you read his blog you’ll find about a lot of his engineering decisions.

Peter was right about a lot of the nuances of coding agents and ways to build software over the last 9 months before it was obvious.

Promptfoo: Local LLM evals and red teaming

tin7in — Mon, 09 Feb 2026 13:59:58 +0000

Article URL: https://github.com/promptfoo/promptfoo

Comments URL: https://news.ycombinator.com/item?id=46945277

Points: 5

# Comments: 0

Moltbot

tin7in — Tue, 27 Jan 2026 10:27:17 +0000

Article URL: https://www.molt.bot/

Comments URL: https://news.ycombinator.com/item?id=46778039

Points: 2

# Comments: 0