Hacker News: remexre

New comment by remexre in "11 year old unsoundness bugs found in Rust borrow checker"

remexre — Tue, 13 Oct 2026 16:20:21 +0000

The average cause of unsoundness in a C++ program is not a C++ compiler bug

New comment by remexre in "RISC-V: They Should Have Known Better"

remexre — Sun, 16 Aug 2026 14:38:41 +0000

Doesn't the ELF loader do that?

New comment by remexre in "The Kimi K3 Moment"

remexre — Sun, 19 Jul 2026 09:04:23 +0000

if Ford bought hundreds of millions of dollars worth of Hyundais, put extra instrumentation in them, and resold them at a discount to customers who agreed to the instrumentation in exchange for the discount, is Ford doing industrial espionage?

New comment by remexre in "The Kimi K3 Moment"

remexre — Sun, 19 Jul 2026 07:17:32 +0000

assuming the k3 model weights do indeed get published, if your model of the world is "achieving RSI is beneficial and K3 has done so," this feels structurally different from ordinary industrial espionage, because the knowledge has enriched the commons

more like silk than capacitors

if, again, your model is that RSI will be beneficial, why wouldn't making it available to all unlock more benefit globally than not doing that

New comment by remexre in "The Kimi K3 Moment"

remexre — Sun, 19 Jul 2026 06:00:00 +0000

my first prompt to any Kimi model was K3 via Pi, some version of "hi kimi!!" and the response was telling me "I'm actually Claude."

this is not hard to repro, just use a system prompt that doesn't mention the model name.

that said, if they bootstrapped with opus 4.6 convo sft data they had sitting around... so what?

New comment by remexre in "Rewriting Bun in Rust"

remexre — Thu, 09 Jul 2026 01:59:17 +0000

the point of c++ when you need max perf is to be able to maintain the compile-time abstractions you need w/ templates instead of macros and undocumented optimizer behavior, not oop or raii

New comment by remexre in "Pioneer of 'extreme male brain' theory of autism now says phrase unhelpful"

remexre — Mon, 06 Jul 2026 01:47:37 +0000

https://dispatchesfromtheautismwars.substack.com/p/are-autis...

New comment by remexre in "Department of Commerce has lifted export controls on Claude Fable 5 and Mythos 5"

remexre — Wed, 01 Jul 2026 03:46:13 +0000

User Wanted: Minimum 5y agentic development experience with Fable?

New comment by remexre in "OpenAI unveils its first custom chip, built by Broadcom"

remexre — Thu, 25 Jun 2026 01:26:39 +0000

hasn't pcbway been doing this for years?

New comment by remexre in "My Software North Star"

remexre — Mon, 08 Jun 2026 04:08:13 +0000

I take (prescribed) amphetamines and use LLMs, and I think "I wrote this while on amphetamines" will leave you with way better understanding of the code than "I vibecoded this?" Like, to an absurd degree?

Vibecoding $x gives you pretty much the understanding of "someone else did $x," which seems unsurprising to me. There's a lot of usecases for code where "someone else did $x" is a perfectly fine way to accomplish $x! There are also many cases where "someone else did $x" is not a substitute for "I did $x."

"I want a tmux theme that fits with my existing zsh and neovim themes." Is it useful to me to learn how tmux themes work? Eh, marginally maybe? I'm personally kinda hoping I'm not using tmux in 10 years, so probably not.

"I'm writing code for work, where a bad correctness bug would be very expensive." If I'm pulling in someone else's code, I /better/ be auditing that code.

Like, this seems like the obvious framing and a useful heuristic? Maybe the problem is the subject of "vibecoded" is usually "I vibecoded this with Claude," not "Claude vibecoded this with me?" IDK

New comment by remexre in "OpenRouter raises $113M Series B"

remexre — Sun, 31 May 2026 02:14:26 +0000

not sure that works as well when they don't own their API though; how much software is openrouter-only in a way that's not 5min of deepseek to patch the source for, or 15min of opus to patch the binary instead

New comment by remexre in "Everything in C is undefined behavior"

remexre — Wed, 20 May 2026 13:43:50 +0000

the compiler can still interleave anything it shows is side-effect free; it’s hard to show that something would benefit from being reordered without analyzing it well enough to determine what side effects it has

New comment by remexre in "Reverting the incremental GC in Python 3.14 and 3.15"

remexre — Thu, 14 May 2026 02:52:40 +0000

Have a reproducer?

New comment by remexre in "Why modern parents feel more sleep deprived than our ancestors did"

remexre — Mon, 11 May 2026 00:08:07 +0000

I can't tell if you're hyperbolizing the idea of community, or describing schooling.

New comment by remexre in "I am worried about Bun"

remexre — Mon, 04 May 2026 21:26:23 +0000

If I interpret "a machine superintelligence" as "a classroom of 300IQ humans," I'm not really sure how this is true? You still have material and energy constraints, you can't think your way out of those.

New comment by remexre in "Sally McKee, who coined the term "the memory wall", has died"

remexre — Sat, 02 May 2026 04:20:55 +0000

the one where i think of a particular piece of work, and i know who did it, then tell a student "oh, see if $author's group published anything else about this."

i'm not using software for this if this is off the top of my head, and it's the sort of thing that, at scale, hurts the forgotten author and their students

New comment by remexre in "ReactOS Shows Improved Stability and 64-Bit Support at Chemnitz Linux Days 2026"

remexre — Thu, 02 Apr 2026 18:56:46 +0000

pidfd, eventfd, AF_NETLINK, epoll, memfd, timerfd?

New comment by remexre in "We rewrote our Rust WASM parser in TypeScript and it got faster"

remexre — Sat, 21 Mar 2026 02:36:19 +0000

you're thinking of the programs in low-level langs that survived their higher-level-lang competitors; if you plot the programs on your machine by age, how does the low quartile compare on reliability between programs written in each group

CHERIoT Rust: Status update #0

remexre — Wed, 25 Feb 2026 16:02:46 +0000

Article URL: https://rust.cheriot.org/2026/02/15/status-update.html

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

Points: 3

# Comments: 0

New comment by remexre in "Steel Bank Common Lisp"

remexre — Wed, 25 Feb 2026 05:50:13 +0000

my impression is that most CL these days is existing large closed-source codebases, hence the price tag for those compilers (you're not trying it out for a bit, you're funding the compiler devs to work full-time on the issues you're actually having) and relatively little open-source activity for "finished" things -- if you're developing against internal libraries, it's hard to open-source just the part you intend to

(work at a CL shop; mostly SBCL users, but maybe 1/3 of people are die-hard ACL fans)