HNHacker News
TopNewBestAskShowJobs

bsaul

9,838 karma · joined July 24, 2011

submissionscomments
bsaul··on Running the unmodified Linux amdgpu driver on an iPad
But then how do you even make the driver install on the ipad ? Aren't drivers supposed to run under system-level privileges (which iPadOS will never let you run under)
bsaul··on Running the unmodified Linux amdgpu driver on an iPad
can someone explains this project ? i understand nothing about what it's doing... Do iPads have amd gpus ??
bsaul··on What even is an OS now?
no idea you were working on fly !

As someone who's building its news project on it, it's both reassuring, but also not since you're leaving..

bsaul··on Rails World 2026 Opening Keynote [video]
Totally disagree on the reevaluation of architecture best practices.

Agents are as prone as forgetting to update duplicated code as we are ( or almost ), because they work at the same level : text files spread everywhere that you have to open and read to know what's inside.

The fundamental reasons for those architecture best practices are still there, and it's actually quite convenient and also a good reason to remain optimistic in our ability to find a job as a professional software developer.

bsaul··on Developing provably correct Rust code with Verus
That's indeed a weird feeling when going back to another language after having coded in rust. First you're happy not having to write any "unsafe" keyword. Then you're horrified for the very same reason.
bsaul··on Nvidia announces native GPU programming in Rust
i'm surprised modular's doesn't get much traction. The promise seems super interesting, and chris latner has the record to back up his claims. If someone has an explanation..
bsaul··on So you want to use OpenRouter?
That looks absolutely horrifying. What are the alternatives ??
bsaul··on Shopify is moving from React Native back to Swift and Kotlin
is there still no way to compile / execute ios apps on a linux machine ?
bsaul··on Zig’s io.threaded is neat
it's also my opinion. Which makes me wonder : isn't there an opportunity to create a variant of rust that would make absolutely zero compromise on UB and safety at the detriment of user experience ( which we don't care about now, with AI generating the code) ?

Like programming in a kind of super strict IL. Or the opposite : super poweful, super abstract language, yet extremely strict.

bsaul··on Israel creates fake think tank in likely attempt to dupe AI chatbots
« Even America's closest postwar allies like the UK, Sweden and Japan did not get that type of diplomatic cover, it was exclusive to Israel.«

wasn’t echelon a joint collaboration between the US and the UK ?

bsaul··on AMD acquires Taalas to boost inference performance by etching models in silicon
That's actually a really good point... There's currently zero incentive to buying more hardware, and that's one very good reason do have a new one.
bsaul··on Why Erdős Problems Are Falling to AI
something i've just realized : today long-standing maths problems are falling. It's great intellectually but won't probably have an immediate impact on our lives.

Now, what will happen once long-standing physics ( and chemistry and biology) problems will start to fall and at the same rate ?

Then we're going to enter a totally different world.

bsaul··on US Treasury undertakes historic intervention in yen market
"was considering a mass sell off to raise cash to defend the Yen."

How would that have worked ? Selling US bonds in exchange for yens, to diminish the amount of yen in the economy, and pump up its price ?

bsaul··on Half-Life ported to Mac OS 9
Never developped a driver, but doesn't that require running the OS in some special mode, or in a VM, requiring a ton of time waiting for the thing to reboot over and over again ?
bsaul··on Scaling to 1M concurrent sandboxes in seconds
how complex is maintaining a firecracker cluster over bare metal in practice ?
bsaul··on A road to Lisp: Why Lisp
never understood why people say that: the syntax for defining code seems quite different from the syntax defining data structure. There's no homoiconicity in javascript..
bsaul··on My thoughts on the Bun Rust rewrite
Not a really nice post. It reads like someone refusing to accept bitter feelings (which is absolutely understandable given the circumstances), and then go on to personally attacking the person who hurt you.

He should have kept the "horrible manager" parts away, as it really doesn't have anything to do with the point of the post.

bsaul··on Postgres transactions are a distributed systems superpower
i don't understand the last point of UDF. Either you need the state to be updated atomically across different systems or you don't. But writing a row in a system in order to update the second one at any random time in the future isn't really much different from enqueuing a job in queue.
bsaul··on AI learns the “dark art” of RFIC design
I wonder if our common expectation that true theories somehow had to be beautiful and elegant is going to survive the coming century. What if "real" nature phenomenon were actually best described by horrible mess of impossible equations, that only machines could actually manipulate and reason about ?

That would be really sad..

bsaul··on Pentagon raised threat of Israeli spying on U.S. to highest level, sources say
if this was the case, there would be no state sponsoring palestinian terrorism for a long time.

Look at what happened after 9/11, it's pretty clear there's a wide difference between how US consider its own security matter vs israel's one.

bsaul··on Using AI to write better code more slowly
"Because this version of AI is worth 10 trillion dollars."

i wonder how much the real version of AI is worth. I've got a hinch we're going to find out pretty soon.

bsaul··on Haiku
wondering : apart from the aesthetics, is there still some technology from beos that would be still considered an improvement compared to what today's OS provide ?
bsaul··on France moves to break encrypted messaging
of course, nothing magically prevents the app from sending keys or decrypted content to a third party.

That's why if you're really serious about e2ee you have to install the app from source.

bsaul··on Software engineering may no longer be a lifetime career
i think using AI is going to transform our definition of programming into something more abstract, but it's still going to require human.

We're going to start thinking in terms of program general properties ( termination conditions, invariants, symetries, etc), and code quality indicators, to drive our work into certain directions, depending on the project.

Then in 20 years we're going to consider the task of actually typing code something of really low value and uninteresting.

I can feel it's already happening to me after just a few months of vibe coding.

bsaul··on I’m spending months coding the old way
yes miro is also what i'm using. It's really a digital whiteboard.
bsaul··on I’m spending months coding the old way
"used to be" ?? What are engineering team doing nowadays when discussing architecturing their systems ?
bsaul··on Claude Opus 4.7
i tried to find an API pricing for GLM 5.1 but couldn't find any on the homepage. How are you using it ?
bsaul··on Agent - Native Mac OS X coding ide/harness
you forgot the memory model. Which is an absolutely essential and hard to design part of the agent.
bsaul··on Anthropic downgraded cache TTL on March 6th
could it be that anthropic is experiencing a massive shortage of compute capacity, and is desperately trying to find means to overcome it ?

All the news i hear about this company for the past weeks made it sound like they're really desperate.

bsaul··on Session is shutting down in 90 days
nope, iphone here, and quite recent. But it's not just me, all the people i communicate with on this app have the same kind of problems. With a group of friends we even had a totally weird ordering of messages, making the conversation quite absurd.

There's something deeply wrong with the way signal delivers messages...

Page 1 of 34Next →