skysight-inc/HackerNews huggingface dataset:
I have a genuine curiousity (because I can't seem to find it in the news reports). The contract is going to the starship design. What exactly are they planning to take that requires such a large ship? The lunar landers were tiny because the Moon has such a small gravity well. For that payload capacity, I assume you would have most or all of a habitable lunar base.

Edit: There is this: https://blogs.nasa.gov/artemis/2020/10/28/lunar-living-nasas.... I wonder whether NASA will now try to include it on one of the two missions.
No, it is not common at all.

You simply jump to the watchdog interrupt handler, or execute the "reset the CPU" instruction.

No need for such convoluted foolery with loops and timeouts to achieve exactly the same effect. Remember, embedded processors have no MMU -- there's no context switch when entering an interrupt handler.
People often cite the extraordinary cost per launch of missions such as this, and how SpaceX can reduce that cost (allegedly) via reusability, etc. I just don't think saving a few bucks on a mission of this importance is worth-while. I'd, personally, much rather return to the moon first, and then figure out if reusability even makes sense later on (if we are to continue going to the moon with any sort of regularity).

A reusable rocket must be more robust to do what it do while also being much more difficult to accomplish. It's also how we increase safety, which will happen with rapid reusuability.

A reusuable rocket cannot afford to cut corner like an expendable rocket.

Just because a rocket is more expensive doesn't mean it's safer.

The fact that SpaceX is launching more rockets than everyone else means it will be a safer vehicle due to rapid increase in flight experience. More flights mean we iron out more flight.

They're not cutting corners here.
.NET library for commonly used programming patterns and utilities
> Starship will require in-orbit refueling to go to the moon, so (rapid) reusability is somewhat of a hard requirement.

Is it though? The lunar starship itself doesn't depend on reusability. If SpaceX cannot get reusability down, they'll have to expend a few boosters and tankers to get it working. That'll cost them their profit, but it would fulfil the contract.
Im not saying the quality ratio is higher on youtube, there’s a lot more garbage for sure. But it has become a central hub in a way, you search for something and it’s likely you’ll find it. Second, the content creator niche has grown and went up a notch. There are a lot of self made great and professionally made channels on youtube. Im sure there are a lot more fantastic educational resources outside youtube but youtube is pretty good if you know what you’re looking for
Yep that is always an issue. Not sure how a hypothetical QUIC tunnel would avoid that, though. Would appreciate any info you can provide on mitigating deep packet inspection blocking techniques.
If you haven't read Dead Note but have it on a shortlist, don't read the article. It should have "contains spoilers" on the title...
I think it's pretty simple. drusepth wants targeting on, so of course drusepth also wants default on. It is generally desirable for defaults to match what you want since it saves you effort to configure.
On the other hand, did Musk ever get in trouble for his “stock price too high” tweet?
Then maybe you're just in the wrong place
Right now dogecoin, an abandoned project approaches the market cap of Space X. The deli is really not surprising anymore.
Right handling certificates is one of those chores that, particularly in a startup is easy to oversee. If the average turnaround for employees is 2 years, and a certificate can be bought for a bit more than 2 years. Normally someone will put it in their calendar and leave the company before it expired, so the new employee will be welcomed by an expired certificate and a not-so-clear list of places where to place it.

That´s why things like AWS certificate manager + ELB kind of things are useful, so that they are mostly auto-renewed.

It is a chore that had bit most of the places where I have worked.
We actively talk over slack. There's a #random channel, a #stonks channel, et al. There's plenty of banter.

But _anyone_ can mute those and focus. I _cannot_ mute a coworker talking loudly next to my desk.
You need to pay extra to not be listed.
You might find this interesting

https://inflationchart.com/spx-in-m1

It basically shows the value of the S&P 500 as a function of total cash in the system.
If that is the benefit, than why not just send an auto-reminder notification and skip the automation part?
The google agreement seems to break the "reasonable person" aspect of laws that I learned in college. It's not reasonable to have more than one place to shut off geolocation/tracking and the court decided this in the obvious way. Google should be fined heavily for such evil bait-and-switch tactics. Not only are they not avoiding "evil" they're embracing it the past decade or so.
The first page reads the following boilerplate text, but beyond that I don't think there's any more info available at the moment:

> Approximate date of commencement of proposed sale to public: As soon as practicable after this registration statement is declared effective.
Isn't it evergreen? It's not like it is about then current events or anything...
If we gave managers/business owners the choice of

(1) a traditional in-office, no WFH environment and a smaller profit, OR
(2) a partial/full WFH setup and a larger profit,

my gut sense (I can't back it up) is that a huge percentage of businesses would forgo profit for the psychological benefit of seeing their employees daily. Maybe it makes them feel more in control, or more important, or just loneliness.
Oh, huh. Yeah. I actually went back and added the word "consumer" after I made the list to be more specific, then forgot about that.

Vinyl records! That's what should have been there. The LP was introduced in 1948 and the 45 in 1949.
> "But it is making the whole internet look the same!"

You know, that's alright with me in many cases. The internet is a utility, and consistency can allow for providing people with a normalized, accessible, fast, fine-tuned experience. A lot of the internet would benefit immensely from that. If it comes at the expense of your website not looking super cool or unique, that's probably fine - a lot of internet users aren't all that concerned with that.

I'm not saying squarespace offers that. Just – a lot of the internet being uniform isn't in and of itself a bad thing.
So this is what HN is doing now? I thought this shit was left for reddit.
> The marketing budgets of companies would not miraculously go down if targeted ads ceased to exist

If marketing returns drop, all other things being equal, budgets being cut is the natural consequence, because less spending will be possible before declining marginal returns result in negative net returns to further spending.
I did a little research when I was looking for a lav microphone and narrowed it down to those options - Sanken Cos-11D (Japan) and DPA 4060 (Denmark). I also considered Sennheiser ME-2, as it appears to be made in Philippines.
Eventually I got Sanken. I costs about 10 times more than Chinese microphones on Amazon, but I feel better knowing I am not helping building Chinese vision of communism.
Aren't IP header fields granular enough for most tracking purposes?

On mobile, you can do interesting things with Header Enrichment, which helps even more.

IPv6 should "just work", but it seems there's fingerprinting available.

That leaves residential IPv4, which you can solve with some coordination between site owners.

This seems to say - Yes?

https://www.sans.org/reading-room/whitepapers/testing/paper/...

https://en.wikipedia.org/wiki/TCP/IP_stack_fingerprinting

Once you get some sort of fingerprint, then all that's needed is for one site to share with another and they're back to tracking across devices and sites.
Yes. Piece of cake.

SBCL is better in the sense that almost everyone who writes an open-source library for Quicklisp distribution is going to test it with SBCL, so most of the time Quicklisp libraries just work with SBCL.

Testing with other Lisps, including Lispworks, is not quite so automatic, so there's a little greater likelihood that something might fail to work.

That being said, most libraries I've tried with Lispworks have worked without any trouble.
I have a wife and two children six and under. Working from home has far less distractions than any office I've ever been in.
Facebook is saying the info was scraped, but I don't see my phone number publicly visible anywhere on Facebook, yet it's found by HIBP - any idea what they're referring to?
What happens if you mix them?
I think it's not too implausible that something like this could be real in the distant future. Most would rely on the collective biological-abiological-hybrid hyperbrain(s) for most things most of the time, but (biological or otherwise) individuals or sub-collectives/colonies would also narrowly specialize and rely on local processing when they believe their specialized cognition/ideation is more effective/efficient than deferring to the collective. Or when they just want some privacy.

Entities would be able to seamlessly "context switch" between the different scales of shared memories/knowledge/mental models, from universal to individual. Hopefully with some rigorous isolation so that only you can ever access your individual mind. Maybe also some vandalism mitigations for those who might want to mess with the universal Neurapedia. Plus some kind of hardware switch that can fully cut the connection at a moment's notice, in the event of some neural 0-day or DoS.

In practice it might be infeasible to make it both seamless and safe from adversarial risks, but people said the same of Wikipedia. Though, the consequences of a manipulated Wikipedia article are probably a little different from the consequences of a manipulated neural interface/network.
Firebase Auth is my go-to, but I don't consider myself an expert as I only work with TypeScript and React/Nextjs. I still have to do some hands on work managing the user session, and relating users to other related records in Firestore. And their prebuilt UI components can be problematic. And of course I have to keep user data in sync with payment state by handling Stripe events.

I'd love to find something even more hands-off for my next project...
iOS Kids Game Morphs into Underground Crypto Casino
Latency is still a problem with audio software.
I did some miscalculations. 2^60 is 1.15E18. So you couldn't do a thousand times per second. But it probably wouldn't happen at 1 per second.

The original point of your comment is correct, at least from a probability standpoint. You don't get "owed" tails. I guess my hint was that there are sometimes other factors at play that mean the theory goes out the window. Like if someone shuffles a deck in front of you and it ends up new deck order, it's more likely they're a magician than lucky.
Went through the same process except with an M1 Macbook Pro. My coworkers volunteered me to see if we could get our dev stack building and running on ARM with hopes they could eventually dump their older x86 Macbook Pros, which run loud and hot.

It was a bit of a process but once we got it working, developing on the M1 has been great. Captured notes on the process here in case it's helpful for anyone later:
https://authzed.com/blog/onboarding-with-an-m1/
The ethical review board is just a piece of plywood with a thumbs up drawn on it.
A good point, I should really dig those out with their clear tag protectors and everything. Are eBay sales on fire again?
> Unless you tax in a way such that the maximum capacity must be used

Indeed, there have been proposals to address this!
That, on the other hand, is a very legitimate criticism. They could have raised the issue more aggressively sooner.
It depends on the outcome. Companies get sued, sue each other all the time. A company like FB probably has the best lawyers money can buy, it is probably just business as usual for them at this point.

I do hope something good (for users, not FB) comes out of it.
Racist Computer Engineering Words: Master, Slave and the Fight over Offense
That (talking across) was what clicked for me. They are in a controlled reverbance room and that's worth a lot too.

It is so clear that getting a clean analog signal up front is worth a lot.
Interesting! Do you have further reading I might be able to consume?
One problem with Let's Encrypt certs only work for public domains.
As I recall, the leak was essentially bots scraping data that FB calls "public" but which it's terms of use say not to scrape.

The thing is, FB's protections are kind a fantasy to start with. The idea you know your friend's information but your friend's-friend's-friend's might work in real life but not on the Internet. At the same time, this fantasy is what Facebook has sold it's users (and I'd note that a look of FB user got online first with FB and so take their real life beliefs to it).

One outcome of the suit might be for FB to say "you couldn't expect real privacy from this anyway, how can we be liable" and then the judge force to FB to label it's policy "privacy protection entertainment" in the way we got World Wrestling Entertainment. And another option is for FB to pay off the suit just to avoid that happening.

-- I remember FB saying "this wasn't a hack", which is technically true. It's a manifestation of the porousness of FB's model, which is worse, at least if you expect privacy from FB.

-- Finally, lots of people say "I hate FB for not giving us privacy" where they mean the sort of pseudo-privacy around "only friends know". Here, if you accept this concept of privacy, only an entity like FB could give it to you, so cleaving to that privacy policy strengthens FB even when it's hated. It's the regulating social networks. If FB was a regulated monopoly, they'd be absolutely "too big to fail".
> What exactly are they planning to take that requires such a large ship?

NASA didn't ask for such a big ship, and would have accepted a smaller one. But if SpaceX bids a big ship, they can't say "no" to it just because it is bigger than they thought they needed.

For the first few landings they probably won't even use most of the capacity. But I'm sure NASA will get to work coming up with ideas of things to do with it.

One option is to have a much bigger crew.

Another option is cargo such as lunar rovers, lunar base modules, ISRU demonstrators, etc. (I wonder if SpaceX will design a slightly different variant optimised for lunar surface cargo delivery.)
Good take.

Here:

- X=neural network geometric configuration,

- Y=individual synapses due to the various neurotransmitters,

- Z=cytoskeleton (already suspected to play a role)
For internal services, why not use self-signed certs with expiration dates in the 22nd century (if the technology allows that)? You don't need public trust and arguably your own authentication of the cert is more trustworthy a third party's.

I can imagine exceptions, such as when code requires a publicly-signed cert, but I suspect I'm missing something obvious here.
We have built a VPN over QUIC, and the core code is open source already [0].

We're working on standardizing "IP Proxying" over QUIC as part of the MASQUE working group at IETF. So far, we've adopted a requirements document [1] and have started work on an implementation [2].

[0] https://quiche.googlesource.com/quiche/+/refs/heads/master/q...

[1] https://tools.ietf.org/html/draft-ietf-masque-ip-proxy-reqs-...

[2] https://tools.ietf.org/html/draft-cms-masque-connect-ip-00
A Guide to Neopronouns
Truly, I believe there are multiple architectures for information processing in the body, and not only in the brain/neurons. Think of the computing landscape where you have a salad bowl of ANN's implemented on TPU's, some GPU's, some specialized ASIC's, DSP's, some CPU's. There is no reason to believe efficient information encoding through evolution ends up with one architecture. It's going to turn out to be as varied as the differentiated cells in the body, though there may be some unification in foundational units at the equivalent level of transistors of something, maybe some molecular machinery that stores a bit or activates a switch. Presumably that's what Gallistel is looking for. It does seem wasteful for a whole neuron to be the basic unit of information processing, so I agree there should be something more atomic inside.
"They're probably not his friends." is right. The problem is that being "the weird kid who's strict parents won't let him have a phone" could mean he won't have any real friends. Kids can be harsh, and being different to everyone else doesn't help.

Maybe he'll have friends who'll put the additional effort in to copy him in on email or phone the home land-line. But maybe he won't. Seems a big risk to take.
This comment is strongly confused about typechecking.

> [1] https://github.com/Technolution/rustig

That's a binary analysis tool (for x86_64 only!).

It is only approximate, and does not claim to be an accurate analysis like typechecks (such as the unsafe check) are:

https://github.com/Technolution/rustig#limitations

> All paths leading to panic! from one of those functions (whether actually used or not) will be reported.

Crude binary analyses like these lack the critical efficiency and predictability properties of type checks:

* Typechecks like the unsafe-check can be done on each module in isolation, using the code from that module and only the types (not the code) from any modules that it calls. This is the essential property that makes typechecking efficient enough to run on every compilation.

* If each module separately passes the check, then a program using both of them passes the check. This is the essential property that makes typechecking predictable enough to produce useful error messages. This binary analysis tool operates on the whole program. Turning optimizations on and off will cause the tool to switch from reporting "ok" to reporting false positives.

Pretending that a tool like this is a replacement for a typechecker amounts to grossly negligent software engineering.

Panics are an ugly leftover from the bad old days before Rust had nice monad-like "?" syntax for Result<T,E> error-handling. It's time for unrestricted panic to sunset. The Rust community has waited too long to do this, which is why it will be painful. Waiting longer will only make it even more painful.

> panics are catch-able

False. Unwinding panics runs drop handlers; if one of these drop handlers itself panics, Rust just sort of throws its hands up in the air and aborts the process no matter what:

> Given that a panic! will call drop() as it unwinds, any panic! in a drop() implementation will likely abort.

https://doc.rust-lang.org/std/ops/trait.Drop.html#panics

The panic mess is full of nasty ill-defined edge cases like this. It's gotta go.
Davos learned that from Stannis.

https://www.youtube.com/watch?v=G0zNWswcqMg
That rests on the assumption that the author is using a particular representation for the values, even though the author doesn't indicate anything about that.
I wasn't as prepared as I should've been, no, but I did surrender to it. That didn't, however, make it any less terrifying or traumatic (or less embarrassing and humiliating in the time after).
Did they have my phone number?

Literally one click and I had a list of every UK Facebook users public phone number, that's not a phone book.
Only became free in 2003 in France, and the main telecom company then was not happy, refused to tell how much money it was gaining from selling the data previously, and asked for a subscription increase in exchange.
Facebook prevents sharing New York Post story on BLM co-founder's real estate
On Facebook, you now can't post the link to this New York Post article:
https://nypost.com/2021/04/10/inside-blm-co-founder-patrisse...

FB will also prevent you from posting the Newsweek article which describes how the platform is blocking the New York Post article. Same link as in the title:
https://www.newsweek.com/facebook-prevents-sharing-new-york-...
Wondering why this shit community is down voting this comment. It is a relevent observation about an extremely common device and service related to the topic. Wtf
Let's say, Chrome has a bug that causes a crash unless you send Workaround-Chrome-Bug header. Why wouldn't you send the header until the bug is fixed in Chrome?

How is this situation in any way different?
Why the Futures of E-Commerce and Media Are Intertwined
Apowersoft Screen Recorder Pro 2.4.1.10 Crack Is Here (2021)
I agree, it's just Bokeh

But, if you want, for fun, you can make your own Triangle shaped floating object, you just need a high voltage power supply, and some common household items.

http://jnaudin.free.fr/html/liftbldr.htm
> I'm getting very nervous about manned propulsive landings.

Humans will land on earth in Orion capsule not Starship. So there will only be a tanker that has to do the flip.

On the moon, there is no flip.

The Appollo didn't have a abort option is parts of the flight, unless I am misinformed.

> So I wouldn't be surprised to see the first version of that to be somewhat scaled down from the concept art.

The problem is then about how you do the integration. All the tooling and processes are designed for one size of Starship, to change the whole design just to make it smaller is unlikely to be an efficient thing to do.

Instead they could just fly part of it empty and take far less then the full 100t to the moon, rather then design a smaller version.
Try older CCFL based screens. I also had bad experience with many "modern" LED screens.
MRF Finishing: How it works
One of the listed companies CIA will do a background check including finances or any company that requires a security clearance doesn't want a person to have large debt. Also financial companies/insurance often look into finances as some states require employees of those companies to not hold debt over a certain amount
There are a lot of people who don't have nice home situations. Screaming babies, cramped spaces, constant interruptions - that sort of thing. For a programmer/tech worker that has a decent place to live, I'm not surprised you think it's easy.
I came to Rust for things like sum types, lack of unexpected null values, monadic error handling (Result<T, E>), and the borrow checker's ability to enable the typestate pattern.

(https://cliffle.com/blog/rust-typestate/ for more on what the typestate pattern is but the TL;DR: is "verifying correct traversal of a state machine at compile time". For example, making it a compile-time error to try to set an HTTP header after you've started streaming the body.)

Before Rust, I'd spent 15 years with Python as my preferred language, and I had experience with TypeScript, CoffeeScript, JavaScript, PHP, Bourne Shell, and the "used very little or very long ago, so I forgot" kind of experience with Lua, XSLT, Perl, C, C++, Visual Basic, QBasic, and DOS/Windows Batch Files.

For me, it's purely about Rust reducing the amount of time I have to spend writing Python unit tests to get the level of confidence I want in my codebases without having to put up with the quirks of a pure functional language like Haskell that doesn't put high value on long-term API stability. (And yes, I do use MyPy and type annotations heavily.)

It's also a big boost to the value proposition that, with no garbage collector of its own, it's easy to integrate Rust modules into my PyQt GUIs or Django+Celery web apps using rust-cpython or PyO3. Trying to hand off objects between multiple garbage collectors in the same address space without something like "serialize the whole thing, hand over ownership of the bag of bytes, then deserialize it" is a recipe for pain.

Also, I'd suggest reading the "What makes Rust work" part of https://boats.gitlab.io/blog/post/notes-on-a-smaller-rust/ for an explanation of why garbage collection doesn't solve all the problems the borrow checker does.