HNHacker News
TopNewBestAskShowJobs

svieira

1,768 karma · joined August 24, 2010

Outline of the man: * Catholic, Virginian.

Outline of the programmer: * Python, JavaScript, Scala, C#, Java.

Ad Jesum per Mariam

submissionscomments
svieira··on Why isn't the industry freaking out about DeepSeek 4.1 Flash?
> These systems are inherently immoral (it’s just a lot of matrix math)

(nit) "immoral" is "anti-moral". I suspect you want "amoral", that is "without" or "separated from" morals.

But, if you wanted "immoral" ... what about matrix math derived from gradient descent is inherently "immoral" in your view?

svieira··on Pi Durable
> If you wanted to go absolutely wild, some hypervisors can checkpoint the memory of a running VM and revert back to a prior version memory and all. I can’t imagine a way to make money off that

You may want to check out what Antithesis is doing in this space - https://antithesis.com/ Specifically, https://antithesis.com/docs/resources/deterministic_simulati...

svieira··on Ask HN: What are you reading?
The Boys On The Boat was good, working through Magnifica Humanitas (https://www.vatican.va/content/leo-xiv/en/encyclicals/docume..., but in dead tree form) for my mind stretching.
svieira··on Coding Is Not Solved
Where did you jump to?
svieira··on What About Rails?
> I described the problem to the agent and it figured out WAY faster than I would have been able to that the customer's clock was set incorrectly.

:blinks: The architecture of your service relied on customer clocks being correct? That is, you built a distributed service without a clock synchronization primitive that relied on the clocks being sychronized?

svieira··on Opus 5.5 is good at explainer videos
"I prefer" was the bit that the parent was pointing to that wasn't true. There isn't a person-to-person connection being made here. Though there is the fascamile of one.
svieira··on Developing provably correct Rust code with Verus
I wouldn't say it's all rubbish - it's very easy for someone new to theorem proving to presume the equivalent of "strong typing will eliminate the possibility of errors", but the more correct understanding is "strong typing will reduce the number of things you have to keep in your head at any one time thus reducing the possibility of errors".
svieira··on Shopify is moving from React Native back to Swift and Kotlin
Yes, it could, but then you would have re-invented React Native. But in WASM.
svieira··on The turbulent AI era is here
That one person is (according to the previous comment) using words to suggest "this is a thing that will happen" though they are planning to make it happen? And that those words are attributed to the God of Abraham, Isaac, and Jacob? And that the selfsame God also has the other words attributed to Him?

Or are you suggesting a particular ontological presumption about the declared speaker of those words, which would then reflect a different shade of meaning onto my declaration?

svieira··on Exit the Cave
> A lover needs someone free to reject him

As G. K. Chesterton said,

> Marriage is a duel to the death, which no man of honour should decline.

https://www.gutenberg.org/cache/epub/1718/pg1718-images.html...

svieira··on CEO fired developers to make room for AI. Developers create open source AI CEO
Actually, everything is infused with purpose (not agency, that's different). Including rain drops and hurricanes and black holes.
svieira··on The turbulent AI era is here
Then they are in for a very rude awakening, given that the same God says "You must not wrong the widow and the orphan; wronged, they will cry out to me for redress, and their cry will be heard. My anger will blaze out against you, and I will smite you with the sword, making widows of your own wives, orphans of your own children." (Exodus 22:22-24).
svieira··on CEO fired developers to make room for AI. Developers create open source AI CEO
> And nature doesn't come with purposes, it's all something we impose on it.

That is the presumption others are calling you out for. Things very clearly act appear to act with purpose, they just clearly don't provide it for themselves. You are presuming one solution to the problem (that appearance does not hold in reality), but there is another one.

svieira··on CEO fired developers to make room for AI. Developers create open source AI CEO
Some thinkers believe you have to encourage the people in the system and change the system to make it harder to do the wrong thing. Some reading on the topic includes:

* The canonical book on the subject - The Servile State by Hilaire Belloc: https://www.gutenberg.org/ebooks/64882

* https://theimaginativeconservative.org/2014/06/what-is-distr...

* https://practicaldistributism.com/distributism-basics/

And not directly related, but full of mineable thoughts, the papal encyclicals of the last 100 years on economy, including Rerum Novarum (https://www.vatican.va/content/leo-xiii/en/encyclicals/docum...), Quadragesimo Anno (https://www.vatican.va/content/pius-xi/en/encyclicals/docume...), Centesimus Annus (https://www.vatican.va/content/john-paul-ii/en/encyclicals/d...), and the very latest Magnifica Humanitas (https://www.vatican.va/content/leo-xiv/en/encyclicals/docume...)

svieira··on Fences, Not Sandboxes
I don't think he's trying to start one, so much as he is being brainwashed by one.
svieira··on Ask HN: Is this the worst time to be human?

  For the end of the world was long ago,
  And all we dwell to-day
  As children of some second birth,
  Like a strange people left on earth
  After a judgment day.

  For the end of the world was long ago,
  When the ends of the world waxed free,
  When Rome was sunk in a waste of slaves,
  And the sun drowned in the sea.

  When Caesar's sun fell out of the sky
  And whoso hearkened right
  Could only hear the plunging
  Of the nations in the night.

  When the ends of the earth came marching in
  To torch and cresset gleam.
  And the roads of the world that lead to Rome
  Were filled with faces that moved like foam,
  Like faces in a dream.

  And men rode out of the eastern lands,
  Broad river and burning plain;
  Trees that are Titan flowers to see,
  And tiger skies, striped horribly,
  With tints of tropic rain.

  Where Ind's enamelled peaks arise
  Around that inmost one,
  Where ancient eagles on its brink,
  Vast as archangels, gather and drink
  The sacrament of the sun.

  And men brake out of the northern lands,
  Enormous lands alone,
  Where a spell is laid upon life and lust
  And the rain is changed to a silver dust
  And the sea to a great green stone.

  And a Shape that moveth murkily
  In mirrors of ice and night,
  Hath blanched with fear all beasts and birds,
  As death and a shock of evil words
  Blast a man's hair with white.

  And the cry of the palms and the purple moons,
  Or the cry of the frost and foam,
  Swept ever around an inmost place,
  And the din of distant race on race
  Cried and replied round Rome.

  And there was death on the Emperor
  And night upon the Pope:
  And Alfred, hiding in deep grass,
  Hardened his heart with hope.

  A sea-folk blinder than the sea
  Broke all about his land,
  But Alfred up against them bare
  And gripped the ground and grasped the air,
  Staggered, and strove to stand.

  He bent them back with spear and spade,
  With desperate dyke and wall,
  With foemen leaning on his shield
  And roaring on him when he reeled;
  And no help came at all.

  He broke them with a broken sword
  A little towards the sea,
  And for one hour of panting peace,
  Ringed with a roar that would not cease,
  With golden crown and girded fleece
  Made laws under a tree.
-----

G. K. Chesterton - The Ballad of the White Horse - https://www.gutenberg.org/files/1719/1719-h/1719-h.htm

svieira··on Delta
That actually makes the "Drift" analogy perfect, because you have to be "Drift compatible", you can't just grab two people off the street and throw them in a Jäger together and have it work.
svieira··on Ten advances in mathematics and theoretical computer science
They very often have been in the past. Why do you think this time is different?
svieira··on Advancing the price-performance frontier with GPT‑5.6
So, does that mean they're selling tokens at cost? Or that they realized they were doing 180% more work than necessary and they're passing the savings on because "your margin is my opportunity" and this is a dog-eat-dog fight, but 80% margins are nice, no one needs multiple hundreds?
svieira··on Some thoughts about Anthropic's new cryptanalysis results
My favorite analogy for LLMs is "an intellectual chain saw". It does one thing, well, but that isn't "cut wood". It's "cut". What it cuts will happily include limbs.
svieira··on Document-borne AI worms can self-propagate through Copilot for Word
So your point is "Get the hell out of LLMs" then? As found in https://sgnt.ai/p/hell-out-of-llms/? Or am I still missing something about the subtleties here?
svieira··on Document-borne AI worms can self-propagate through Copilot for Word
> if a human operator starts dropping tables or messing up numbers in a report, just because that string was in the text it read

I would look at if the reaction was reasonable, and if it wasn't I would (eventually) fire the human. Now I'm fine with "fire the LLM", but I suspect that's not the answer you're hinting at.

svieira··on JEP 540: Simple JSON API (Now in Incubator)
> java.lang.String and other types don't extend JsonValue

And that ladies and gentlemen is what Java's re-doing of TypeClasses (called "witness" in the experiments they're doing now) are for.

svieira··on JEP 540: Simple JSON API (Now in Incubator)
Or the boolean `true`, or the empty string `""`, or `null`. JSON allows bare "value"s as the root element. https://www.json.org/json-en.html
svieira··on LLMs aren't remotely like compilers or power tools
Precisely - except you can get it to do the same thing about the flat earth or faked moon landings or the unity of all being as will or just about anything else.
svieira··on The 'papers, please' era of the internet will decimate your privacy
> I do think a Reddit with identity would be a much less toxic place.

Do you remember the days of "Real name" requirements on YouTube and "Google+"? The experiment was tried, it didn't change things. (Also, see Facebook for an ongoing version of the same experiment).

svieira··on Prefer duplication over the wrong abstraction (2016)
Ah contraire, mon ami, I am currently in the process of doing just that in many places in my current codebase.
svieira··on Magnifica Humanitas
"The affliction" in his case is skin overgrowth, in the other its the dysphoria, right? But which is the moral way to cure either?
svieira··on Magnifica Humanitas
> If ones appearance contradicts ones inner sense of personhood, how can that person ever truly connect with other people?

https://woforgmedia.wordonfire.org/wp-content/uploads/2025/0...

https://www.wordonfire.org/articles/pope-francis-and-the-ele...

svieira··on Claude Code as a Daily Driver: Claude.md, Skills, Subagents, Plugins, and MCPs
> reliably catches >99% of bugs

In what scope?

Page 1 of 28Next →