HackerLangs
TopNewTrendsCommentsPastAskShowJobs

cbolton

no profile record

Submissions

Review: Julia trimming for Advent of Code 2025

viralinstruction.com
1 points·by cbolton·7 miesięcy temu·0 comments

Implicit ODE solvers are not universally more robust than explicit ODE solvers

stochasticlifestyle.com
114 points·by cbolton·10 miesięcy temu·40 comments

comments

cbolton
·9 dni temu·discuss
I wonder if piracy will eventually fill for physical releases of movies and games. It might be a fun project to make an online store game work on blue ray with nice packaging...
cbolton
·13 dni temu·discuss
That's not true, not all games are Game-Key cards, see https://www.dekudeals.com/switch-2-physical-games
cbolton
·19 dni temu·discuss
They can include these limitations in a contract which can be enforced like any contract.
cbolton
·23 dni temu·discuss
No you can't. Statistical tests assume independent data points. Testing the same individual repeatedly would be pseudoreplication, leading to wrong conclusions.

If you mean run different tests, where you collect different kinds of data from the same individual, sure but that's not something you can "just do" in the general case.
cbolton
·25 dni temu·discuss
Typst tags by default, which is more than LaTeX can say. But LaTeX supports automatic tags for math which is huge. There's good progress on this in Typst (this release just added MathML support for HTML and MathML is also the basis for automatic math tags from what I understand) but it's not there yet.
cbolton
·28 dni temu·discuss
That just means lower net voltage => lower current => lower torque right? When you do need torque you need current and the losses that come with it.
cbolton
·w zeszłym miesiącu·discuss
Much speculation here. It could well be that Iran's hard-line government will become stronger because of the war. People that were not specially pro- or anti-government probably didn't like seeing the US and Israel bomb their country and kill their government officials. On the other hand Iran is taking a big economic hit indeed... We'll see.

Regarding the nuclear threat posed by Iran: the deal Obama made with Iran was not perfect but it was working, at least on that aspect. Quoting the New York Times[1]: "Under the deal, Iran shipped 98 percent of its uranium stockpile out of the country. Iran previously had enough uranium to fashion eight to 10 atomic bombs once fully processed; afterward it was left without enough for even one". It also enabled an unprecedented level of inspections by the IAEA.

Compare that with what Trump has achieved so far... It's really sad that he had to tank that deal because he couldn't stand Obama having a great lasting diplomatic achievement. So Trump effectively manufactured the conditions for Iran to be a nuclear threat again.

I also don't see evidence that Iran wants to target Europe. The Iranian government does have a despicable rhetoric (mostly against Israel) but their actions have been limited. Israel talks less but inflicts far more harm. Iran has indeed been messing around the region and in particular "holding Lebanon hostage" to some extent with the Hezbollah... We'll see if that gets better after this war.

As for holding internet cables hostage and such: they are just playing the only cards they have, as they are being forced to, by the US.

> Besides, you care about 1 thing: that the oil price rose a bit.

I'm personally rather happy that oil prices are rising. We should get off oil as fast as possible for geopolitical and ecological reasons.

> And yes, I'm very sorry how inconvenient it is that the rest of the world does not just let you live in peace.

Not sure what you mean. We had international institutions and international law to try and avoid conflicts. The UN is a beautiful project created by the US at a time when they had good thinking people in charge. Trump hates and tries to dismantle international institutions. He likes the law of the jungle. It puts us all closer to WW3.

[1] https://www.nytimes.com/2026/04/21/us/politics/2015-iran-nuc...
cbolton
·w zeszłym miesiącu·discuss
I'm not defending what the Iranian government did to their people. I suppose I am defending their reaction (closing the strait) to the assassination of their head of state and other government officials.

The reaction was predictable and very much understandable from a human psychology perspective. So in my mind the responsibility for the strait being closed rests mostly with the US.

> The president is fine, btw. It was the "supreme leader" that got killed

In Iran the supreme leader is the head of state. In the US it's the president.

> he is known to have ordered the extermination of 600,000 Syrian muslims

Do you mean the Syrian civil war? According to Wikipedia it's 650,000 deaths on all sides together (more than half being combatants). I'm not sure it's fair to attribute all these deaths to Iran. By the way these numbers are similar to those of the Iraq War of GWB.
cbolton
·w zeszłym miesiącu·discuss
Would you say that blocking the strait is more unacceptable than bombing the US and killing the President and most high-ranking government officials? Just trying to establish a scale on what's acceptable in terms of war crimes, international law and such.
cbolton
·w zeszłym miesiącu·discuss
I mean you can connect the computer to sprinklers that activate when the system detects rain in the simulation if that's what you're after (that was just an aside to note that of course you don't get wet from a simulation disconnected from the real world).

But I guess that was a distraction from the main point: If consciousness emerges from biological processes in the brain connected to the world with a body, why would it not emerge from a simulation of these processes connected to the real world with sensors and actuators?

It seems like circular reasoning to me: The simulation is not like the real thing because it lacks the special thing that enables consciousness (that's Searle's biological naturalism). And it lacks what enables consciousness because it's not the real thing (that's the weather analogy).
cbolton
·w zeszłym miesiącu·discuss
Well I don't understand how one can accept this argument. I mean if you believe in mind-body dualism it can make sense. But AFAIK Searle doesn't, instead he holds that there's something special about the brain biology that enables consciousness and that you won't find in a computer. I don't see why that would be the case if the computer can simulate the real world, and I find Searle's argument against simulation, that simulating rain doesn't make you wet, falls flat: it can make things wet in simulation, and if you connect it to sprinklers it will make you wet.
cbolton
·w zeszłym miesiącu·discuss
I'm curious what would be a good example of something where this falls short of what you need?

I mean this Typst package just lets you import the notebook content in your Typst document. All the formatting is done in Typst which is also what you use for your final output...
cbolton
·w zeszłym miesiącu·discuss
> My only complaint is that all functions are pure functions; there is not a way (that I know of) to share state from one function invocation to the next.

Indeed user-defined functions are pure. You can work around it like the suiji package[1] does: have the function return a value that you pass as argument to the next call.

[1] Random number generator in Typst: https://typst.app/universe/package/suiji/
cbolton
·w zeszłym miesiącu·discuss
For what's it's worth you can render Jupyter notebooks directly from Typst using the Callisto package. You can then style the notebook content as if it was written in Typst, using show rules, etc:

  #import "@preview/callisto:0.2.5"
  #callisto.render(nb: json("notebook.ipynb"))
though as the sibling comment says Quarto also works great for this, and Typst doesn't do epub (yet?)
cbolton
·2 miesiące temu·discuss
I had to follow your link to get it: I hadn't realized that 57 is not prime. At least I'm in good company.
cbolton
·2 miesiące temu·discuss
Remember the XZ backdoor? Or do you mean that Rust build script attacks are less likely? (Probably true but not much comfort)
cbolton
·2 miesiące temu·discuss
I wonder if using Typst would be a viable solution: the compiler can be built into a wasm component that runs locally in the browser (that's what the Typst webapp does) and it generates good PDFs with working selection/copy/paste.

There's even a package (cmarker) than can translate Markdown to Typst which could be enough for a MVP.
cbolton
·3 miesiące temu·discuss
Privacy addresses... Isn't it silly to talk of privacy if the prefix doesn't change?
cbolton
·3 miesiące temu·discuss
The first picture looks like aura quartz to me (crystal with an artificial metal coating). Is it natural?
cbolton
·3 miesiące temu·discuss
On the other hand I read chicken is much worse than beef in terms of animal suffering. But that's much more dependent on the producer than the energy calculation and climate impact I guess.