correnos

6 ms·

1.
by correnos 6mo ago
Yep! There was a submariner-turned-astronaut that mentioned the smell was pretty similar, and also that submarine deployments can be described as "breathing recycled farts for six months." At least submarines have replacement oxyg
2.
by correnos 2y ago
Iirc they've got a one-year timeout for updates, after which they'll make you sign in with a unifi web account in order to update. Deeply frustrating.
3.
by correnos 2y ago
Personally I use the emacs android port with org-roam, with syncthing for sync to back home. I've got ctrl and meta mapped to volume up and down. I don't know that I'd call it a good way, but it works well enough for me :).
4.
by correnos 2y ago
IMO this is a strong argument for proper threads over async: you can try and guess what will and won't block as an async framework dev, but you'll never fully match reality and you end up wasting resources when an executor blocks
5.
by correnos 3y ago
Agreed. Vermont, Maine, Alaska and Hawaii all ban billboards, and they're all nicer to drive in as a result.
6.
by correnos 3y ago
So, "canonical" here means "for a given tree of data this is one unambiguous binary representation for it," which is a useful property for crypto signatures. It does not mean "this is a blessed way to write sexp&#x2
7.
by correnos 3y ago
The docs could do a better job of spelling it out, but csexp's really do only represent "trees of bytestrings". They're not a particularly rich format. If you're looking for "transfer this lambda over the netwo
8.
by correnos 3y ago
The "suffix" there is a docs mistake. if you look at the example csexp's on the page the lengths are prefixed. I think that the csexp's of this package are compatible with Rivest's format.
9.
by correnos 6y ago
An EMT friend described her take as, you need empathy in order to help people, but you need to be able to switch it off because sometimes what you're about to do is going to hurt them. It's like any of our instinctual responses. S
10.
by correnos 6y ago
Of the three compilers I've worked on in-depth, only one of them had a "normal" memory management scheme. One of them was unburdened by any thought of freeing stuff, and relied entirely on the application exiting for cleanup.
11.
by correnos 7y ago
I think parent was talking about navigation more than surveillance, so VORs and similar. Between that and inertial navigation, there's plenty of other location sources if your GPS receiver does fail. Though if we're feeling pessim
12.
by correnos 8y ago
Municipalities don't have airspace regulations. That's all managed federally. Also the Alpha Electro is already legal to test. It's apparently registered as an Experimental aircraft in the US currently, which means it can be
13.
by correnos 8y ago
They suck. I've flown in a Cessna with a touchscreen transponder, and it was nearly impossible to enter the required four-number code in light turbulence. edit: That said, you could probably make a decent aviation touchscreen. The main
14.
by correnos 9y ago
The reasoning is that some people cancel their reservations, so if you have a good statistic for how often that happens you can overbook to take up the slack and still have a full plane. Airliner margins are pretty thin, so they jump at opp
15.
by correnos 9y ago
The nature of commercial flying is such that actual incidents are pretty rare (150 or so a year recently[1]), and very very expensive. So taking the "data-driven" approach to pushing what's safe really isn't economically
16.
by correnos 10y ago
> As in nature the language that thrives is the fittest for its environment, not the most powerful. Now hold on. The most successful sprog of nature is humanity[citation needed] and we're a case study in the fact that raw intelligen
17.
by correnos 10y ago
wrt "darcs is slow": the darcs source repo is 59M and took 3:27 for me to clone. Git's repo is 117M and took 6:02 to clone. So per repo size they're pretty similar. Darcs has its issues, but under normal conditions it&#x
18.
by correnos 10y ago
Well, you could embed a machine-checked proof that instruction sequences of the targeted form will sometimes survive previous optimization passes and therefore the given optimization will always be contributing something. But that's ha
19.
by correnos 10y ago
I think by "vacancies" they mean "vacant homes on the market", versus "vacant homes the owner is sitting on." A tax would encourage vacant homes to be put on the market.
20.
by correnos 10y ago
Excuse you, that was General Ripper. As for fixing this: it will not be difficult, mein fuhrer!
21.
by correnos 10y ago
We don't have to still program this way - you can write code with very strict types, with machine-checked proofs that it works correctly, etc, etc. We don't do this very often because it turns out this level of rigor is incredib
22.
by correnos 10y ago
Plus the closer you are to the equator, the less (very fuel-expensive) orbital correction you need to get to geostationary orbit. Being close to the Tropic of Cancer, Florida's pretty well-positioned in this respect.
23.
by correnos 12y ago
Not necessarily. The Fortran standard allows for floating-point reordering that can produce value errors. All that's required is that the new system's compiler optimize differently than the last one; there isn't necessarily a
24.
by correnos 12y ago
Bluespec's thing is that rules are atomic, so they won't ever (appear to) fire in parallel. This is in contrast to Verilog and friends where that isn't guaranteed. The nondeterminism comes in when two conflicting rules are bo
25.
by correnos 12y ago
One difference from Verilog/VHDL is that Cx will handle state machines for procedural code automatically. Bluespec has a similar facility. Also like Bluespec, it makes the clock implicit which makes a lot of code less noisy.
26.
by correnos 12y ago
Practical Common Lisp is a very good introduction. It's very much targeted at competant non-academics.
27.
by correnos 13y ago
What advantage does this site give over just pasting the data directly? The shortened URL aspect is gone, so the only "advantage" I can see is obfuscation. And if you want that you can base64 your text directly.
28.
by correnos 14y ago
It's not even an issue in languages (C) that don't strongly type for performance reasons, or because you get closer hardware access as a result (though these count as features themselves). The problem is that in Javascript, you don't get ei
29.
by correnos 14y ago
> what would you expect? I expect a type error, like I said before. Implicit coercion between types is the definition of weak typing, and is part of what separates Python from Javascript.
30.
by correnos 14y ago
> blessed language Granted, hence why the GNOME devs didn't choose Vala. That doesn't explain why they didn't choose a cleaner, easier language, and it certainly doesn't explain why they chose the ass-end of web development. > alrea

More ›