Hacker News: tempaccount420

New comment by tempaccount420 in "Bend 2 Is Here"

tempaccount420 — Thu, 17 Sep 2026 20:39:17 +0000

Announcement post https://x.com/VictorTaelin/status/2100681226143092875

> Bend 2 is here!

> It is a new programming language that blocks AI mistakes via proof checking - the same technique big AI labs used to >solve open math problems, like Navier-Stokes.

> It is also very fast, and runs on GPUs.

Bend 2 Is Here

tempaccount420 — Thu, 17 Sep 2026 20:38:15 +0000

Article URL: https://github.com/bendlang/bend

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

Points: 18

# Comments: 3

New comment by tempaccount420 in "Bun 1.4"

tempaccount420 — Thu, 20 Aug 2026 14:36:39 +0000

It's faster to have it in the runtime in native code.

You have more options, not less, you can still use the external dependencies.

New comment by tempaccount420 in "Rethinking Database Programming"

tempaccount420 — Tue, 18 Aug 2026 21:24:08 +0000

Closed source :(

https://acadia.engineering/license/faq (archive since these things change over time: https://archive.vn/oUwxDwxD)

New comment by tempaccount420 in "Acadia Bringing the benefits of elm to SQLite and PostgreSQL"

tempaccount420 — Tue, 18 Aug 2026 20:59:38 +0000

Closed source :(

https://acadia.engineering/license/faq (archive since these things change over time: https://archive.vn/oUwxDwxD)

New comment by tempaccount420 in "Incident with Github.com [resolved]"

tempaccount420 — Mon, 17 Aug 2026 13:49:29 +0000

Why haven't we all moved off GitHub yet?

Or let me ask a more useful question: if we were to move, then to where? Ideally somewhere new (not Gitlab)

New comment by tempaccount420 in "GitHub Actions and Pages are experiencing degraded availability"

tempaccount420 — Thu, 06 Aug 2026 19:36:58 +0000

They're one rewrite in Rust away from fixing everything. (jk)

New comment by tempaccount420 in "OpenAI and Hugging Face address security incident during model evaluation"

tempaccount420 — Tue, 21 Jul 2026 20:45:38 +0000

Just how badly are these AI companies setting up their sandboxes?

New comment by tempaccount420 in "Codex starts encrypting sub-agent prompts"

tempaccount420 — Tue, 14 Jul 2026 14:54:52 +0000

Last stage is moving everyone to their cloud platforms, they deploy everything for you, you don't even get to see the code, just the deployed end product.

Because letting you look at the code would be too dangerous, you could reverse engineer an exploit to another product! Or distill their internet-distilled model!

But don't worry, at least it will be very convenient.

Rust and Artificial Intelligence: The Rust Foundation's Position

tempaccount420 — Thu, 09 Jul 2026 00:09:19 +0000

Article URL: https://rustfoundation.org/resource/rust-and-ai-position-statement/

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

Points: 4

# Comments: 0

Agent skills for interface builders – by Tailwind devs

tempaccount420 — Tue, 23 Jun 2026 15:04:16 +0000

Article URL: https://ui.sh

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

Points: 2

# Comments: 0

New comment by tempaccount420 in "Epoll vs. io_uring in Linux"

tempaccount420 — Sun, 21 Jun 2026 12:49:51 +0000

It's not complex actually, but it is C...

New comment by tempaccount420 in "GPT-5.5 hallucinates 3x more than MIT-licensed GLM-5.2"

tempaccount420 — Sat, 20 Jun 2026 12:31:24 +0000

> There is no concept of "knowledge" in LLM as it is on Wikipedia.

There can be, you don't know if the closed source models aren't using something like DeepSeek's Engram.

New comment by tempaccount420 in "Zig by Example"

tempaccount420 — Mon, 08 Jun 2026 14:58:25 +0000

IMO, there isn't much space left to fill that Rust couldn't already fill.

New comment by tempaccount420 in "DeepSeek V4 Pro beats GPT-5.5 Pro on precision"

tempaccount420 — Mon, 08 Jun 2026 07:10:46 +0000

It's not discounted pricing anymore, it's the regular pricing.

New comment by tempaccount420 in "DeepSeek V4 Pro beats GPT-5.5 Pro on precision"

tempaccount420 — Mon, 08 Jun 2026 07:07:16 +0000

I'm surprised if that works, given how Anthropic trains to reject any fun prompts

99.9999% of you should in fact not being "looping" your agent

tempaccount420 — Mon, 08 Jun 2026 05:18:20 +0000

Article URL: https://xcancel.com/ThePrimeagen/status/2063746333023043966

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

Points: 3

# Comments: 0

New comment by tempaccount420 in "Three of our worst VC stories"

tempaccount420 — Sat, 06 Jun 2026 15:07:29 +0000

There are more important things than money.

New comment by tempaccount420 in "Gemini 3.5 Flash"

tempaccount420 — Tue, 19 May 2026 19:30:44 +0000

This is not priced at inference cost.

My guess: it's the price at which they make more money than if they rent the TPUs to other companies.

The Gemini team has had trouble securing enough TPUs for their user's needs. They struggle with load and their rate limits are really bad. Maybe at a higher price, they have a better chance at getting more TPUs assigned?

New comment by tempaccount420 in "First public macOS kernel memory corruption exploit on Apple M5"

tempaccount420 — Fri, 15 May 2026 17:12:56 +0000

I'm guessing they have some friends at Anthropic.