skysight-inc/HackerNews huggingface dataset:
Isn't that child abuse or something? Dumping their kid into an isolated environment without their medication and without people's knowledge... Sounds like a horrible idea.
Addition: I'm doing other stuff so still haven't read much of this, but one of the first things I see is "Since the above type depends on the value of the type DatabaseContext ... this construct is, unfortunately, impossible in Haskell."

I think it could have used an explanation of what DatabaseContext is supposed to be. It looks to me like the -XDataKinds extension could handle it. There is also Dependent Haskell on its way, though I don't know the current status of it. And again, look at Ur/Web, which I think had this under control. I was expecting to see something about Pi types, like in the Power of Pi paper which describes using them for database schemas. Maybe that is further in.

https://cs.ru.nl/~wouters/Publications/ThePowerOfPi.pdf
> Wasn’t alcohol popular historically because of it’s innate sterilization?

I don't think brewing low-alcohol beer as a means of sterilizing water was important until human population density hit a certain threshold in the middle ages.

The human body should have been able to handle most things found in water we consumed until human waste and leftovers from human industry started heavily polluting rivers.
> Perhaps this is unfair, but this just makes you sound a bit antisocial. You're actively trying to remove all of the personality from social media, and filter it down to just professional or single-interest posts.

Does everyone have to be social via social networks nowadays in order to be considered “social”?

Can’t we just be social, you know, face to face? And then just leave online media to news/facts?

It’s so weird to me that in order to be considered “social” it’s not enough to just be social in person.

Have we really come to that?
In general, it hasn't. Unless there are at least competing interests with similar sized bank accounts or a _very_ strong and _very_ vocal preference from voters, lobbying wins.

We've legalized bribery in America, we just call it something else.
Being killed is a type of dying, it's not different to dying.
Fair enough. The whole gay marriage thing just really annoyed me. I have some close friends who are struggling with such prejudice every day. And that's in a country where marriage isn't a problem for them.

It's one thing for an employee to have private views but another for a CEO to actively try and influence the law. Especially for something that's in my opinion totally a private matter between people. I don't want to support the brand because of that.

But I'm not doubting his skills as an engineer. It's more about the brand and its values. For a public figure like a CEO these things are hard to separate, I understand that. But we live in a world where a brand is more than just a name on a sticker. If I'm using it I'm also supporting the associated values.

But I agree the way I said it was hyperbolic.
Yep, killed two on my thumper.
This is cool but the next one about the Texas power grid failure was awesome. Thank you. Sorry for the off-topic.
> A big squeeze is coming as the boomers enter extreme old age in droves while needing round-the-clock care, possibly for a decade or more, for geriatric conditions without cures.

Many old people have drinking problems. Someone I know personally has certainly contributed to his own deterioration.

> And then there's the problem of medical costs that relentlessly rise much faster than inflation, putting ever more pressure on nursing homes, families, and governments.

Prasadic medicine is medicine that concentrates wealth, but doesn't provide what the patients actually need: https://news.ycombinator.com/item?id=21728864
The very first sentence of https://en.wikipedia.org/wiki/Deuterocanonical_books contradicts your comment.

> The deuterocanonical books (from the Greek meaning "belonging to the second canon") are books and passages considered by the Catholic Church, the Eastern Orthodox Church, the Oriental Orthodox Churches and the Assyrian Church of the East to be canonical books of the Old Testament

The Catholic Church alone has 1 billion followers. Your bullet points after that seem to be cherry-picking and outright fabrication.
I saw it live on TV when I was 17, in the southern US. I'd never been to NYC before or anywhere near it. The way events were unfolding, and then the cut to the Pentagon on fire, I genuinely thought the entire country might be under attack, maybe even my own city eventually.

I was excited to watch this again, mostly because I had zero understandng of the world at that time. It was interesting to see the reactions of the anchors with my older eyes, seeing them display genuine empathy and shock at what they were seeing.

I remember whichever channel I was watching at the time, the anchor continued to question exactly what was going on, but with this site I was able to see other anchors! After the second plane hit, the one I wasn't watching live said it was an obvious terrorist attack, which is a shock to me. I kinda assumed everyone was as confused as I was.

Another shock: I got to feel again the genuine fear I felt then. In all the years that have passed and my anger at all the adults in my life for becoming bloodthirsty and cheering on Bush and the Iraq war, 9/11 had morphed into a vague meme. A symbol of so many of the terrible things I'd eventually learn about the US government.

I'd forgotten just how scary everything was on that particular day.
The other side of this is parents latching on to this reality and thinking their child cant possibly have any attention deficit issues

My brother got an adult diagnosis and would have benefitted a from a child diagnosis
Yes, this description does capture the fundamentals of the process IMO.

Particularly the part about not being satisfied until you exactly execute what you had in mind, as opposed to funneling everything through layered techniques that lose fidelity.

The problem with this is that it involves reacquiring orientation over and over. Each time that is done successfully, it becomes easier to hold onto more details at the same time, and execute with more finesse, but it requires the interest in the subject to come from a very fundamental place in order to keep getting back on the horse with a centered mindset that retains focus on the bigger picture, and doesn't get distracted with shortcuts like you mentioned.
Hmm, I tried to post a comment earlier: did comments get erased from here? Anyway, this looks neat, and it might be worth looking at older drawing tools like Pic and GraphViz for inspiration.
Decentralized Crowd Works
Could you combining-character an aleph-1 symbol on top of one of these?
> A bad hire can utterly destroy a company. See the fiasco with Timnit Gebru.

As far as I can tell... Google is still around?
Many people, including myself, disagree with Moxie's stance towards decentralization.

I wrote a blog post comparing Signal's approach to the approach taken by many decentralized networks: https://snikket.org/blog/products-vs-protocols/

And others have written their own:

- An Objection to "The Ecosystem is Moving": https://gultsch.de/objection.html

- "Have you considered the alternative?" https://homebrewserver.club/have-you-considered-the-alternat...

- "Re. The Ecosystem is Moving": https://blog.jabberhead.tk/2019/12/29/re-the-ecosystem-is-mo...

Decentralized networks can certainly move. They may not usually move as fast as a centralized one can, but that does not make reliance on a central entity a good alternative.
I saw these and thought

“meh, nested generic”

I’m ruined.
> What was shocking is how few people bothered to question the system.

This is always what gets me: people will willingly walk into their own demise. I just don't get it, it's quite depressing frankly
Sudden infant death syndrome (SIDS), hides high rates of women killing their infant babies. Apparently society is not ready to admit that women are capable of doing this. So this is just a convenient disease to hide it under.
Watched a documentary on this many years back on CBC.
That’s an interesting take.
I recently had to move, and I designed my new place in sweethome3d before the move in order to know where the furniture would go immediately when I arrive. The result was quite good and you can see it here exported to html/js (though it's a 15MB download) https://nessuent.xyz/schlemann/
What else would anyone expect from the literal morons at economist.com?

Are people ever going to realize that these self-appointed corporate media experts are the biggest parasites in the history of the earth?
That was my approach too for a long time. Thankfully I had at my disposal something untypically (for its era) capable of modelling interestingly rich structures (capable of modelling syntaxes in fact), but still it’s a bit of an antipattern if taken to the extreme.

If you’re not careful, you end up with things like CRUD apps, leaving a lot of work to the user. To break away from this, you need to start thinking in use cases, user journeys, and so on. Not that data isn’t vitally important, but it’s not everything either.
It's not much better in Europe.
I'd add that for a diorama like this you could probably get by using Sketchfab instead of Three.js. When the focus is on the art it makes it much easier to get assets imported, lighting set up and working right, camera controls, etc.
> I think it's indisputable that they have the resources and nibleness to either absorb via acquisition, take significant positions in (via venture funds) or kill any emerging markets that would actually replace their market positions.

If the answer is (1) acquisition, that's a good reason to invest in the companies attempting to disrupt the space -- you're making the incumbents pay for that monopoly status. Even if they aren't disrupted, you're profiting from their anti-competitive behavior.
Agreed. It's hard to hire senior people with experience in anything much. I strongly suspect that our industry has a self-inflicted injury where we make developers - even people who are meant to be doing deep algorithmic stuff - do web stuff and devops and 80 other ancillary things - then we jump up and down because we can't find people with experience at higher level things.

Even at a very senior level, I've been asked to do some ridiculously sysadmin-ish stuff that I'm not good at, and I've seen more junior people loaded up with web/testing/devops/admin work to the point that the majority of their time is no longer being spent on what is ostensibly their job.
react-three-fibre is just a method for writing three.js code in a declarative way. It doesn't impede anything about three.js, so you can't really outgrow it and fall back to plain three.js.
That is incorrect.

For every buyer, there is a seller. If you bought for $1, then other market participants sold for $1. If you sold for $100, then other market participants bought for $100. If money in your account went up, then money in other market participants accounts went down. The money went through the market - it didn't come "from" the market.

*obviously the story gets more complicated with dividends, shorting, share issuance, buybacks, etc. but the principle remains the same

Very often you cannot reason about the aggregate the same way you reason about an individual. The aggregate can never have more or less market exposure than average, even though individuals like you or me can.
This was a component that ran under the print spooler so there was no ability to run the 32 bit version in 64 bit Windows. It really was bad for him and good for me.

Of course he could have re-written it in C++ and maybe that was what he did in the end, I never checked.
I love the overall web design, by the way.
In math, when you care about the details of how small one thing is compared to some other thing, you probably use little-o notation. It's the same thing you're probably familiar with from computer science.

So if y is small compared to x, you might say y = o(x), or if it's really small compared to x, you might say y = o(x²), or if it's really really really small, o(x⁶)... whatever you need for your proof.

(o(x²) is more impressively small than o(x) because x < 1)
When is macOS going open source?
Never? Why would it?
In a way, yes.

I think about this a lot. My hypothesis is that social status is increasingly, and will be increasingly, dictated by your "follower" count. How many eyeballs you can attract. Even worse, in my opinion, it will be the primary driver of people's perceptions of you. Basically how good are you at getting attention?

It seems a bit ridiculous to say, but I observe the "high status" or high follower count people networking more and more exclusively with each other. On the other side I see traditionally "high status" people developing their online persona - whether its a youtube channel, twitter account, substack, podcast, etc.

We are in the middle of a societal restructuring (that much is obvious) in a way that the internet is now injecting itself right into the middle of social hierarchy and relationships.
> Consider this: if you have rights simply because you are human, then there must be something different about humans that gives them those rights, which chimps and bonobos don't have. What is that?

Uhm consciousness?
Seeing either of those pretty much puts my brain in the same place, even though I agree with the SJW side. Reading people argue about it just stresses me out and doesn’t help anyone. It’s like being in “fight or flight” mode with no option to actually fight or flee. The opposite of the way I feel after a good workout.
TFA states that the docs were classified and later probably destroyed. This was a side result of the games being manufactured in military factories
New Google Tensor details surface, reveals it has dual Cortex-X1 super cores
Well, sort of. The notation is common in the sense that if you're taking a math class where the concept is relevant, that's what's going to be used. But it's not so common to take a class like that.
Very soon (in your dreams).
China's Gaming Ban – Well Intentioned but Misguided
It was before the abortion law. The trends suggested it would be a battleground state in two to four years. I won't touch on the irony of anti-imperialists colonizing Austin, TX.
Calling police is rolling the dice on a range of possible outcomes often times putting you in the crosshairs and rarely resulting in what you would expect.
I had a similar issue with VoWiFi on my network due to EDNS, and it's rightly pointed out by msilverlock in forum.

# dig vowifi.jio.com @1.1.1.1 A
;; ANSWER SECTION:
vowifi.jio.com. 5 IN A 49.45.63.1
vowifi.jio.com. 5 IN A 49.45.63.2
;; SERVER: 1.1.1.1#53(1.1.1.1)

# dig vowifi.jio.com @8.8.8.8 A
;; ANSWER SECTION:
vowifi.jio.com. 4 IN A 49.44.59.36
vowifi.jio.com. 4 IN A 49.44.59.38
;; SERVER: 8.8.8.8#53(8.8.8.8)

https://community.cloudflare.com/t/vowifi-issues-due-to-poss...

As the article links to and says "privacy versus convenience", and I am happy that CloudFlare chose the former.
What states that are left are actually going to sign on?

And do you really think the current Supreme Court would let that stand? It seems unlikely to me.
Why should the rich cater to the needs of the common person?
For example, pill + condom, IUD + condom, etc.
Just for kicks, this series should end with a guide to LaunchAgents :)

(Also does anyone have a good guide to LaunchAgents? I have an old Mac lying around that I’d like to never have to physically log in to, generally want it to run some things as a non admin user after startup.)
> what odds would you want in a bet on whether the sun would rise tomorrow

How would you denominate such a bet? I don't think money would have much value in a world where the sun failed to come up one day.
what? where at?
It partially is already, but not really enough to be useful. (https://en.wikipedia.org/wiki/Darwin_(operating_system))
Humans may even "be conceptually mirrors" (whatever that may mean): this still doesn't make mirrors be humans (conceptually or otherwise).

Current language models are much more closer to "Dissociated Press" (i.e. an equation that tells you which which words are more likely, given the context) than to "human thought", and the fact that humans learn by copying does not really change this.
But... why the latter?
That doesn't justify violating somone and stripping them of their rights. There are plnety of possible nterventions short of that
The recent voting laws they passed are more of an obstacle towards TX going blue.
Coming from Windows, I have just 2 small wishes: ability to drag windows to the edges to quickly organize them side by side, and ability to disable the drag lock - you currently either have to click or wait for a second after dragging anything.
And beyond experience and environment for working from home, there was an incredible amount of stress from circumstances outside of work...
Some Challenges of Freedom of Speech
Presumably a CDN has better and more direct peerings with ISPs than LinkedIn, or admittedly archive.is.
Does medium force you to be exclusive? Else why not do both, it takes a fre hours to set up and afterward 5min per post to post it nicely on both medium and your own site. In return you can have your own newsletter signups, freely link to ehatever you want, ... and have some independence if medium ever decides they don't like you (or you decide you don't like them).
Just keep applying. Look at a bunch of cities. It could be worth it to relocate.
Snow shoveling is a strenuous exercise and gets the heart pumping fast. Temperature doesn't mean that much while doing hard workouts outside.

Last winter I was drenched in sweat while shoveling my yard and it was -15c outside. Only wore slim pants and long sleeve shirt.
I can imagine this might end up looking like a triple store fairly quickly. Which is fine if total flexibility is what you want but just moves the modelling problem upwards.

Did (or Do) you have any heuristics, or rules of thumb, for deciding how much to break relationships down into separate entities? I could see getting that wrong could lead to tricky db migrations.
Does Azure use Firecracker like AWS Fargate? It doesn't sound like it. Firecracker isolates the execution environment for every container to a unique VM and network, so breakouts would require a VM breakout.

I have to say, this is so bad/out of date that I wouldn't use ACI for any business needs until I see a live dashboard with the versions of the software they're running so I can look for CVEs. I might as well host my business apps on an early 2000s shared web hosting provider.
Imhotep - The vizier of king Djoser (c. 2670 BCE) who designed and built the Step Pyramid. He lived c. 2667-2600 BCE and was a polymath expert in many fields of study. His name means "He Who Comes in Peace" and, after his death, he was deified as a god of wisdom and medicine. He was identified by the Greeks with Aesculapius and was invoked in spells for healing. His medical treatises claimed, against convential belief, that disease was natural in origin and not a punishment from the gods.
Seeing Oni (codebase archived), vim, and Visual Studio Code in a row tells me that this list needs an editorial direction.

Because a list of cross-platform, *nix or electron apps in any state of release doesn’t mean much.
Pearl Harbor was unforeseeable. We knew the range of their planes and did not remotely expect that they would come anyways, when a return trip would be impossible. 9/11 on the other hand, was deemed a real threat during Clinton's administration.
Can you find me a OLED 4K HDR TV that’s sold in Australia at a consumer level that has no internet connectability?

I’ve been searching for months, I’m yet to find out. The market has varied enough that I can’t see a way to avoid it and still have a TV that supports modern imagery enhancements and standards.
> Smaller companies aren't going to land the candidate from a top 10 school who already interned at multiple Fortune 500 companies

One thing I have worried about though is they might require someone who is more experienced. I have noticed there are not many small companies on my school's job board. Would you know of a place where I could find these?

Another commenter mentioned checking the website of VC firms for start-ups. I think I will give that a shot.

I appreciate all the help from everyone in the thread, I am reading all the comments.
Your claim that describing Haldol as a sedative is disingenuous is entirely about intention and justification, not about anything material. Yes, you can use it with the intention of improving a schizophrenic's condition. That doesn't make it any less of a sedative.

If you give Warfarin to somebody at the dosages used to poison rats, it'll probably kill that person, too. I think I get what you were going for with the comparison, but all medicines are very light poisons at the dosages in which they are administered (all substances in general are poisons at the right dosages, really) but Haldol is a strong sedative at the dosages at the dosages in which it is administered.

And can we really say categorically that we aren't actually using the sedation itself (to some degree) to calm the schizophrenic?
> You test the logic the same way people have tested term-level logic for years. You say "this call to my function with these args results in this output."

What is the value of adding this to types then? Besides increasing compilation time?

> For the examples, you need

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
import GHC.TypeLits;

type AddTest = 2 + 2 ~ 4

main.hs:5:20: error:
* Expected kind `Nat', but `2 ~ 4' has kind `Constraint'
* In the second argument of `(+)', namely `2 ~ 4'
In the type `2 + 2 ~ 4'
In the type declaration for `AddTest'
|
5 | type AddTest = 2 + 2 ~ 4
| ^^^^^
exit status 1

So far "easily check type-level computation as well" fails to be easy.
Show HN: Awesome-Japanese-A11y-Companies
You could try out Rectangle [1]. Other alternatives would be magnet (paid) or veeer (free).

[1]: https://github.com/rxhanson/Rectangle
Exactly, that is why applications that don't want to break with each OS update don't touch those APIs, making them irrelevant for application developers.

Also, contrary to Windows, since Android 7, applications that link to undocumented APIs get terminated as security measure.

Ask the termux guys how much fun they are having by refusing to acknowledge the fact that they have to use JNI and not Linux syscalls for their stuff.
1) I wished over the last thirty years I had saved a little more money for now. It would not have taken much, just $50-100 a pay check saved up would have come out to a lot even without other investments that would pay better.

2) The people who let him go better hope that he does not know some vital piece of info that will bit them the following year for example. They may have to pay him big bucks to come back. Remember they already go rid of the other older programmers already.
Believing unaccountable decisions placed in the hands of powerful doctors without recourse results in a professional suicide assessment is not what actually happens. You may be detained for no reason and have no recourse. They may pump drugs into you.
In Mac, you can tile two windows on the screen to organise them side by side. See the Window menu. I can’t comment on the second wish.
True. I see it all as a collective effort to maintain control. In the same vain that firing unvaccinates federal employees is a quiet ideological purge.
> a good guide to LaunchAgents

https://launchd.info/