skysight-inc/HackerNews huggingface dataset:
It's been a long time since i've read anything so well written that was so devoid of any pertinent points. I'm only reading that page, but the only thing i've come away with is that breast cancer research is flawed, somehow, by what seems to be the most egregious lack of anything that approaches professional standards on the part of researchers.

Oh, and a graph with different lines drawn on it with a large space between some of them.
How is that not an argument?

A human can drive in the snow, and has a sensing package which effectively consists of two cameras.

The hard part (when you only have two cameras) is that the processor needs to be exceedingly sophisticated, e.g. a human brain.

People like Waymo have decided the best way to decrease the brain requirement is to add more sophisticated sensing that humans are fundamentally incapable of.

Tesla's strategy is more to just build a better digital driving brain with machine learning + lots of miles, because arguably all sensing mechanisms have their shortcomings. That being said, they still have a lot more than two cameras in their FSD package – just not LIDAR. They still have radar and other things as well.

Only time will tell which approach is better. Probably in the end the best approach will be to combine the two: a brain that is sophisticated enough it can drive with just cameras, but you throw LIDAR and such in their too to go the extra mile.
When you call it "full" and "self driving", I don't know how many qualifiers you can attach to it. I know it's not anywhere close to driving by itself, but between the naming and Elon Musk constantly talking about how level 5 (I mean, level 5 is the ultimate form of autonomous driving) is just around the corner, it's pretty easy to see that as misleading customers. All while they don't even bother to get a driverless testing permit from CA DMV.
Why do you want all of your employees to be the ones most resilient to stress?

Are you hiring for a fire department? The Navy Seals? Engineering section on a nuclear submarine?

Maybe, just maybe, things would improve if you had a few people who said 'no way' when someone tries to crank up the drama on your team instead of just grinning and bearing it.

Capitalists don't reward the quiet workers. They exploit them. Billionaires and wannabees do it remorselessly.
Some nerdish music done with code: https://soundcloud.com/santibraida/sets/computermusic
Tell me, when was the unification of Germany, and how did its borders get the way they are now? I seem to recall some unpleasantness with American and British planes.
No, they're probably talking about how modern z/Arch and POWER cores share a lot of HDL source these days.
MIPS and Berkeley RISC started an entire revolution. They appear "not unique" only because other ISAs copied them so thoroughly. I think it's safe to say that Alpha, ARM, POWER, PA-RISC, etc wouldn't have been designed as they were without MIPS.

Even today, comparing modern MIPS64 and ARM aarch64, I find ARM's new ISA to be perhaps more similar to MIPS than to ARMv7.
It's certainly rare, but it's not unheard of.

Mikhail Chigorin apparently learned the rules of chess at 16, but only really started playing at 27.

Gersz Salwe started playing around age 20, and apparently entered his first tournament at 36.

And in terms of blooming late, Oscar Shapiro and Bernard Friend became GMs in their 70s.

(Also, I don't see it stated anywhere that the prisoner was not an exceptionally-talented youth.)
I play for contra dances: https://youtu.be/v1hnVANv2hM https://youtu.be/rvhMZlJEuzo https://youtu.be/7r9x-5k4f9s
Yeah, of course. But it was always clear to me.

The problem is (a) the stock market is full of idiots that won't listen to real engineers like us, and listen to some bullshitty CEOs and analysts instead (b) the SEC and stock market is perfectly optimized and incentivized to maximize the amount of marketing bullshit coming out of company PR.

If people wanted more honestly worded things out of companies, we need to stop nailing companies every time they don't "beat" earnings estimates every quarter, and begin to understand how real science and real technological advancement happens.

The way NASA is funded, for example, is the exact opposite, and minimizes bullshit, but NASA and Tesla share a lot in common in terms of what they're trying to accomplish for humanity.

EDIT: Okay maybe NASA wasn't a good example. But in any case, the current structure of public companies and letting a bunch of gullible <strike>sheep</strike> average citizens collectively determine the value of a company based on what a bunch of <strike>clowns</strike> non-engineers in suits at Wall Street try to make of a highly technical venture isn't a system optimized for minimizing bullshit, it's quite the opposite.
I vaguely remember ISO wanting to make their standards freely available a couple of years back, but the BSI (British Standards Institute) blocking the move, because it conflicted with their business model.

I can't find a reference to it though and it was only briefly announced during an ISO meeting. Is there someone from ISO who can back this up?
Good stuff, like the idea of 1 day projects. In my experience the tracks I’ve actually finished are always the ones that came together pretty much in a day. Otherwise they get lost to time.
OT, but does anyone remember the easter egg in excel that literally opened up a flight sim?
I tried the onyx max 2 as development device and was surprised I missed colored syntax highlighting so much.
> This is from memory, but the TLA+ toolkit distinguishes between your "specification of your algorithm" and a (bounded) "model of your specification".

That's right, I'm remembering now. So yeah, the "models" are the ".cfg" files (which as you can see from the Makefile snippet are actually specified with the "-config" argument.

The .pcal files are actually just "normal" TLA files with the generated content replaced with

\* BEGIN TRANSLATION
\* END TRANSLATION

pcal.trans doesn't check to see that there's something there, since it's just going to throw it away. So I call them .pcal, but they're "really" non-generated TLA + pcal.

> It's amusing that you want some TLA CLI tools that work kind of how the LaTex toolkit works, another of Leslie Lamport's contributions...

I've got a number of tools I've written for my own personal use over the years, and TLA+ has "one person spent a few decades being both sole author and user" fingerprints all over it. :-)

> Please do!

Tomorrow I'll look through things and if it's suitable I'll post my git repo somewhere.
It's only right at the edge a stall condition, under most normal situations the controls are stable.
Increasingly I just feel like humans are terrible and should all be wiped out. How can people not appreciate this stuff? It terrifies me it will all be gone and all we will have is McDonald's and endless used plastic bags...
> The issue is Arabs and Jewish people not anything to do with Islam, Christianity or atheism.

Religion has a lot to do with the issue. Religion and ethnicity are often strongly related especially for Jews. Judaism is the main element that identifies Jews together and the vast majority of Arabs living in Israel/Palestine are Muslims.
I think "ECMA C#" lags behind C# as implemented in .NET, but still.
__ A simple investment decision application __

Imagine that the outcomes are different levels of your wealth at the end of the year. For example A is $500k, B is $50k, C is $200k. What is the utility function that describes your preferences? (There should be one if you're rational in the sense of the EUT axioms.)

Surely we agree that you prefer A to C and C to B.

But would you prefer to have $500k or $50k with 50%/50% probability or to be certain of having $200k at the end of the year?

EUT doesn't give you an answer. Of course it's easy to calculate the expected value of the first alternative ($275k) but nobody says that you should prefer the "risky" $275k to the certain $200k. That's the point of introducing utility functions in the analysis, that preferences may be non-linear.

What EUT says is that if you're rational (etc) there are three numbers U($500k), U($50k) and U($275k). The expected utility of the first option is 0.5 U($500k) + 0.5 U($50k) and the expected utility of the second option is U($200k).

These expected utilities can be compared to see if you which option do you prefer. If you prefer one, you could also be indifferent.

EUT says that the rational decision is to chose the option with higher expected utility.

__ Remarks __

EUT doesn't fix the form of the utility function. Usually it's assumed that instead of linear it's concave. This means that a certain dollar is better than a dollar in expectation and you would never take fair bets.

(The fact that people plays in the casino where bets are not even fair could be explained with convex utility. One could explain it as well saying that there is utility obtained from the entertainment that offsets the monetary loss.)

The utility function describing someone's preferences could be very complex. Simple models are used for many reasons including tractability or theoretical properties. For example power functions (logarithmic utility is a special case).

There are some reasons to like logarithmic utility (including growth-optimality arguments) but it doesn't work too well empirically. This is why, at least in some settings, it may be better to use the more general power utilities that have a parameter that can be adjusted.

Using logarithmic utility, the $200k option is preferable to the $500k/$50k bet. The certainty equivalent is $158k.

Logarithmic utility (like the rest of the power utilities) is scale invariant. The amounts could by 100 times larger or 100 times smaller and the answer would be the same.

Does Ole Peters claim that the use of EUT here is wrong? I guess so. Parallel universes again, probably.

Would you say that there is a problem with EUT up to this point?

What are the problematic assumptions made by EUT? In my opinion it's EE who cannot really solve this problem without making "unphysical" assumptions. The solution corresponds to using the logarithmic utility above, EE declares any other preference the agent may have wrong.

(To be continued, maybe.)
My least favourite interview technique has to be "talk me through a complex problem on a whiteboard". It's not so much the stress but the fact that you can't have a train of thought longer than 5 seconds before someone finds the silence awkward or interprets it as you're lost and breaks the silence and train of thought. It's a test for solving complex problems in 5 second blocks while being constantly interrupted.
As Remote Work Becomes the Norm, Vast New Possibilities Open for Autistic People
https://archive.vn/qmwuf
"does" is not exactly the right word here. "Proposes to do"?
His explanation for the red light is "the front wheels were in the intersection before it turned red". I'm pretty sure it could have stopped on the amber, as required.
I make electroacoustic minimalism. Here's some tracks:

https://substrates.bandcamp.com/

https://open.spotify.com/artist/36l78sjjYKYQfEwlEPytBN?si=Mo...
Your comment reminds me of related thing, with building codes in the US. The Supreme Court recently ruled they could not be copyrighted, for the reasons you say, they are laws that need to be available.

These codes are often produced by a single organization, "International Code Council", a non-profit somewhat analagous to ISO, which I believe sells them to governmental jurisidictions which adopt them as law, sometimes with some customizations or "choose A or B" choices.

One of the parties to the lawsuits involved happens to be a Y Combinator funded company, "UpCodes".

https://archinect.com/news/article/150195411/supreme-court-r...

https://www.constructiondive.com/news/construction-code-purv...

https://techcrunch.com/2020/11/16/a-court-decision-in-favor-...

In the US, if there are any cases where an ISO code is mentioned in law as legally binding in some way, it's possible someone could try to challenge the ability to keep from sharing the relevant standard text freely. It's not exactly the same situation, but this supreme court decision provides a possible path anyway.
The article is blaming private equity, but realistically either companies charge money, companies sell your personal data, or companies go out of business. If people want the "fully free" version there's always "Log in with Facebook"

I pay for BitWarden Premium at $10/year, I'd rather pay than get the rug pulled from me.
The fact that I see stories like this happen about once every month or so makes me incredibly uneasy about Google in general. So many individuals who have lost literally all of their email correspondance, photos, and digital apps they've paid for, simply because some random algorithm decided to cancel them.

And then, notoriously there is almost no way to deal with it or get the accounts back online. Only in a few rare circumstances does someone luck out and hit the right person on HackerNews or Twitter who actually has the ability to restore things.

It's absolutely terrifying and kafkaesque in many cases.

Folks ask me why I generally try to direct them away from Google... it's stuff like this.
>If they pay for Google Fi and Google Fiber then obviously they can contact customer support. There's a phone number and everything.

Assuming the issue you are having isn't stopping you from using Google Fiber and Google Fi as well. Otherwise you couldn't use your phone or internet.

This is one of the reasons you should be diversifying your providers, but there still is a possibility you couldn't easily contact Google.
This is what Gartner says is #3, and I would consider them fairly reputable as a source.

Once you get past the big two, it also probably depends what you consider part of their market share. Like some include Office suites and some don't, so it probably gets less accurate.
Covering up your competitors ads with your own sounds a lot like "mess with the web experience at will and for example hijack competitors’ web shops".

Disclaimer: I work for Google Shopping, but not the ads part :)
What hasn't he delivered on? Does he have any track record of delivering what's been promised? If I recall correctly, proof of stake already started to roll out this year.
Henry G. Baker Archive
This sounds a bit like Google’s Portable Native Client.
I start with Wikipedia's list of maximum entropy distributions, pick the one that best represents the category for the kind of thing I'm reasoning about, and then update it with what data I happen to have.

It's usually simpler than it sounds, and helped me put together a lot of quick decision models, sales forecasts, etc.

https://en.m.wikipedia.org/wiki/Maximum_entropy_probability_...
India's renewable energy sector a $500B opportunity
Intramural, sure, you can organize some soccer games between adjacent dorms as part of the responsibilities of the dorm admin, but in terms of paid programs, no.
Beta = hands-on until it becomes not Beta

They're clearly trying to get as far as possible (data flywheel) until they absolutely have to get authorisation from the regulators.

This is just lawyers doing lawyer stuff. Of course Tesla are aiming for complete automation.
maybe it was lost in translation, as in "drain this money" :P
There's Cavibloc, which is supposed to reduce cavity-inducing bacteria. It was developed at UCLA. There's also CloSYS, which is basically a highly diluted bleach that clears your mouth of bacteria. It is ADA approved. There's also Xylitol, which is also supposed to help reduce bad bacteria. I've been using all of these for the past year, and my most recent dental cleaning had almost no tartar buildup, which is really unusual for me. I have poor flossing habits. You can look into the book "Kiss your dentist goodbye" by Dr. Ellie Phillips for more info. FYI she's not a quack, but some of her claims have been controversial among other dentists.
I was prescribed Ciprofloxacin for traveler's diarrhea when I was traveling internationally for an extended period of time. I knew it was some hardcore stuff, so I didn't use it until it was a last resort. A single dose, and within 40 minutes I was experiencing neurological effects. I called a nurse-on-call and was told to discontinue. No permanent effects I know of, but it basically gave me temporary dementia. Definitely a medication that should come with stronger warnings. I know it's the only valid treatment for anthrax infections, but for general use it should not be prescribed.
I have a 2021 model 3 and autopilot is a really bad driver. Teenager learning to drive with poor habits bad.

I went for a 500km+ drive on Sunday to visit new supercharger locations (it's been a long pandemic and I'm pretty bored). It was mostly rural highways without lane separation or limited access. These are some of the most dangerous roads to drive on since there is direct oncoming and cross traffic. Speed limits are 80 km/hr, but the prevailing traffic flows at just under 100 km/hr, so closing speeds are around 200 km/hr.

I hardly ever turn on autopilot since it's just bad at driving, but there were long stretches of completely straight roads with multiple minutes passing between oncoming vehicles. Even in that specific circumstances Autopilot made some truly weak decisions about its basic driving style.

It attached to the centreline between lanes which limited the gap with oncoming traffic. When I drive myself in the same circumstances I attach to the outside of the lane to maximize the space I can give oncoming cars. With the amount of room autopilot was giving even a small twitch or moment of distraction would be enough for disaster. If the event was timed poorly enough even a computer system would have no chance to react in time to physically manoeuvre the car out of the way.

Autopilot makes no accommodation for blind spots. When traffic is flowing at full speed on limited access or other multiple lane highways I adjust my relative position with other vehicles to ensure I'm never spending long periods of time in another driver's blind spot. If we're travelling the same speed I create a gap to ensure a quick lane change won't result in contact. Autopilot will continue along completely oblivious and no taking good defensive driving precautions.

There is a youtube channel featuring collision footage from Tesla onboard cameras. Nearly every collision when autopilot is engaged is a situation that never would have occurred in the hands of a skilled driver who anticipates issues and prevents dangerous situations from every occurring. Without knowing the specific collision that's about to happen in the video in most cases I can see a dangerous situation starting to develop I would have reacted to seconds before the collision actually occurs.
Humans don't need LIDAR.
I use k9 right now for my fastmaol account, and that works fine. I just can't use my school account that is gmail.

I'm not sure how you're using it?
So lying about the date, and not reporting properly was the problem not the price in and of itself. That makes much more sense.
Depth is just an extra parameter d, which you pass to the recursive calls as d + 1. This is still elegant compared to tracking depth in a non-recursive solution.

When you add this parameter to a recursive solution that is lacking it, your compiler will flag all the places where you are neglecting to pass it, and you just copy and paste d + 1 into those places. Or at worst, it will be caught as a run-ime insufficient parameters error.

At the end of this exercise, you not only have working code, but an inductive proof that d has the correct value everywhere. There are no cases where the depth is mismanaged, as could happen in some iterative solution where you must insert assignments to d, that do not create any sort of error when they are missing.
> If your boss tells you to do something that might land you in jail: resign.

Let me make it better: resign, but also take precautions, in case after your resignation, your boss offloads some guilt to you.
Actually, this is not a deadlock at all really.

If a company wants to hire someone because of diversity, it’s not necessarily just because of diversity.

In the article, the author describes their experience as having been different than non-diverse candidates, therefore creating a sense of personal doubt about their abilities, however unfounded.

If given two equally qualified candidates, giving a preference to diverse ones does not present any deadlock. If you’re not just hiring someone for diversity, then you are doing that due diligence. Additionally, I would hope also doing the due diligence to make the environment you are hiring them into welcoming as well. The authors stories reflect things breaking down in this regard in a big way as well.
A few messages below in this thread, someone writes:

"San Francisco’s only level 1 trauma center does not take private insurance, so if you are taken there, expect an absolutely massive bill despite how good your employer-provided health insurance is."

Sounds like this would be a worry for anyone in the city, software engineer or not.
I am shocked too. The highest advertised salary I've seen recently in the constant emails I get from EU recruiters is around €7,000/month (and that was with a message saying it's well above market rate). I have 15 years of experience in software engineering.

EDIT: I had written 70,000 per month but meant 7,000... which is 84,000 per year, or just below 100,000 USD.
So users you don't like?
" You mean, by voting for a Parliament that makes laws, the same as all other citizens? "

Nope: by not having a consitutuion that prevents any parliament voted in by the majority from treating them any differently than Jewish Israelis. Either in terms of benefits or obligations.

Equals is well, equal. Completely or not at all.
I don't know why precisely this story but it left a bit of an impact. I'm sorry for your lost twenties. I hope you can make the best of it.
Knowing people who worked there on lower salary. Recruiter invitations to interview there for a lower salary.

If you want to be more specific, you really want to clarify the currency and the location because there is a massive disparity.

The highest paying by far is Zurich, in CHF, that also happens to have the lowest exchange rate (though it's been climbing steadily over the past decade).
I would love an entire OS (like ChromeOS) & protocol around Excel/spreadsheet. you log in, and everything on your desktop is a spreadsheet : contacts, calendars, email/messaging, forms. Like a primitive hypercard with only table view.
But once you know it, it's EEZ to remember.
Thank you. Nice key phrase you have there for future search. I didn't know to look for flagging or that you could email for reconsideration. I will use that knowledge judiciously, if at all.
FOSS Events in Europe
I had a band where I was the only member. We wrote and recorded our own psychedelic rock. We called ourselves the Stardust Travelers.

https://soundcloud.com/karma-supply
Not entirely related, but I found MARS (http://courses.missouristate.edu/KenVollmar/MARS/) to be much nicer to use than SPIM.

More on topic, though, RISC-V seems to really be designed in a way that makes it easy to teach. This is partially why I have doubts that it can be made very performant, but the focus of a prettier design over a more practical one is probably going to help it be more accessible to students.
Over the years, the wife and I tried numerous shared calendars - but nothing has yet topped the one I made fairly manually in Google Sheets. I just copy a few rows down every once in a while and we keep it going. Color coded, Emoji for different types of events, each week is collapsible and shows just the emoji for that day. Never happier.

Every other calendar's interface and customization seemed like a limitation rather than a feature.