aeneasmackenzie

7 ms·

31.
by aeneasmackenzie 3y ago
YNAB does support multi account split transactions, it’s just a combination of the split and transfer types. It’s not meant to support full accounting but it certainly supports that.
32.
by aeneasmackenzie 3y ago
Typical proofs don’t cover side channels, just ISA semantics. With the big asterisk that most programs are running on top of an unverified kernel on an unverified machine-level blob on an unverified ISA implemented by an unverified chip, yo
33.
by aeneasmackenzie 3y ago
Statutes as harsh as this have been tried but were repealed for unspecified reasons (Draco’s laws in Athens) or because juries wouldn’t convict in death penalty cases very often (England’s Bloody Code).
34.
by aeneasmackenzie 3y ago
Will Sam “Bank Fraud Man” be punished for fraud? Could go either way. Adam “New Man” got away clean.
35.
by aeneasmackenzie 3y ago
Lots of people, if they weren’t banned from F1 for being too good. The drivers are just shifting gears to keep the audience from getting bored since 1994.
36.
by aeneasmackenzie 3y ago
The year is 3000AD. A 1 million cubic kilometer xenon detector cooled to 2K orbiting Neptune has not detected any WIMPs. Not to worry, the next one will be ten times bigger and at 0.5K.
37.
by aeneasmackenzie 3y ago
There is a relativistic MOND theory that has predicted the CMB spectrum[0]. And perhaps. MOND is first of all observational. AeST is just the latest (and AFAIK best) attempt to create a theory that reproduces the MOND acceleration artifact.
38.
by aeneasmackenzie 3y ago
It’s not proof, but if it wasn’t even diamagnetic it would be over. It couldn't just be a magnet, it is repelled from both ends of a normal magnet, according to Chinese lab videos you can find in the thread.
39.
by aeneasmackenzie 3y ago
You may be able to (entirely legally) part out the sets on bricklink, buy the generic bricks from webrick, and buy the specific bricks from bricklink sellers. This will be substantially cheaper and it’s an onboard into non-Lego building bri
40.
by aeneasmackenzie 3y ago
I’m sorry, it never occurred to me that you’d think I was questioning the beating part. I was entirely addressing the teaching. If they were teaching you heresy, they were outside the Catholic Church by definition.
41.
by aeneasmackenzie 3y ago
> The collapse of the Soviet Union, which Fisher believes represented the only real example of a working non-capitalist system If it was working, why did it collapse? There are lots of alternatives to capitalism but most of them are meas
42.
by aeneasmackenzie 3y ago
> The holy trinity wasn't known to Jesus at the time of his life or death. … If this was beaten into you the school you went to was not Catholic or even Chalcedonian, which is a low, low bar. This appears to be some form of the here
43.
by aeneasmackenzie 3y ago
There was an idea going around a few years ago to split the keyboard in half then make each half a mouse. King’s Assembly as a (successful but fizzled) kickstarter about this but there were others. I thought it was a great idea but it seems
44.
by aeneasmackenzie 3y ago
The only relevant part of the article is the quote from the Council of Chalcedon: > Following the holy Fathers, we unanimously teach and confess one and the same Son, our Lord Jesus Christ: the same perfect in divinity and perfect in hum
45.
by aeneasmackenzie 4y ago
Jesus and the Father are equated in the very first verse of John.
46.
by aeneasmackenzie 4y ago
I often wonder what could have been if cyclone got more adoption. I don't really think "rewrite it in cyclone" would be any more successful than "rewrite it in rust" but "incrementally port it to cyclone"
47.
by aeneasmackenzie 4y ago
Unity asset files killed my attempt at a comprehensive binary encoding format spec language. There’s a header containing a list of block pointers. The blocks are compressed and the (several) files are sequential. Typically the first file is
48.
by aeneasmackenzie 4y ago
Usually these tools just bail out. This is fine for the domain. Any division where the divisor is not known nonzero is a bug even if it will never happen because you probably aren't sure it will never happen either.
49.
by aeneasmackenzie 4y ago
> In contrast, thanks to its modularity and domain-awareness, Astrée can be made exceptionally precise, often to the point of producing exactly zero false alarms. I will guess that when analyzing avionics code with no memory allocation
50.
by aeneasmackenzie 4y ago
You can file seek in any language, but not in most file format DSLs (or this one, because it's local). The author mentions QuickBMS and thus is aware of this, but most academic format languages don't support it.
51.
by aeneasmackenzie 4y ago
I like these data description languages but most of them just have support for sequential structures and don't support offsets within the file. These are very common in file formats created for use with C or a similar language, which i
52.
by aeneasmackenzie 4y ago
If I used a matchmaking service and it provided me with "end your subscription to a dating service 90% of the time" matches I would be telling everyone I knew.
53.
by aeneasmackenzie 4y ago
Conservatives don't like David Brooks either.
54.
by aeneasmackenzie 4y ago
If you actually have the ability to make great matches, matches so good you are concerned you will lose two customers, you should be running a matchmaking service and not a dating website.
55.
by aeneasmackenzie 4y ago
"dark matter but not as much" is still an improvement if you replace it with something better. If MOND predicted these observations and LCDM didn't it's reasonable to say that it is better.
56.
by aeneasmackenzie 4y ago
I bought one of the parts on amazon and got a version that had either desynced audio or subtitles. It seemed like a speed mismatch as it got worse as the movie went on. I don't speak Tamil, but I can still tell who should be speaking a
57.
by aeneasmackenzie 4y ago
I have listened to a fair amount of fan fiction read aloud with what seems to be the default Siri voice in the fanfiction.net app. Like watching something with subtitles, you don't hear the drone after a while. It does put a lot more e
58.
by aeneasmackenzie 4y ago
Why do you believe this problem is inevitable?
59.
by aeneasmackenzie 4y ago
> VIII What did you like about it? I honestly can’t think of anything that landed.
60.
by aeneasmackenzie 4y ago
Plenty of people consider proof by contradiction a fast one, like all intuitionist mathematicians.

More ›