skysight-inc/HackerNews huggingface dataset:
Btw this is the same problem with any kind of proof system that depends on terms and has exceptions / divergence / null (i.e. anything that can generate a term of any type).

Same problem would appear in Haskell, where you can define a term of any type (using a divergent function); the actual value is never executed (because of laziness), so it would crash at runtime. In OCaml, the type system would accept this, but it wouldn't crash (because the "any type" term cannot actually be created, but would result in an exception and/or divergence).

The correct solution is for the type system to track "computability" and require that all terms used in proofs are actually well-defined. Liquid Haskell in particular had this problem that they had to solve by enforcing strictness for such terms.

(Also, technically generic functions in Java/Scala aren't "parametrically polymorphic" - which means that you cannot do any operation on a value of polymorphic type - not even `typeof`).
Well... the Republicans are also doing self-owns rather a lot lately. It's almost like both sides are trying to lose. (Or maybe it's like both sides have drunk their own kool-aid.)
Image caption says “KFinder”.
Yes, telescopes are not rockets, and they’re not satellites. But to say they’re entirely unrelated is silly. Even if a reusable rocket is 10x easier to build, it’s obscene to justify a 10 year delay.
Nonsense and hyperbole
when there's no javascript those attributes do nothing and your webpage acts like normal. ie, link clicks do a full page load. so your website works with or without javascript.
Firstly I started building my new house.

Also I searched new job opportunities, and I'll start working on new one with more better conditions, more meaningful product and also significantly increased my compensation.

During the rest time I generated a lot of great ideas not related to work.

And most importantly I've improved personal life.

Thanks for asking
It's not perfect and you wouldn't want to trust it for a habitat. It requires the surfaces to be pretty meticulously clean and it's not as strong as traditional welds.
What it needs is Rust style static lifetime management.
Haven’t heard about this before but it reminds me of a scene from the 1995 movie “Hackers”.

Scene in question: https://www.youtube.com/watch?v=Mdha_OV5saI

IMDb page for said movie: https://www.imdb.com/title/tt0113243/

I wonder if the scene in Hackers was inspired by the real world hacks that the OP article talks about.
They are doomed. Anything that bets on React is doomed. So much wasted money could go to revitalizing the world. They'll lose all of it on nonsense no developer asked for.
I would argue otherwise. I stopped using Wordpress for my personal blogs because they radically changed the writing tools and unless you self-host you are stuck with them. It isn't fun to write on a Wordpress blog any more.

They are also 'chasing the money' and adding more tools and features for 'professional bloggers' who want mailing list tools, more SEO tools etc.

Fair enough, they will never make money from folks like me but they seem to have gone all in with that market and made it difficult for anyone else to use the tools for a more traditional blog.

I moved to Hugo and Markdown and am happy but I know that for a lot of amateur bloggers that isn't going to be a solution.
If you give up your 51% share, sure.
As a side note: the 70s saw a particularly high level of inflation. Note that the equivalent price in 1980 was ~$85, so it doubled in one decade. If that level of inflation stayed constant (doubling every decade), then it would be equivalent to about $1,280 today.

https://www.wolframalpha.com/input/?i=40usd+1970+in+1980
> I don't think this phenomenon you're seeing is because of anything Facebook is doing to metaphorically stir the pot.

Maybe not stir the pot specifically, but it’s their user experience and they own it. Which post shows up first on my feed greatly alters the user experience, and FB has to make a decision on that. It’s not chronological, and it seems to frequently involve me seeing 3 day old shitstorms.
I don't think it's better than a feeling? Like, just a quick scan shows the same few things or totally unrelated content.
> The real problem is who gets to decide what classifies as hate speech.

This is really hard because there are so many claims done in bad faith.

For example, comparing Michelle Obama to a chimpanzee is incredibly racist, but people will claim it's not, and will claim it's no different than comparing Marjorie Taylor Greene to a neanderthal. But this is entirely a bad faith claim, since the comparison of black people to primates has been a racist trope that spans decades or even centuries.
Pretty sure Adventure beat out Pac-Man for being the first ported game, being that it was ported back in '77, before Pac-Man first went to arcades.

https://en.wikipedia.org/wiki/Colossal_Cave_Adventure

Note that Pong and Space War were both ported before Pac-Man, as well, though Space War didn't get a home version before Pac-Man to my knowledge, it did get ported from mainframe hardware to an arcade cabinet before Pac-Man existed.
How do you feel about GCP?
See also "cram-down round" :-)
All the time. It would frighten you
They earn a fee from merchants and, despite what they say, I believe most of these companies also have products that aren't zero interest (Affirm also sells some of its loans...I have no idea about this, I have relatively good knowledge of accounting but I am not 100% on the accounting for this so I have no idea whether it actually generates income).

The fee from merchants is interesting because the claim is: the fee from merchants is going to be larger than the losses from making bad loans (and the costs of servicing). I am very sceptical of this. Management describe their underwriting model as largely using stuff like the product bought, the retailer used, the value of the order...it just sounds very suspect. And that is before you consider the valuation, the legislative risks, the interest rate risk (doing 0% loans stops making sense if interest rates rise), etc. I am in the UK and these kind of businesses usually trade at very low multiples because the regulation in the space is so high.

I would regard $10bn market cap as a pretty jazzy valuation for Affirm, the stock is at $35bn.
That was not the description I read in official materials: that said the plan was to leave the sample containers on the track. It can't be both, and there can't be any uncertainty. Did they change plans?
IMO any script that makes any real changes (either to the local system or remotely) should take some kind of input.

It's one thing if your script reads some stuff and prints output. Defaulting to the current working directory (or whatever makes sense) is fine.

If the script is reading config from a config file or envvars then it should still probably get some kind of confirmation if it's going to make any kind of change (of course with an option to auot-confirm via a flag like --yes).

For really destructive changes it should default to dry run and require an explicit —-execute flag but for less destructive changes I think a path as input on the command line is enough confirmation.

That being said, if it’s an unknown script I’d just read it. And if it’s a binary I’d pass —-help.
Good. "Hate speech" is a false label. All it amounts to is speech that some subset of society finds disagreeable and seeks to suppress. Some things that are classified as "hate speech", like explicitly racist content, are disagreeable to most of society. Even in those cases, I prefer upholding a universal right to free speech rather than suppressing open discourse. The ACLU of old became famous for defending civil liberties even when it came to disagreeable groups like the KKK. Even though the ACLU has since abandoned their classically liberal mission (https://www.tabletmag.com/sections/news/articles/the-disinte...), I think it is worth thinking back to how Ira Glasser ran the ACLU previously, in a principled manner where it was important to defend those rights at all times.

For the modern world, I think it is important to expect that giant private conglomerates uphold the civil liberties given to us under law in those private spaces they control. After all, they function more like a public utility and common carrier. Otherwise, they will abuse those powers in various ways, for example if their employees have a particular set of biases. It is unacceptable for our most basic and ubiquitous forms of communication to be controlled by tech giants that ignore fundamental societal values like free speech.

I also want to point out that not everything that is labeled "hate speech" is clearly bad. For example, Ibram X Kendi defines "racist" as anything that perpetuates inequities across racial groups, meaning differences in outcomes (rather than differences in opportunity). I think most people would not consider a difference in outcomes to be racist, but under Kendi's definition (which is part of the "anti-racist"/CRT movement), even something like an objective standardized test can be viewed as racist. So should speech defending standardized testing be censored on social media? What about speech defending Kyle Rittenhouse, which Twitter/Facebook/etc. have been censoring under their policy around violence/dangerous individuals, despite the recent ruling? Similarly, gender identity and trans issues are highly controversial and there is significant debate on how to deal with it. Does it really make sense to censor open discussion of this issue while it is so current? In all these instances we already have a tried and true solution - let the speech happen, let debate run its course, and avoid simply letting those in power control speech and other outcomes. I'm not sure why that ever became controversial.
Dollar Tree says US$1.25 price point to become new standard
I see SO MUCH inflammatory garbage. Every 3rd post is some new sponsored or recommended post from "Canadian Truckers" or "Car Society" complaining about Biden's gas prices (??), or memes about Kardasian plastic surgery, or "Let's Go Brandon", or companies selling socks.

I don't follow ANY companies. I have about 50 friends from high school and college. Actually, one friend owns a coffee shop so I follow their page. How do I let facebook know to stop showing me shit about truckers and right wing terrorism? Like, I block it, and it is back a few days later.
Big nostalgia. I was born in the mid 70ies, and remember having books my parents got me with these sorts of techno-utopian illustrations. It all seemed so cool, and maybe we were headed that way.
The movie is an excellent piece of early cyberpunk. They were doing the "operator get me out of here" two decades before The Matrix.

The British TV interview show is meh. The American/ABC remake even more meh.
My horribly finicky but wonderful DSLR videoconferencing setup
Though having 25% larger gallons in the UK helps too. (Not that there isn't truth in European cars having been more efficient for thirty years).
if I had to guess, not a Googler...

Someone in a tech role wrote something like "because of the limitations of XYZ system we can't get a crisp measurement of the number of 404 errors customers experienced", failed to add a ballpark estimate because they thought everyone was on the same page about severity, and someone polishing the language saw and interpreted as "I mean, who can really say whether there were 404s?"

And the latter one would have been originally written as something more normal, then someone else read it and objected, "Most customers were outside of the blast impact!" (or somesuch) so then because the purpose of the post was informational to all customers, instead of scoping the apology to the customers who were impacted they came up with that language.

Committee communications are a painful mess, and the more important everyone thinks an issue is the more likely they are to mangle it.
From my limited experience, it removes filters sort of like being drunk, except without as much debilitation. The mean things being said could have been someone that enjoys being a bit mean (snarky/biting) but refrains from friends, or someone that is sometimes unintentionally insensitive but is more cautious in their speech normally to prevent it, and that caution is lost.

For me, it was a chance for me to ask a bunch of questions of people about things I was curious about but were probably none of my business or impolite to talk about, so I suspect to some degree I was guilty of the latter one.

I will say that it was incredibly enjoyable when I took it with the people I was with, which were in mostly safe and contained environments. If the draw to both immediately do more and to seek it out weeks and months later to repeat the experience wasn't so strong, I would recommend it to everyone to try at least once. As it is, I would be cautious if trying for the first time and space out usage if you tend to overindulge and/or aren't one to naturally self-regulate.
My understanding of HTMX is that the main draw is not having to write JS as a dev, not not having to run JS as a user.
> I remember reading about why Go doesn't need generics, yet here we are waiting for Go Generics to be ready

Hey, us generics-naysayers are still out here (grumbling)! :)
Love the product description!

"Works great for scientists or people working with small amounts of the powder "
Oh interesting find. Makes sense
McDonald’s briefly had these small plastic spoons as coffee stirrers in the 70’s. They really looked almost designed for coke. We made a lot of fun about it. By the next year they had switched to a flat plastic stirrer that could not hold anything. I think they heard all the jokes about getting a Big Mac and a Coke.

https://dangerousminds.net/content/uploads/images/made/conte...
Suborbital Compute public beta: a deep dive
> english can be rather odd.

The more fanciful terms of venery (aka nouns of assembly) are very much deliberate contrivances.

> In the course of the 14th century, it became a courtly fashion to extend the vocabulary, and by the 15th century, the tendency had reached exaggerated and even satirical proportions.

https://en.wikipedia.org/wiki/Collective_noun#Terms_of_vener...
Exactly. Many people are one regulatory change away from alot of problems. Another potential issue is insurance - if your life insurer obtains records that you’re buying marijuana, your family may see their insurance claim challenged if you carry a non-smoker policy.

“Background Checks” are the magical non-solution for many problems. Between work, church activities and youth sports, I probably have 6-8 entities running background checks of varying levels of intrusiveness on me annually. I’m sure that information is shared with all sorts of third parties.
Apple's Music app and their devices don't support FLAC, but they do support Apple Lossless format. It's annoying to have 2x the files if you want to support both ecosystems, but if you only want to have lossless music in Apple-land, you can use XLD to do a one-time convert.
Certainly morality is a shared part of us all, it was evolved to create ingroup cohesion and resist outgroups in humans, so there are a lot of commonalities like reciprocity, justice, etc.

It’s the divvying up of ingroup and out group that tend to create disagreements in morality. I.e. we understand forgiveness, but we disagree who is worthy. We understand justice but we disagree who deserves punishment or why.

That tends to make a pretty big difference in results and conclusions.
a board removing you doesn't need any fanfare. you still have the shares.

You do, but there isn't always a secondary market to sell them on, and if you leave under a really bad cloud the board will attempt to take the shares back, or issue a bunch more for themselves thus diluting your shares in to oblivion (see Eduardo Savauvin vs Facebook for details.) I don't think you should make light of leaving "with your shares" as if that's the end of the story. It might not be.
"Rick Guidice" seems to be a familiar name behind the artwork. I too read books with this kind of illustration as a kid growing up and it makes me very nostalgic.
My original comment was "80% of the team is not in Europe either". I didn't say 80% in the US, and I wouldn't make that claim now.

Furthermore, as per above link, Employees (est.) (Jan 2021) 2,863. Romanian employees are not 800 as claimed in that article, and closer to 600. 20% of 2863 is 572.

Even 800 out of 2863 is 28%, and the actual number is less than 800. It seems we are much on the same page.
If you give up control.

Weighted shares let a minority shareholder have more than controlling vote in a company.

It is always important to understand the fabric of your company by reading, understanding, and following the terms of your Operating Agreement or Corporate ByLaws.

Manager Managed LLC vs Member Managed LLC vs C or S Corporation are most common entity types. Use the right structure to best protect your interests.
Wikipedia says 5 years. It's really hard to believe there's anything on the books that would cover signal hijacking and has a statute of limitations longer than 34 years. IANAL.

A more likely explanation for the lack of attribution is that the pranksters grew up and are more than a little embarrassed about their adolescent exploits. I know that I would probably not fess up to some of the nonsense I got up to phreaking/hacking in junior high and high school despite the statue of limitations passing long, long ago.

Could also be that they revel in the mystery.
I dont think this has to be true. We shouod be able to build perfectly logical and deterministic type systems--and ny understanding is that Java was unambiguous before generics were added.
Nothing is easy in space, but 304L SS is easier to weld than 2219 Al or Ti, the main structural metals on the ISS. Welding in space has been well studied by both NASA and Roscosmos. Most testing was done in the 60s and 70s in preparation for possible repairs due to high-velocity impacts. More reciently, testing has been focused on 3d printing via additive welding.

The main issue with welding in space is the lack of convection based cooling, which means the welds take longer to cool through conduction, which can result in a larger HAZ. Increasing the mass and heat capacity of the adjacent material greatly reduces this.

The lack of an atmosphere and contaminants makes space a near ideal welding environment.
MinNPM: Lose all those dupes in your node_modules directory
Systems Decomposition: Structural vs. Functional
I guess thats the same reason cords tend to tangle. There are many many ways for a cord to become disordered or form a knot. There are very few ways for them to be ordered. Hence untying corded earbuds everytime they come out of your pocket.
The TV stations used a big transmitter up on the Sears tower for their real signal. That got fed by a little microwave dish antenna pointed out to a relay "in the city". So if you could get an angle on the dish with a transmitter of sufficient power, you could feed your own signal into whatever channel.

"Hauling equipment up to the roof without getting caught" and "having haul-able equipment" are the technical challenges. IIRC they used a ~900Mhz system for that and even today I would have to spend some money to put a video signal out in that range, and another chunk to do it at any power.

In 1987 someone had to creatively borrow some very high priced kit to do that.
A compilation of news reports at the time: https://www.youtube.com/watch?v=dBOhFGmbSIs

"Captain Midnight" jammed HBO for almost 5 minutes in 86: https://en.wikipedia.org/wiki/Captain_Midnight_broadcast_sig...
What do public EV markets have to do with private PaaS VC investments?

You would have a case if Vercel has no revenue, or no chance of becoming profitable. I don't know their numbers, and I'm sure the multiple is high, but relating this to EVs is a non-sequitur.
Alert Dialog Flutter with close button
Links plz
> In a multithreaded program, a bump allocator requires locks. That kills their performance advantage.

Java uses per-thread pointer bump allocators[1]

> While Java does it as well, it doesn’t utilize this info to put objects on the stack.

Correct, but it does scalar replacement[2] which puts them in registers instead

> Why can Go run its GC concurrently and not Java? Because Go does not fix any pointers or move any objects in memory.

Most java GCs are concurrent[3], if you want super low pauses you can get those too[4][5].
Pointers can get fixed while the application is running with GC barriers

[1]: https://shipilev.net/jvm/anatomy-quarks/4-tlab-allocation/

[2]: https://shipilev.net/jvm/anatomy-quarks/18-scalar-replacemen...

[3]: https://shipilev.net/jvm/anatomy-quarks/3-gc-design-and-paus...

[4]: https://wiki.openjdk.java.net/display/zgc/Main

[5]: https://wiki.openjdk.java.net/display/shenandoah
Just a reminder the vast majority of collective nouns are essentially fake. Actual scientists have never heard most of them, let alone use them.
that’s what jimmy carter did and it didn’t work out great for him whether or not it’s true. it’s the same reason politicians don’t tell americans to get exercise or eat healthy
Haha, it was down for like 2-3 days. Prob waiting to announce a major security incident.
https://linuxreviews.org/Red_Star_OS mentions the UUIDs being added. More details are available in talks like the one from the CCC: https://www.youtube.com/watch?v=8LGDM9exlZw
If the form impeded function, it was easy to change. Some skins even made sure to cover all of Winamp's sections properly. The Invader Zim skin appealed to my 15-year-old tastes and still offered visible, functional controls with a readable playlist. Some skins looked cool, but if they removed options, they weren't used other than to show off to friends on occasion
Borderlands really shouldn't be the one getting credit for this art style. Codehunters was first: https://vimeo.com/7432584
It would be a conflicted moment to have to think about controlling a pest rhino population. A huge success and an ecological disaster all in one, but I think the risk of that is quite low as they are not a fast breeding animal and this program is in a closed safari park.

We have an invasive camel problem which probably serves as a good benchmark for what a pest rhino situation would look like here. There is a bounty program for hunters to get paid for eradicating them from Australia. It's a touchy subject, no doubt. But being hard hooved animals they destroy the top soil and kill the ecosystem our bugs and birds thrive on. Camels, sheep and cattle have done immeasurable damage to the Australian ecosystem.
I would follow Occam’s Razor to choose one or the other.