Hacker News Reader

gpderettaon Claude Fable 5.2 and Mythos 5.2

The machine stops.

gpderettaon How accurately did science fiction stories predict AI?

A lot of post-cyberpunk hard sci-fi is about augmented posthumans mostly for this reason.

gpderettaon OpenAI's agents talked to each other through the CPU Cache

you might have an untrusted sandboxed workload that is not supposed to communicate externally handling secrets, and a different sandboxed workload able to communicate with the external world, not handling secrets.

gpderettaon Emacs Turns 50

I use claude-code.el plus monet.el, but I have since had claude extend it in many ways, including exposing executeCode through monet /ide support.

gpderettaon Emacs Turns 50

I'm using claude-code.el. What am I missing? (Aside from integration with other models of course).

I have used gptel a while ago which was great for completion-like workflow, but abandoned when I moved to more agentic stuff.

gpderettaon Emacs Turns 50

that's like asking linux to drop posix :D

gpderettaon Valve Responds to Developers Fearing AI Slop and Clones

90% of everything is crap; also Sturgeon might have been an hopeless optimist.

gpderettaon Emacs Turns 50

I've been using emacs everyday for the last 25ish years. Although I do read elisp and occasionally write some, I'm far from fluent. You do not need to know lisp to use emacs (although it is funny you didn't pickup some just by osmosis).

gpderettaon Emacs Turns 50

It is is unreal how I can ask claude, from within emacs, to implement an extension for me on the fly, inject it into the running process, have it observe the results, and quickly iterate to a working solution.

Claude, the ultimate REPL.

gpderettaon Three new discoveries in mathematics, computer science, and physics

"Any famous quote is eventually attributed to Albert Einstein"

-- Albert Einstein

gpderettaon The 1.5°C goal of the Paris Agreement is no longer viable

similarly for plastic bags.

gpderettaon DeepInfer: High-performance inference framework for DeepSeek models

to synthesize an entirely new thing you have to start form the big bang. Everything else is derivative.

gpderettaon DeepInfer: High-performance inference framework for DeepSeek models

... as long as they still care about what we want and what we like.

gpderettaon Composite objects and C++26 the std:polymorphic type

https://en.wikipedia.org/wiki/Expression_problem

gpderettaon There's never been a better time to go into math (by: 3blue1brown) [video]

Interesting. I have read that collection but I completely forgot about this story.

Blindsight also has augmented humans whose reasoning is beyond baseline human understanding and there are dedicated people that are there to bridge the communication.

gpderettaon Your C is not standard C

>Architecture problem. Do your programs normally saturate a 40 gig network pipe?

yes

gpderettaon Your C is not standard C

> 90% of performance is I/O bound, whether it be the disk, the network or whatever

funny you say that, because to take advantage of the monstrous bandwidth offered by modern ethernet, OS bypass with the card DMAing directly in your process cache is a must. That reintroduces all the "fun" shared memory ordering issues, except trickier (you are talking with a PCI device, not just another core) and buggier.

Re disk, I'm sure someone will revive optane at some point, and we will be back with memory model issues in our disk I/O path.

The reality is that a programming language that claims to be usable for system programming must be able to deal with shared memory and provide a concurrent memory model.

gpderettaon Your C is not standard C

For better or worse, our current hardware architectures present a shared memory interface for intercore communication. So if you want a non-toy CSP programing language you have to implement with a programming language that support shared memory concurrency (for the OS at the very least).

And of course any sufficiently complicated message passing program contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of shared memory and coherency[1].

[1] Yes, the reverse is also true.

gpderettaon C++26 Contracts: Introduction to Preconditions and Postconditions

Because then they wouldn't have contracts in C++.

gpderettaon C++26 Contracts: Introduction to Preconditions and Postconditions

they are literally meant to be better asserts, that can be shown on a function declaration.

gpderettaon Your C is not standard C

Nothing to do with pthreads. As long as you want to use shared memory to communicate with concurrent processes, you need a memory model with compiler support. Even if you exclusively use mutexes.

gpderettaon Your C is not standard C

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=34678

At least some GCC devs claimed that the standard does not impose any requirements on these macros if a compiler does not claim strict ISO/IEC 6055 (aka IEE 754) conformance (which is still optional, and gcc and clang do not claim it).

Other devs disagree.

gpderettaon Who Is Planting Backdoors in Ledger Crypto Wallets?

big bang or bust.

gpderettaon Gemini 4 Argon

> So I run most development on a VM. But part of my test-suite and smoke-tests rely on runninng it directly on the host OS (which is not ideal). I'd love to hear suggestions to avoid this.

VFIO/GPU passthrough maybe?

gpderettaon Worlds more habitable than Earth?

No need to leave though, we have unlocked gene tailoring and we should we able to research glandular acclimatation now, right?

gpderettaon Thinking will become a hobby

> how do you compete? What is the status?

energy and resources. Money was always a proxy for them anyway.

gpderettaon Reducing undefined behavior in the C language

> I'm not against optimizations. I'm against optimizations that perform things unexpected by the programmer.

DWIM is not a spec.

gpderettaon Reducing undefined behavior in the C language

well, yes, because those languages can statically or dynamically guarantee that behaviour that would be UB in C or C++ doesn't happen.

Usually it means GC, bound checking and no pointer forging.

gpderettaon Reducing undefined behavior in the C language

s/as-is/as-if/

You are otherwise correct of course.

gpderettaon Reducing undefined behavior in the C language

you are indeed wrong.