skysight-inc/HackerNews huggingface dataset:
I agree that there are problems, specifically when an ideology dominates an industry in a given locale. For single employee behavior, a company should have a code of conduct or expectation of some degree of professionalism because they are representing the company. If a single employee treats someone poorly, the business can be called out and hung out to dry. It is the business’s responsibility to hire and maintain employees that accurately represent their business.

In the case of Kentucky county clerk, that person failed at their position as a public servant to perform the duty they were assigned. If it goes against their personal beliefs, that is not the job for them and they can reenter the job market for a position they are capable of performing.

I don’t agree that business should have the same obligations as public institutions, but they must also be willing face indefensible criticism if they choose to die on this hill. Social issues tend to always be progressing on the whole in some way, and I would be in favor of government subsidized grants for small business owners who are willing to create a competing business in an otherwise monopolistic environment.

It’s easy to suggest that we should just legislate away undesirable behavior, but this does not solve the underlying problems and will simply be gamed as most laws lacking teeth or clear violation criteria are. It’s only when social pressures force a business either to rethink their stance or to close will you get meaningful results.
For some. I can’t use the Xbox one for long without pain. The position of the left trigger is particularly bothersome.

The PS3 controller was indeed uncomfortable, but for the past two generations the two competing consoles are on par. Some find one more comfortable, others the other.
Proxy cube drafting is my favorite.
> There is no alternative plan

That doesn't seem to be accurate: a new debt relief regulatory effort was initiated today, plus a repayment “on ramp” that limits the impact of ending the pause, plus a new income-based time-limited repayment program that will have low income borrowers paying $0. (The last of which was, IIRC, announced in principal around the same time as the forgiveness program, but not finalized in detail.)

https://www.ed.gov/news/press-releases/secretary-cardona-sta...

Regulatory notice on the first part is here:

https://www2.ed.gov/policy/highered/reg/hearulemaking/2023/n...
I've described it as a form of ego death in my own philosophy. We basically have three selves: self, self-in-world and self-in-society. Ego death happens when the self-in-world dies (derealization) or the self-in-society dies (depersonalization).

It's not actually that "self" that dies, though, just the associated narrative. You can still get emotional rewards of that flavor, just not from that narrative. Your other two "selves" have essentially voted it out and will no longer play along with it. The narratives can be as simple as I'm invincible or I have a special role to play in society which of course psychedelics can break apart.
Celebrating 20 Years of H.264: the foundation of modern Internet Streaming
Unconventional Paths: Climbing bum turned trauma surgeon
Haha you can always send a tick to the lab and start a course of amoxicillin preemptively. But it does get a bit expensive when your kids start picking them up every other week. Unfortunately the rates of Lyme disease in many areas aren't "tiny", it's at least double digit percentages of deer ticks that are carriers.
This explanation is always trotted out whenever a decision is unpopular, portraying the court as a neutral arbiter that's just reading the rules back to the public.

The truth is, that hasn't been the court's operating model since at least 1964, when the court decided Heart of Atlanta Motel v. United States (1964). In that case, the court decided that since someone could cross state lines to stay at a hotel, that Congress had the right to tell a business who their customers were under the Interstate Commerce clause.

For clarity, the Commerce Clause states that Congress has the right to Regulate Commerce with foreign Nations, and among the several States

The court is textualist or pragmatist depending on its political leaning. The court is political. The court has no code of ethics, and the mechanism to remove justices for bad behavior is ill-defined in the constitution. In summary, they get to play by their own rules, and pretending otherwise is pure fantasy.
> If the same-sex couple commissioned a website for a hetero wedding, the designer would be obligated, right?

Based on this ruling, no. The designer would be just as firmly within their rights under this ruling to say "I don't think anyone should get married, so I won't do a heterosexual wedding website", or to say "I think this person is too tall, so I don't want to make their website".

If the designer agreed to make a given website, though, then declined upon finding out that the customers were a same-sex couple (in a way that didn't change the contract at all), then that would still presumably be a case of discrimination.
I listened to it. Oof it hurt for a second time. Good to hear it get a nice dress down.
Except that popular chipsets (ie: get community support due to device saturation) do see vulnerabilities published past the point of support. I trust Qualcomm's ability to develop their modem driver (which is an entire Linux install) very little, and I trust it's ability to stand the test of time to be even less.

I'm not sure I'm saying it's a total loss, but I feel a bit lost on what to do as well. Do I think Google will support their Tensor chips longer? Not really.

I feel like I still lean towards buying a portable hotspot, a small Android tablet, and calling it good. I already get calls over VOIP and SMS/MMS over jmp.chat so I don't really need a "cellular phone". But also, ugh, those portable hotspots are probably even more of a vendor-ware security nightmare. At least I could upgrade them independently and somewhat treat it as isolated, if I only connect over Wifi? Maybe?
They effectively can't turn off monetization and get any benefit from the platform. YT doesn't promote non-monetized videos so they may as well be unlisted, cuz that's how many views they'll get. Which I think is fair -- it's a free service, if Youtubers want free promotion it's fair for YouTube to get their beak wet with some of the profits from the video.
I do think it is "just" a matter of time/momentum. There's definitely a lot of cargo culting around bundlers ("these bundlers were gifted to us from the gods!", "these were my father's bundlers, I simply must use them!") and there's a lot of developers who "love" scaffolding and boiler plate that are just going to blindly do whatever `create-react-app` or `ng new` or whatever scaffolder of the day briefly masticates then vomits out for their baby bird mouths. Those things (culture, scaffolders) all move slowly (for lots of good reasons, too) and just take time and a few revolutionaries.

HTTP/1 still isn't going anywhere, anytime soon, especially in developer tools (because for better and worse HTTP/2+ requires TLS and developer tools are tougher to build with TLS), so it's still hard to combat the cultural assertions that "bundlers are best practice" and "bundlers are required for performance". But that too is something that shifts slowly over time. There are decades of momentum behind HTTP/1.x.

There's also still so much momentum behind frameworks like React, Angular, plenty more that spent so much time in CommonJS that they still haven't yet sorted out their ESM builds. That's also something getting better with time. Especially now that Node LTS covers enough that you can take an "ESM ONLY (in Node)" approach with confidence.

As I mentioned, I've had the pleasure of working with some projects that were 100% unbundled ESM in development and then spot-bundled (often with esbuild) to highly specific sub-bundles just for Production where Production performance noted improvements. The world of ESM-first is nice when you give it a chance. It will take a bit longer to get to "ESM ONLY, EVERY WHERE", but it still seems to be a matter of time/momentum rather than a problem with ESM.
Like I sayed important but uninteresting.

Because this is not about changing how Linux allocates memory.

It's about deprecating a method Linux used in the past but has by default switched away from already in the past.
No, this one is by design. There are absolutely children that can only be prevented from destroying everything in sight by sitting on them.
The author of this article is Dan Hendrycks, who has a PhD in ML from UC Berkeley and was one of the contributors to the GELU activation function (among other things).
L7 at FANG

15 years experience

TC is around 1M (base 300k)

Work 30 hours a week on average (sometimes more sometimes less)
Not always as depending on flags you pass to the umount2 syscall.
It's next on my list after I finish the MySpace archive.

Seriously, why would anybody do this? Reddit has such a high noise-to-signal ratio that it would be a waste of resources. There may be value in keeping an archive of some individual subreddits, but not the main bulk of Reddit itself.
If you're getting the "money=speech" information from the Citizens United ruling, then you fell into the same trap I did by reading the headlines. Despite what all the headlines said, Citizens United didn't actually rule that money is speech.
Twitter has started blocking unregistered users (theverge) - https://news.ycombinator.com/item?id=36535822
This stuff is going to be so vague that an AI will be able to do it.
That (and pauper) are the best ways to play. Or using preconstructed decks.

Trying to be competitive in Modern or Standard or even EDH requires spending at least $500+ per deck unfortunately (Vintage & Legacy even more I'm guessing). Though if you have a group of friends who play casually, it can be fun.
> So often it seems that people are upset about SCOTUS decisions, especially when it's to strike down an existing law

> Don't blame the Court when they're doing their job properly

Part of the problem is that, there isn't a lot of widespread confidence that they are doing their job properly. When they do their job properly, part of that is to strike down bad laws. But the mere fact of them striking down a law doesn't mean that they did their job properly.

There's not a lot of trust in the Supreme Court right now—this Court especially.
While true, I think you need to make an argument that those issues are specifically anti-innovation.

Really tho I think we collectively use that term whenever it suits us, without much clarity on what innovative outcomes actually are. We need a better definition and better yardsticks.
There is actually a movement in the US dairy industry to only allow milk extracted from mammals to be called milk. Calling it almond "milk" would be illegal.
That's probably because people pay to use RHEL, which funds supporting it for 10 years.
The most popular formats of Magic by far are "kitchen table" (totally casual, play with whatever cards you own), and Commander, a casual multiplayer format where super-powerful decks are generally frowned upon.

Competitive Magic is a tiny tiny fraction of the overall market. It's also totally possible and reasonable to build competitive decks on Arena with a pure F2P account, if you're into that.
I find this article to be absolutely pointless and clickbaity. It can be boiled down to: "you can use poligon.io for market data but algotrading is difficult anyway so there is not much to share yet".
Sounds like Kinmax Technologies owes TSMC 70M
The questionable assumption is that mechanized proofs are useful in the first place.

Computer programs are useful. Bigly. So we develop infrastructure around them.

Are mechanized proofs useful? Are they intelligible? Do they grant insight? Do they work better?
Professional review sources like Consumer report, ATK, and Wirecutter are far better sources than a random ad. I don't think I would ever buy a random product from an ad without reading reviews unless it was something completely disposable, like a new soda, or something that you have to willfully make terrible to screw it up, like a t shirt
The definition, US propaganda under Pompeo as head of State tried (and failed to meet), was UN's convention on genocide, which would trigger legal responses on member states. The TLDR is Pompeo laundered very tortured legal analysis through Zenz and some Gulanist Saudi think tank (IIRC) to try insinuate PRC met the definition when most credible international lawyers saw through the bullshit, but noted PRC actions closer to cultural genocide, which does NOT have definition at UN, and hence not prosecutable. The result is PRC actions merely labelled as potential human rights abuses at UN, aka business as usual, and a bunch of useful idiots who ate Pompeo's bait thinking PRC actually met the definition of genocide when it manifestly did not. And buy business as usual, of human rights abuses / cultural genocide, it puts PRC XJ actions in league with behaviours of the west. Hence you don't hear much about the XJ campaign anymore from western propaganda, because the propaganda was mostly useful if the genocide label stuck at UN, and made PRC actions more nefarious not equal to west. Now it's mostly used by US to justify XJ sanctions and trying to partners onboard to cripple XJ industry like solar, cotton, agriculture.
In such a world your digital wallet Id becomes just as important as your credit card number and you’re back to where you started.
In my experience people who make dismissive comments about AI (in its current form) and AI Engineering as a discipline tend to have very little experience with and superficial understanding of AI. Once you start using it seriously as part of your engineering stack it quickly becomes clear that there’s a lot of detail and complexity that more than justify specialisation.
There should be transaction fees on all trades on all exchanges that go to the government, yes I mean a tax.
Yes, I guess that's what I meant, but wasn't precise enough. Thanks for the correction.
I am nothing more than an enthusiastic dabbler, but these have helped me.

There are two very different directions
1. the sort of full on proof automation with tactics https://direct.mit.edu/books/oa-monograph/4021/Certified-Pro... Dr. Chlipala builds up understanding of the "crush" tactic, which more or less lets you specify an inductive hypothesis, and that tactic fiddles around with identifying the base case, and expanding enough to generate the n+1 step. Along the way, you get exposure to using Gallina to write your own tactics.

it's neat, from a programmer point of view, because you can automate away the boring parts. There is pretty good discussion of debugging tactics, which might provide a path to transforming machine proofs into something a bit more comprehensible. at the very least, you can recover the application of axioms and such that did the transformation.

The other direction, that has been much more enlightening for me (the amateur hobbyist) was agda and Jesper Cockx's tutorial- https://github.com/jespercockx/agda-lecture-notes/blob/maste...
he builds up all of the notation from, well, nothing.
for example, you get refl, and then build up

-- symmetry of equality
sym : {A : Set} {x y : A} → x ≡ y → y ≡ x sym refl = refl
-- transitivity of equality
trans : {A : Set} {x y z : A} → x ≡ y → y ≡ z → x ≡ z (54) trans refl refl = refl
-- congruence of equality
cong : {A B : Set} {x y : A} → (f : A → B) → x ≡ y → f x ≡ f y cong f refl = refl

along with the syntax that comes with the agda std lib.
agda is different, but you can still extract to Haskell (and allegedly javascript for node, but that was a little flakey for me and might go away in a future release). less useful for your goals, much more programming oriented - https://plfa.github.io is pretty good, and worth mentioning as a reference.
Speaking of command line HTTP handling, my favorite tool for that is Httpie[1], or rather its faster Rust rewrite, XH[2]. It lets you issue HTTP requests from the command line with much nicer, more HTTP-like syntax than CURL and without the need to learn so many switches. If you already know curl well, it probably won't be of much use, but it's far, far more intuitive for casual use.

[1] https://httpie.io/
[2] https://github.com/ducaale/xh
The reason is that AI could do it a LOT faster than we could. See the singularity. Additionally, AIs could decide that humans are a threat (or a resource to use) and that could be dangerous to us.

I agree, without AI we might be doomed anyway, because of how we are dealing with the current existential crisis of climate change.
I have YouTube premium but sometimes I can't login to my Google account and have to use plain, ad-infested version of YouTube and it's really unusable.

I swear that listening to a 3 minutes content I am played at least 6 ads of at least 20 non-skippable seconds and in volleys of 2 or sometimes even 3 ads one after another.

It's not "getting terrible", they're already way past that.
> 2) there's typically no privacy-preserving way to pay

This is exactly my problem. I log into as few services as possible and clear my cookies on browser exit. Of course this is supplemented by ad-blocking and blocking most 3rd-party scripts and cookies to avoid cross-site tracking. I have no way to pay for a service while maintaining that level of privacy.
That seems like a lot. Is this in line with ransom levels demanded in these attacks?
70K USD full stack web dev, database tuning, Typescript/Python/Rust/Bash, 10 years of experience

I live in Canada, work 40 real intense hours per week
No. My nick was an unregistered nick. I know IRC -.- don't tell me otherwise.

"To use this server you MUST register with IRC services."

The server had mandatory nickserv registration.
Pushift is supposed to come back with a new agreement with Reddit. No precise date was given though, and it’s likely not going to be accessible to everyone but only moderators, researchers, and perhaps a few businesses.
And my point is I don’t pay to have to install another extension.

If uBlock doesn’t work anymore, either I’ll use YouTube-flow/yt-dlp, or I’ll stop using YouTube altogether.

I’m ok to pay for services, but paying and still getting ads is my hard limit.
I like arrays

https://www.postgresql.org/docs/14/arrays.html

The full-text functionality kicks ass

https://www.postgresql.org/docs/14/textsearch.html

It can query JSON and XML documents directly

https://www.postgresql.org/docs/14/datatype-json.html
https://www.postgresql.org/docs/14/functions-xml.html

It supports stored procedures

https://www.postgresql.org/docs/14/plpgsql.html

The extension mechanisms are very powerful, if you are interested doing nearest-neighbor vector search like Pinecone or FAISS (super hot today) you can install

https://github.com/pgvector/pgvector

Adding it all up, pgsql has a lot of the functionality you'd expect in a database like Oracle but it is also a product engineering managers love because it is highly reliable and easy to maintain.
The possibility of mapping alien planets [video]
Poop, from various animals, was a common medicinal ingredient for ancient Egyptian healers.

It carried through Greek and Roman healing practices and was common in medieval European healing, as well.
Outside the US? How were the experiences?
Italian teacher sacked for 20 years of absence vows to defend herself
In New Zealand, houses can be sold “as is” which means cash only. It usually means that insurance cannot be acquired for the house, and mortgages always require insurance. It means there are bargains still available in my city (Christchurch) because there were so many houses damaged by the earthquake a decade ago. There are still houses that are about 2/3 the price compared to similar insurable houses. Few people can buy the as-is properties because most people need a mortgage to buy a house. People with cash usually buy better houses. A saw an as-is sold the other day to a buyer from the US.

Insurance policies have some queer rules that all insurers share - perhaps due to building code, or maybe due to a common reinsurer?

Your floor cannot have more than 50mm (two inches) drop between two corners of the house, as it can’t be insured. Unless you can show the unlevel floor existed pre-earthquake, in which case you can get insurance! Wierd.
Count me in the group of solo algo trading developers. Maybe we should connect and chat.
Imagine, someone makes an IRC client that looks like a discord clone, adds some centralized proprietary emoji/background/mini-game features that touches their own servers, and we go full circle back to IRC once discord IPOs.
There's a nitter fork (in the sense of 'PRs not merged yet') that uses the admin's burner accounts to retrieve tweets, and it still works. But I think it hits rate limits fairly often.

edit: Well, worked. Seems down right now, possibly because it was the only instance that still worked.
Jest mocking is one of the worst anti-features ever invented.

We would be much better off if it had never been created.
The build quality is indeed very poor but the mechanic actually is pretty fun, similar to the Wii, it can be used for exercising, perfect gift for seniors

No other console manage to deliver like Nintendo did with both the Wii and the Switch

Sony/Microsoft have a lot to learn, hopefully their next gen include a portable device with original mechanics

https://www.youtube.com/watch?v=SqSMxb9txSw
Samsung Foundry Tracking 2nm In 2025
I find myself using Bing Chat more and more instead of googling specific questions. And no, hallucinations are not a problem, because the questions are concrete and the answers immediately verifiable.
What requires maintenance though? It's not like there's going to be a breaking change to bittorrent protocol that requires you to update. Most of the pieces of the process are connected just by files in directories (if you don't use a transmission-api compatible torrent client, any client that can watch a folder for .torrent files will do the job), the arrstack picks up completed files from a specific location and drops them where plex can see them. The most important thing to update is the torrent feed aggregator (prowlarr) so new torrent sites will be available, but I just enabled 5 or so reputable-looking sites about 2 years ago and haven't needed to go into the UI since so even then you can just let one version run for a long time and it'll be fine. It's very low-touch after the initial setup. In the years I've used it, the only time I needed to touch it is when I'm impatient and want to check when the digital release for something is, which is usually approximately when stuff shows up on torrent sites - give or take a couple hours for popular content and give or take a day or two for less popular content.
I was about to comment how funny it is that self reported salaries here are in the 100-200s, while on blind every post-adolescent twat straight out of college claims to make north of 350k.

IMO HN posters are much smarter and more productive on average than blind posters. Makes me think salaries strongly correlate mostly with how much tedious algorithm trivia one can crank out.
far more chasing in the UK, far fewer guns
Hey, I'm sorry you feel that way and I wrote it. Personally, I wanted to share the high-level structure of how you'd build your own system. I would have loved to have seen something like this when I went down this rabbit hole in that I needed to figure it all out myself. What do you think would have made it better? I'd be happy to roll that back in.
Me neither, and I've got many ticks a lot of times.

The trick is to grab them near the skin, without using too much force, and pull them with the minimum amount of force that works (go increasing the force until they move).

People using tweezers also invariably do it wrong, because tweezers are not an instrument for delicately handling things.