skysight-inc/HackerNews huggingface dataset:
Typescript can do Maybe and Either, but it's a little verbose because you have to manage the tags yourself.

For instance you can certainly do:

type Maybe<X> = { tag: 'just', value: X } | { tag: 'nothing'};
type Either<X, Y> = { tag: 'left', value: X } | { tag: 'right', value: Y };

function either<X, Y, Z>(fromLeft: (x: X) => Z, fromRight: (y: Y) => Z, xy: Either<X, Y>): Z {
switch (xy.tag) {
case 'left': return fromLeft(xy.value);
case 'right': return fromRight(xy.value);
}
}

Note that this is meaningfully different from the (often more idiomatic and certainly less verbose) untagged use of union types because you can distinguish left from right even when the contained types agree and you can distinguish different nestings, for better and for worse.
> Because let's be clear about the standardized test situation. Test takers had time to take the test, they weren't doing work on the side for their parents instead to make ends meet. They had transportation to the test location, they were able to pay the fees, and they were not being discouraged from college as “we can never afford that, I’m sorry.”

How big a proportion of the population is this that we throw out our most objective standard? Kids that don’t have time to take a test? I would wager the vast majority of kids have time for an exam.

Seems like we figure out how to get kids to the bus stop before we just decide that objective measurement is irresponsible as long as there’s a kid who doesn’t have the time for it.

Just to build on this even further, a kid who doesn’t have time for an exam also probably hasn’t had the time to build the educational foundation necessary to succeed at a university.

I can’t imagine some kid who didn’t have time for high school math succeeding in my engineering program, for instance. It might seem charitable to throw out the SAT and admit that kid, but you’d just be setting them up for failure.

What you’re describing is a different problem that needs to be solved. Throwing out the SAT does not solve it.
In the new Soderberg movie, Kimi, the protagonist's job is similar to this. Commands from human users the AI-thingy can't understand are provided for her and she "explains" them using some kind of structured language.
> They have a diagram explaining the theory of why this is skin safe (doesn't penetrate the outer skin layer). But I see no reasoning as to why this is eye-safe.

It's described why it is eye-safe in literally the same diagram.
Exactly. What teacher is going to fight for the B when the parents are complaining to the administration she’s keeping their precious angel from Harvard?
Not the person you're replying to, but in my experience going from Fusion360 to a new program due to license changes, FreeCAD has a lot of "boilerplate work" you need to do in order to get to modelling, including understanding the toolbars you need, parts, etc. but in Solvespace it's pretty much just draw and constrain like in Fusion360. FreeCAD spits out cryptic errors in a big log at the bottom that's pretty useless, but Solvespace tells you exactly what's wrong (generally).

It is missing a few things, like selecting a face won't let me draw on that face, which it probably should allow since it technically knows all the information about that plane (face origin and normal). And Fusion360's inset tool is invaluable for making stepped features from existing complex geometry without having to redraw and constrain a whole new set of stuff. And also negative extrusion distances, which are basically a difference boolean operation, should probably be allowed for usability. But overall I'm very happy with Solvespace.
There are already other resources which we (I’m an MD) already pay for and use to help make decisions when there is ambiguity about the best course of action. UpToDate was previously mentioned and it’s something we pay hundreds of dollars a year for (unless our hospital has a subscription). You’re not wrong about introducing these tools to medical students but the value needs to be there because it’s actually a very crowded space.
> The real culprit here is the lack of public infrastructure.

What was your area like? I grew up similarly poor but in a wealthy area and would walk several miles to a public library for early computer access, biked to school, etc.

Even then, our school offered SAT, etc.
I think we're in a circle: I'm objecting that we teach people to map everything onto the real line and you're saying that it's essential to quantitatively understanding the world. But isn't that what "quantitatively" means?

My point is that in the zoo of mathematics, the reals are just one exhibit. Equally valid is to map phenomena onto topological spaces, inner product spaces, sets, groups, rings, fields, lattices, topoi, etc... People have been standing on Newton's shoulders for so long that all they can see from there is ground well worn by their colleagues who stood on the same shoulders.

I think we'd be much better off if you had to specialize in some part of math, but that different people specialized in different parts of it without necessarily taking a major in it. This would maximize the sort of happy accidents that lead to discovery because for any given phenomena you now have a wider variety of perspectives on it, rather than just a classroom full of analysts.

I'm against the reals in particular because I think they're especially suited to zero sum games, and I wish we played fewer of those.
Agree. Statistics > calculus for the software engineers. Statistics > calculus for most people doing research as their papers would need to interpret t-scores, z-scores, confidence intervals etc. I don't understand this fetish about calculus.
I don't get it :/ Can someone explain?

EDIT: Apparently the emperor is asking to see if they share parents, and not to see whether the emperor is his father, as I originally thought.
>I would suggest you not hold stock for companies you know secret data about

I imagine the way this works out for non-idiot inside traders, is that their cousin or close friend holds the stock instead. Insider trading is really only discoverable when performed by the stupid or complacent.
Class divides have always been around IQ in every society.

Which is why CRT being pushed on children is so sick. They’re literally teaching children race Marxism. They’ve replaced the idea of class with race and now demand equity not between classes, but between races.
Also note that until Trump, The US government had an embargo against arming Ukraine due to their extreme Neo Nazi movement.

https://thehill.com/policy/defense/380483-congress-bans-arms...

Obama was well aware of it and had 100% hands off approach to arming Ukraine. The process of arming Ukraine started with Trump and continued with Biden when the US government realized they can sell their weapons without hurting any of their lives
(the exact same as arming Mujaheddin to fight the Russians)
Show HN: GPT3 tool – Transforms YT vids into Blogs
A simple GPT3 tool that uses the transcript, topic analysis, and text generation to create unique and SEO orientated blogs from a youtube link.

Looking forward to hearing your thoughts + improvements! :)

Lou
https://mitadmissions.org/about/about-web/
"3. OpenAI gets human-like responses by using the simple technique of... hiring humans to write the responses."

It worked for Theranos. Almost.

People wanted to believe in Elizabeth Holmes and what she symbolised. Similarly, people want to believe in "AI" and what it symbolises. For me, the question is why it seems more than ever people want to believe that longstanding, difficult problems are being solved without demanding proof. Perhaps it has always been this way.

The truth is that Siemens blood analyser works better than the Theranos one. The ruse was that if the results came from Theranos, people might attribute the work to Theranos, not Siemens. Meanwhile, Theranos used the Siemens analyser behind-the-scenes, as well as manipulations of test data to obscure the truth. The company had no intention to tell the public what it was doing to produce results, we only know what they were doing because of litigation and criminal prosecution.

"To be fair, OpenAI does state that "InstructGPT is then further fine-tuned on a dataset labeled by human labelers." But this still seems misleading to me. It's not just that the algorithm is fine-tuned on the dataset. It seems that these freelancers are being hired specifically to rewrite the output."

The comparison is not based on the question of exactly what OpenAI is doing behind-the-scenes, or whether its specific actions are comparable to Theranos or any other "tech" company example, the question is whether the origin of results is misleading, whether people are being deceived and whether the actor, here OpenAI, is aware that people are being deceived.
Pumped storage is simply a gravity battery. There are vertical gravity batteries that can be built anywhere. Basically they are giant cranes that lift heavy blocks high up. This is the storage component and requires electricity. When we need to drain electricity they move the high blocks to a lower elevation using the crane. This generates electricity. This seems like the perfect type of battery to me for urban cities with large towers already.
Exponentially means that it grows like exp(x).
and TAC/support is half the reason you buy from the known vendors in the first place. (the other being well rounded and actual trustworthy performance numbers when using more niche network technologies, especially in regards to encapsulation).

for a comparison, I once had an issue where both routers in a redundant setup failed within half an hour of each other. (was a pure coincidence, the setup was redundant).
then, the sparefallback unit would not boot, and jtac send us a replacement within 3 HOURS...
Yes, the paragraph break was there for a reason.
interesting, I think almost the complete opposite. I am happy where I'm at, but I most certainly would have preferred doing a math/cs double major rather than all the BS busy work of an engineering degree I went through. I wouldn't call 60 hours a week of symbol manipulation practical...
First, if you use an SSH CA, you don't necessarily have the first-use problem at all; that's part of the point of SSH CAs. You've resolved that problem the same way TLS does.

Second, an attacker targeting your keypair-backed SSH session on an insecure first-use gets your session; against a password, they get your password, which is strictly worse.

It's not my claim that keypairs neatly solve the first-use problem with SSH (though: that problem can be solved, with more keypairs). It's that keys are categorically better than passwords. Which, of course, they are.

The alarming thing about this thread is that there's a couple people here that clearly seem to believe logging in with a password to a "new" SSH server is safe. It's literally the basis for the "Wall of Sheep" at hacker conferences; they were doing it at Usenix when I was there in 1998.
>"People holding opinions without any evidence is a modern plague, you shouldn't be defending it."

What's your basis for this? Show me your work.
Anchored in the previous weapons program. Sold as the energy source of the future. Which as we know today did not pan out without huge subsidies. It's like renewables from 1990-2010, the difference being they entered escape velocity and now stand on their own legs.

The ones still investing all have nuclear military ambitions and want to share the costs and industry with the civilian side.
It’s not just the getting to a testing center, it’s awareness (and cost) of the process.

Was a long time ago now, but parents weren’t really worried about or involved in my college prep process, so I had to figure it out for myself.

It wasn’t until later I realized it would have been better to start taking the test way before graduation. To say nothing of the benefits of test prep..
9 Alternative Tunings Not for Guitar (2016)
It's been a while since I've written Go but back then the idiomatic solution was a C-style enum and a fair amount of hope.
I am impressed: I tried a couple of python libraries / tools and got all perfect results (official docs / man page)
I'm considering adding this to my bookmarks to more easily find documentation (since it's usually hidden by 50 km of spammy blog posts) since the only issue I could notice was the speed.
I mean I guess it wasn't really that "fantastic" of an idea, but that aside it feels like OP was lacking imagination in terms of the addressable market. He tried the two markets with the most obvious business model -- consumers and doctors.

But if consumers weren't going to work because the advertising revenue wasn't lucrative enough, and doctors weren't willing to pay for the solution, then it's time to get creative.

What about insurance companies? Insurance companies have a vested interest in picking the right drug because they are on the hook if the outcome isn't good. Or what about the pharmaceutical companies themselves? Would they pay for the data for use in their own marketing campaigns much like "4 out of 5 dentists agree"?

TLDR; OP went all in on two obvious markets but didn't think out of the box in terms of who might be willing to pay for his product.
Most important Slack etiquette ...

Don't @channel large channels after hours!
India’s futures market needs a rethink. Look at our pepper, cardamom sales
Another hairbrained idea:

This is just a region of the universe that started out with a smattering of mass-energy in the early universe. What we're seeing now is the residue around the edges after gravity has merged the denser lumps of mass-energy into galaxies, black holes, stars, planets, etc. Subtracting out the initial mass-energy, but missing certain regions of sparse mass-energy due to relative gravitational isolation. Throw in whatever topological changes in spacetime due to inflation, perhaps, if so affected.
The research on IQ heritability is abundant. You’ll get death threats if you point out the research though.

It’s inconvenient and correlates with SAT performance. Hence the big push to get rid of the SAT to try to hide the disparities in general cognition within groups and between groups.

https://www.cambridge.org/core/journals/journal-of-biosocial...
It's harsh, but the conclusion of what he's saying is also very liberating, namely, that in your interactions with your employer, there is no "social animal" on the other side of the table caring about your needs, so learn its language to protect yourself and take responsibility over preserving your own humanity.
Yes, PyCharm also has remote options.

But I see a lot of people writing code on remote machines. A good keyboard + baremetal FreeBSD (no GUI) machine is an absolute pleasure to write code on.
Thanks, I changed the settings for complex question answering to high depth but slower and got "I love sushi. I'm learning". Then I tried medium depth and speed and got "pizza, I love it" haha Then I went back to best bet, and it answered "I'm not sure yet" !
Wonder how many years before every wall is a screen that will be installed like wallpaper.
Or is being paid for...
Though both have the word "nuclear" in the name, nuclear power and nuclear bombs are not the same thing.
Fortnite only has cosmetics as rewards if you buy the battle pass, which costs less than 10$ for a season that usually lasts about 3 months. That is less than for example World of Warcraft used to cost, which was more like 15$/month (iirc).

It is an ongoing massively multiplayer game which also incurs server costs, so I don't think asking for a voluntary subscription is too much.
I got the four SPF+ port microtic, some eBay 10GB cards for my VM server and my ZFS NAS, and connected one port to each, along with one to the 10GB uplink on the old Nortel switch and one to the 10GB port on the Mac (that one is the only one that was cable ethernet instead of fibre or direct connect).

Works fast and well. The fifth "management" 1GB port goes to my router, 1GB is way faster than my internet anyway.
I'm thinking every house has its own panels, and its own batteries. Grid is optional. You'll have to be more careful about energy usage perhaps, and maybe personally invest up-front for enough battery and power storage. Maybe the grid is still connected and you can sell excess power, or connect in an emergency (maybe it's expensive?).

I do have very little reason to doubt that costs for batteries won't come down drastically in the future. If it doesn't, it might just be an investment you make when owning a home.

Just thinking out loud here.
Wow. As someone that isn't in the US, but grew up watching a lot of US TV, I had this same assumption. How the fuck is the primary method of judging student admission to University not a government run service? Wow.

As you say, contrast that to my experience where everyone took University Entrance exams in their final year of school. Score over X and you have the right to go to a university. Don't score high enough? The university can still choose to admit you at their discretion.
It suggests they have the same father
Ok, so in your eyes, unless we can be absolutely perfect, we shouldn't do anything and let Ukraine get invaded and destroyed, and let Russia fuck around as much as they want to.

You're blaming others for thinking that position is utter madness?
mosh + tmux makes this largely a non-issue.

(source: I've spent the last 5 years working primarily on a physical server in a proper dc and just connecting into it from thin/fanless laptops)
Wikipedia says there are 34 Springfields in the US: https://en.wikipedia.org/wiki/Springfield_(toponym)
I'm asking why it would be surprising that humans are reviewing answers and then making improvements to the model. There's no evidence of hardcoded answers.
The Past and Future of Flag Emoji
true! but looking at some zoomed spiders and they also feel alien, so what do i know..
Calculus changed the way I look at the world. I suck at math and had to repeat calc ii, but holy hell am I thankful it was a core requirement at my school. I wish more liberal arts kids could have the same opportunity.
I am glad to have somebody acting on this stuff.

The original design for FASP's flow control was developed in China and applied in a router: you would have one at each end, and it would spoof TCP for clients. That was a huge flop, because it didn't say Cisco on the nameplate.

The Aspera principals realized they could implement it in user space using UDP, bypassing the network infrastructure purchasing cabal, and sell directly to the users who had data to move.

I always wanted to get the astronomy community using it (e.g. to Antarctica and Atacama, Chile) under a free license, but never quite got there.
Well, Rosh Hashanah rather than Jan 1, but point taken.
When is the announcement happening for the members of congress that made investments in key areas after they were briefed on covid-19 and potential impact?

> We are a free market economy. They should be able to participate in that
I was asking more about class divides becoming IQ based. Do you have a citation for that.
Feels like a failure of business model imagination or just not enough runway to try something different to me. OP didn't even take three swings at bat.

It's not the sexiest market if you're looking to win a Nobel prize (lol) but insurance companies seems like a potential customer with a large financial incentive...
There's a certain subtle ego disorder that creeps up on you slowly when you're used to regularly being introduced as the smartest person someone has met, and you let that slowly become part of your identity. The people I knew who failed out had too big of an ego to seek help, and even were afraid to work too hard, because that made them feel less smart. They didn't outright brag, but were used to others doing their bragging for them, and had a kind of false modesty about them.
The legendary GDC talk, The Prototype that was Banned from Halfbrick, describes the unpleasant adversarial effects of some multiplayer games like this, and how they can escalate to be really unpleasant experiences for all involved.

https://www.youtube.com/watch?v=t9WMNuyjm4w
Ask HN: Is it reasonable to ban Windows OS from our workplace?
This is mainly due to security concerns and secondarily for ease of maintenance of network/systems.
UAE crypto push sees Bybit, Crypto.com announce Dubai offices
juniper mx204 would be a great box for this..

but far pricier then mikrotik..
TL;DR:

i didn't read the whole paper but so far i gather that EU countries with higher home ownership have lower wealth inequality.

the causality appears to be that the need to save money to buy a home in those countries drives people to accumulate more wealth, thus lowering the wealth difference.

the real question now is how does that wealth actually affect the standard of living?

i posit that in countries like austria and germany everyone regardless of their wealth is permitted a high standard of living, in other words, being poor does not matter as much.

also, at least in germany, homeownership is actively discouraged because you have to sell your home if you want to get financial support from the government.

it would also be interesting to contrast this to the US which also has a high wealth inequality, but higher home ownership
I’ve been doing this for many years now—happiness is not keeping one or more beasts of machines in my backpack—and I still do this over SSH tunnels (maybe I should finally migrate to the WireGuard hotness).
Did the Jews who escaped Nazi Germany know to do that because of what they were reading in the news?

I get that we all want to avoid dangers and that knowing about them in advance helps. I just question whether reading the news is a good way to do that.
And in the context of Haskell, non-nullary type constructors are still types. They don't happen to be the types of any values, but they can still parameterize types, be constrained by type equality (eg. a ~ Maybe), etc.
I don't think it's gonna be a nuclear war, hydrogen already replaced the nuclear bombs long ago, one will be enough to wipe the problematic countries on the planet, stopping them from doing anything else
Ukrainian telecom company's internet service disrupted by 'powerful' cyberattack
Latin is what almost the entire Western academic literature prior to the 19th century was written in. You may or may not know this, but Google Translate didn't exist. So, it was essential to anyone undertaking academic studies at the time (in the West) to read Latin, though not to write it. Nowadays English holds that position, despite Google Translate.
> Why are people who should otherwise be much smarter than this

Being smart at your job doesn't mean you aren't ignorant. In fact, I'd say the culture of equating "good at computers" meaning you are probably "smarter than this" does more to shield us from the truth of our own ignorance.
> How the fuck is the primary method of judging student admission to University not a government run service? Wow.

Probably the same reason that the Federal Reserve Bank is not a government entity (they only have a meaningless government "oversight board") even though it loans all money to the US Government with interest and has never been audited.
Not a lawyer but holding should always be fine. No trading is happening therefore it's not insider trading.
isn’t this what they use Palantir for?
Insider trading requires privileged access to inside information. Covid impacts to society are not inside/internal data to those companies, those briefings were happening when it was obvious we were having a global pandemic to anyone paying attention.

The inputs to the deductive reasoning process were public information.
Not sure I would call the area I lived in wealthy. Probably middle-class suburban area. My high school at the time did not offer SAT/ACT testing on campus. If I recall correctly, and it's been a while so I might be misremembering, the closest SAT/ACT testing location was at the community college in the next city over.