skysight-inc/HackerNews huggingface dataset:
It's possible, but you are limited in the roles you can take. Some companies don't want or are allowed to have their data in China. This is true for both US and European companies, I don't know about Australia.

There are lots of great developers in China, no problem there as long as your English is good. But it can be a pain to jump The Great Firewall all the time.
I've always used shell scripting of various types and tend to work to whatever is available in the operating environments I'm working in.

If I'm doing stuff in Windows-land I'm going to use PowerShell because it's readily available and it's an "object"-ively good shell scripting language as it's tightly integrated with the OS (Windows treats everything as objects).

Bash is tightly integrated with the unix-like OS's where the OS treats everything as text and the shell scripting environment plays well with that. Trying to use PowerShell to integrate with tooling that assumes you want to always receive text can be a pain especially when it sends debug messages over stderr which PowerShell treats as an exception (looking at you git).

I still use pwsh on Linux for things like Github actions because being able to do something like this is nice considering how often you need to interact with JSON based apis, rather than getting the raw text of some json property using jq you get the actual type and can use .NET to deal with them:

$responseVariable = Invoke-RestMethod "https://jsonplaceholder.typicode.com/posts/1"
Write-Host "Title is '$($responseVariable.title)'"
Write-Host "Title is a '$($responseVariable.title.GetType())'"
Write-Host "UserId is '$($responseVariable.userId)'"
Write-Host "UserId is a '$($responseVariable.userId.GetType())'"

> Title is 'some text blah blah blah'
> Title is a 'string'
> UserId is '1'
> UserId is a 'long'

I think I've been using bash-like stuff for ~15 years and PowerShell for the last 3 and now that it's cross platform I reckon it's definitely worth having a look at, I wasn't so keen on learning when it only applied to Windows Server management.
Note that Title VII, banning discrimination in employment, doesn’t apply to judiciary employees, which law clerks are. Since the Harvard case involves Title VI (a parallel provision relating to discrimination in education) that’s a significant distinction.
Telegram Premium does not at all depend on your other social profiles, it’s $5/mo. Maybe they have a separate verification feature? (Edit: yep https://telegram.org/verify )
Most courts try to limit the scope of their rulings as much as possible though. If the case before them only concerned the question of race/ethnicity, and the issue of gender or sex never came up, then Kavanaugh could probably find enough wiggle room to justify joining the other conservative judges and striking it down.
Lambda-Calculus Revisited
Dear friends,
In this web page listing the main functions that can be defined in λ-calculus

http://jwodder.freeshell.org/lambda.html

one can guess the importance of this formalism as the "holy seed" of all programming languages, but one can be put off by its "esoteric" character. And then nothing is said about the implementation and everything has to be developed and reduced by hand. Good luck.
In this page (eternally under construction)

http://lambdaway.free.fr/lambdawalks/?view=lambdacode5

I try to approach the λ-calculus in a "more modern" way, in the LISP/SCHEME parenthesis/prefixed notation, using of course lambdatalk, my iconoclastic implementation without closures, but also, opposite, lambdacode, an implementation with closures likely to arouse the interest of the orthodox.
We can see first of all that the differences are minimal most of the time. And we see how the absence of closures is easily compensated by a judicious combination of partial applications and IIFEs.
So there is a life outside of closures, lexical context and free variables, and in this life there are certainly no more "free variables" but the text becomes free of "quotation marks" and it becomes possible to write "novels" made of thousands of words in the air and portions of code waking up on demand, where writing {+ 1 2} is displayed 3 without any more complication than that.
It seemed to me that this could be of interest, both theoretically and practically. But I must have taken the wrong road...
Alain Marty
Got it, didn't know this before.
Risk to PEDESTRIANS even less.
Out of order delivery is fine in TCP within the window. It might be inefficient but it's not impossible, reassembly could be moved to userspace if userspace TCP was used.

I have no problem with alternates to TCP in the DC with a crossbar fabric and far less loss, seems sensible.

I wonder how it would play with QUIC and the session like behaviours now emerging.
>>I’d argue that a reasonable network limitation with a minimal blast ratio is responsible.

I'm the OP and I agree. Across 3 Twilio phone numbers and I maybe make 4 voice calls and 10 texts a week. I've been doing this for 4 years or more.

>> For example, I use SIP over 5060 on Spectrum without issue.

As did I, until a week or so ago. Until I was cut off, without notice.
I've been a Spectrum residential customer since the 1990s.
The argument is that the servers aren't a problem - the problem is that we don't have a protocol to block them. Of course, we wouldn't need a protocol to block them if they weren't a problem. I'm very confused by this argument.
Coooool! And yes, I'm not sure whether the models can run on the m1 chip, but I think this is more of a PyTorch issue instead of this project XD.
completely agree about the Orville, it's extremely good!
Yeah, that makes a lot more sense. Thinking about it more it would be surprising to me if a commercial artist or draftsperson worked on this document and did nothing but the header lettering... there's a reason technical reports from this period with hand lettering or diagrams usually also have an illustrated cover. It's in for a penny, in for a pound on having a commercial artist involved.
Jumping to the end:

> TCP is the wrong protocol for datacenter computing.

> Every aspect of TCP’s design is wrong: there is no part worth keeping.

I cannot disagree and Ousterhout argues well.

> Homa offers an alternative that appears to solve all of TCP’s problems.

I'm well behind the curve on protocols and now I have something to learn more about.

> The best way to bring Homa into widespread usage is integrate it with the RPC frameworks that underly most large-scale datacenter applications.

More or less the case for whatever replaces TCP in a tight computing warehouse setup.
Note the manufacturer of the GP's device claims a 33% energy savings. You can get a hybrid heat pump hot water heater with a coefficient of power of 4, for a 75% savings. If your water heater is in a garage, it is likely a simple retrofit. (If it is in a small closet, it will require a duct).

Ignoring installation, the heat pump water heater costs more than those devices. With installation, I imagine it is cheaper.
I like the idea of asking to hold the same document in the selfie. Not a full-proof solution but way better than asking for any non-specific selfie.
Stars my destination and The Demolished man are the best sf novels of the 1950s. By a wide margin.
I absolutely love how the video link is never gonna give you up, never gonna let you down.
That’s a great analogy, and also summarizes why it’s so problematic to make race a factor for college admissions. It makes minority kids engage in performative diversity in order to appeal to mostly white college admissions officers.
I've noticed that people wildly overestimate the environmental impact of things they personally touch.

This, I theorize, is why sub-rounding error things like plastic straws, plastic bags, cups, etc get such disproportionate attention.

Bathwater that heats every pore of our naked bodies is probably even more susceptible to this bias.
Yes. It makes you better. The data provided shows it doesn’t make you as much better as other things but experience will make you better.
What blows my mind about natural selection is sexual selection. The selection of individuals in a species. Individuals. Sure it's over extraordinary lengths of time. Most of the time. And in tons of species.

Then like floating trees carrying the first ancestors of a type to a new shore there's, again, evolution at the scale of the individual.

Mah brain explode.
Sometimes non profits can get special deals. They can apply for tax exemptions (in the U.S.)
Devil's advocate, could there be some sort of inactivity timeout for a profile being removed? Your friend's device could have had it cached and then refreshed.
Are there other light color schemes similar to Solarized? The only one I have found is “Base16 Atelier Dune Light”: https://base16.netlify.app/previews/base16-atelier-dune-ligh...

EDIT: Thanks for the suggestions!
> no weasel words

The video starts with him reframing the question instead of answering it
Is there no scope or meter part? Playing around with the examples it's visually impressive but is there a way to probe say the voltage at a particular wire?
Hm, do they stream user's camera feed to their server? Seems like a questionable practice if the user is not made aware of that.
> Why don't the majority of large-brained animals have many eyes

Because of the cost of additional eyes. If Tesla is optimizing for cost against safety, that's sort of the point.

I don't believe that's totally the case. Andrej later makes a better argument regarding limited R&D bandwidth, noise and entropy. But the "I would almost reframe the question" evasion was disconcerting. It's a textbook media trained tactic for avoiding a question to which you have no good answer. That it was deployed here badly against a skilled interviewer such that it backfired is a valid observation.
If only we had a stream control transport protocol and were allowed to use it.
> Why can't we build distributed networks?

We can... but I'll argue, very hard, that we shouldn't. Because it's the wrong technology to solve the problem, being based on the very things that are well targeted, understood, and frequently compromised.

If the problem is "Cell phones are compromised through and through," which I'll argue they are, and Apple's addition of Lockdown to work through the fact that even their best sandboxing efforts have been bypassed argues for as well, then "doing things with cell phones" is a horrible idea, because once either an endpoint is compromised, or a tap is within range, you're still giving your adversaries everything they could desire. Both of those are basically certain in a protest.
It's interesting that everyone (including the author) talks about UDP as a lossy protocol, but it doesn't seem that UDP drops actually occur on a routine basis anywhere. The UDP-based DDOS attacks seem to prove that; if UDP really was being dropped, those DDOS attacks wouldn't be so problematic.

That said, it's an interesting read. TCP is inefficient, but that inefficiency has been patched/masked by hardware solutions.

It's nice to see that someone's still thinking about this this. I remember the days when there were tons of non-IP protocols floating around (IPX, DecNET, AppleTalk, etc). TCP/IP won, which was not an obvious thing at the time.
Twitter is very left leaning.
There isnt really a way to gather the data free from a manufacturer, every current self-drive mode has limited operating scenarios, if you want to record an incident you first need the manufacturer to confirm that it was operating, and that it was one of the intended use cases.

Companies are less interested in safety vs a human to begin with, they have a emphasis on not causing any accident they are culpable for.
FWIW, that's what happens for large customers too, from my past experience. Someone aims the DDoS cannon at one of our webservers [1], and if the traffic is above the threshold, that server's IP gets blackholed for a while. As a large customer, you do get to have some input into the thresholds, and how long the blackholes are, and to definitely have traffic blackholed rather than put through some crazy filtering apparatus that adds so much latency it'd be better to drop everything.

OTOH, we always had at least 4 webservers, so if just one got blackholed, no big deal, update DNS so most of the real users make it to the available servers, most of the abusers will keep hitting the blackholed server and not move on. If your abusers aren't run of the mill script kiddies using a rent-a-ddos service, it's more difficult.

[1] it's almost always the webservers, not the servers that do real work
> but some go down the deep end and actually develop mental issues from faking having mental issues so long...

Given the number of mental disorder that first show major symptoms in later childhood, early teen years, I sometimes wonder how you would distinguish someone with a "real" disorder, and someone who "faked it til they made it".

I also find it sort of weird how much as a society we're hung up on hunting down fakers. It's oddly pervasive once you start looking around, and I worry that in many cases we're doing more harm than good. Our obsession with finding people that are fakers about pain has led to immense pain and suffering for those that need pain treatment (and like my question above, it's amazing how many "signs of addiction" look exactly like "signs of someone in pain and being un(der)treated. Fears of fakers makes any government assistance program a nightmare to get into, and a nightmare to navigate, never mind the number that are held back.

In the end, I wonder what is worse, for 100 teens to be over diagnosed, to go through life thinking they have a disorder and being medicated when they don't need it, but for 100 other teens to get the help and support they need for real problems. Or for those teens to be untreated. To go through life convinced they're just lazy, or stupid or just not trying hard enough. But at least their normal peers aren't being overmedicated or convinced they have something wrong with them that they don't.

Sure in an ideal world, 100 teens would be treated as they need, and 100 others would not as they don't. But in the real world, it feels like we often lean towards preferring some suffer so that those that might be faking don't get their way. And I'm not convinced that's a good thing.
To some extent, the architecture of xi-editor was inspired by similar thoughts - not escape codes, but updates to the UI specified as JSON-RPC, and with one process handling the nitty-gritty of UI, the other (in Rust, but conceptually language agnostic, in fact Go was under serious consideration) specifying the application logic. The original implementation only stood up an editor, but making that rich enough to support a full IDE experience could conceptually support other GUI applications. I wasn't particularly familiar with MGR, but the Blit[1] had somewhat a somewhat similar flavor and was definitely on my radar. We even considered the possibility of running the protocol over the network, because at heart it's just byte streams (and already somewhat optimized, as the idea was to use intelligent diffing to minimize the work needed to be done by the UI process).

It didn't work out. It turns out to be very complex to support modern UI, and making it async upped the complexity even more. I'm not saying this couldn't be done, but these days I'm much more interested in UI architectures where everything is in process and more tightly coupled.

[1]: https://en.wikipedia.org/wiki/Blit_(computer_terminal)
Well given how much we have learned about exoplanets, I'd say that at least one number of the assumptions are rather moot. The "how many stars even have planets" can be assumed to be basically "all of them" statistically speaking. ( https://www.nature.com/articles/nature10684 ) and while we can't yet say much about the specifics of their composition (a spectroscopy of the light passing through earth sized exoplanet atmospheres is at the cutting edge of research, with people mostly still working on new instruments, and trying to find lucky candidates where we can get any reading at all with current instruments) but we can definitely impact the lower bounds a bit here since based on current data, about 1 in 5 stars is suspected to have an earth sized planet. ( https://arxiv.org/abs/1311.6806 )

So the "... if only one in a billion of these stars is a sun with a planet... ... and only one in a billion of these is of earth size--" is now " 1 in every 5 stars has an earth sized planet and if only X% are earth like"
Interesting project!

One thing that isn't clear to me: how is the stable diffusion output displayed to the painter? Surely not through the VR headset (at such a low frame rate)?
Agreed.

Also not to pile it on -- it's a complete tangent, really -- but every time I read the word "whilst" I cringe and wonder why the author didn't write "while". IMHO it adds no additional information or nuance, it's an archaic word that's long since departed from spoken use, and its presence in a sentence serves only to signal a failed attempt to sound sophisticated. Maybe it's just me, but for some reason it always triggers this reaction of "oh get off it, stop being pompous". /rant /tangent
You are greatly overestimating the functionality of the sensors, and underestimating the importance of the rest of the system. Sensors are important, but the majority of the work, effort and expense is involved with post-sensor processing. You can't just bolt a 'Lidar' on to the car and improve quality of results. Andrej and other engineers working on these problems are telling everyone the same story. The perfect solution is not obvious to anyone, and they have chosen one path. Engineers aren't trying to scam people out of a few dollars so they can weasel out of making high quality technology. This has Nothing to do with cost-cutting.
I watched a video wherein Damon Lindelof talks about how they wanted to end the show after 3 seasons. With its success, ABC wanted the show to go on for 10. Apparently the network kept negotiating, not understanding the creators weren’t playing hardball, they wanted to end the show.

There has been plenty of hit shows prior to Lost, but I think it was one of the forerunners of the modern TV show, where the producers were planning on making something complete rather than just an infinite ratings monster.
Since when? When I used them they charged $10 per TB of bandwidth
> Isn’t that his point though? Where exactly is he not saying that?

Andrej eventually gets to it. But his first response was to evade. Lex is a skilled interviewer. By not letting him wriggle out of a difficult question we eventually got a substantive answer. But Andrej's first instinct was to evade. That's notable.
It's very likely be more cost-efficient to just use a standard heat-pump ("air-conditioner") set on the 'heat cycle' instead of intermittently mucking around with bath-size amounts of water.
If this story is true (don't take any stories about Twitter at face value without named, verifiable sources), then it's likely it's about more than just verification. It'll be Twitter Prime or some such, and it will come with a host of benefits.

Actually, given what we've seen with Tesla, it will come with a host of promised benefits, which will be delivered over a randomish period of time, but which you will pay for as if they existed all along.
>“series bible” for battlestar galactica

You mean the Book of Mormon?

https://en.wikipedia.org/wiki/Kolob#Kolob_as_the_inspiration...

https://www.beliefnet.com/entertainment/movies/2005/05/born-...

https://www.deseret.com/2014/11/22/20553208/mormon-creator-o...

https://www.millennialstar.org/battlestar-galactica-and-morm...

http://www.mormonthink.com/glossary/battlestargalactica.htm

https://www.quora.com/What-are-some-Mormon-themes-in-Battles...
Wonder if this is a strong argument for public transit too. While self driving cars are developed let make every effort to figure out if we can get people to take the existing self driving trains and subways…
> That's not sarcasm.

Regardless of the user's intent, I think it's at least misleading to claim that it represented the site as a whole.

I personally believe that it's sarcastic considering Kiwi Farm's history with Trans Lifeline. They exposed the founders for embezzling money and not answering the phones; the founders were removed by the board, but not before going on a public crusade claiming Kiwi Farms was responsible for the death of someone. This was back in 2016 and is the earliest instance of that claim, as far as I've been able to tell.

https://www.reddit.com/r/asktransgender/comments/5d5qgb/tran...

https://archive.ph/m1sfd

https://web.archive.org/web/20190412085911/https://www.faceb...

https://corinnacohn.substack.com/p/the-world-should-not-need...

I spent a considerable amount of time digging through internet archives to better understand the drama. It became clear to me that, while the owner and many users of the site are deplorable, they are not the cartoonishly evil caricature that people claim they are.
I would also add that Tesla's sensor systems, while perhaps higher quality, are not exactly new ideas. In one form or other laser/radar-based systems have been in cars going back to the 90s for early collision avoidance, automatic cruise control, etc.[1] Longer in other applications.

At least one study seems to suggest those sensors when deployed in automatic emergency braking systems do have a measurable impact on collisions.[2]

Let's say the failure rate on the sensors was 1 in 100 (I'd be shocked if that many were defective). That means 99 other Teslas are using mutli-sensor systems and not driving with degraded capabilities. It's an asinine claim that doesn't pass basic logic tests. The only way they weren't a substantial improvement is if Tesla's measurements were conducted in only the absolute most ideal conditions for cameras and no other scenarios.

[1]: https://en.wikipedia.org/wiki/Adaptive_cruise_control#Histor...

[2]: https://www.forbes.com/advisor/car-insurance/vehicle-safety-...
You might like one of the lighter gruvbox variations:

https://camo.githubusercontent.com/e814989a4842426cbafd88f51...

https://github.com/morhetz/gruvbox
Don't buy one of these devices! They include spyware, and constant phones home to Chinese servers. They also have a number of GPL violations which makes the company not worth dealing with.

https://blog.tho.ms/hacks/2021/03/27/hacking-onyx-boox-note-...
Outcomes have to be truly and utterly fucked for "new" types of problems to be noticed in the automotive industry. Take the Toyota Unintended Acceleration case, where completely negligent software quality took over a decade and at least 89 lives to be noticed and (partially) rectified.

Regulators have keen noses for very particular types of issues and rely heavily on manufacturer judgements on a lot of the rest. Issues that aren't in any of those fairly narrow categories need to be extremely public or extremely egregious to attract their notice.
I think re UDP the point regarding it being unreliable is that you have to design your applications to take the unreliability into account, because it does happen even if it may be infrequent: assuming that it is reliable when you can get unreliable behavior will result in correctness issues.
I agree water temperature at the tap can vary quite a bit. My parents place has the water go through an unheated crawl space and they would regularly keep the tap on to avoid the pipes freezing when temperatures got unusually cold. Further many municipalities extract water from rivers which experience significant seasonal variation etc.

My comment was simply in reference to well water which has very consistent temperature and will warm or cool the soil surrounding pipes at any reasonable depth if you are using water regularly.
Gruvbox [https://github.com/morhetz/gruvbox] has always seemed quite similar to me, particularly in its light modes.
> did not strike me as a dig

It wasn't a dig. It was calling out a bullshit move that, in my opinion, Andrej deployed out of panic more than strategically. (My evidence for this being Andrej eventually gave a good answer.)