skysight-inc/HackerNews huggingface dataset:
I said 30 years, because that's for how long I am a participant in the field. I have a PhD in ITP, and yes, I am pretty confident that automation is a big part of ITP now. Maybe not so much if you are into constructive type theory, that field is always a little bit hesitant to use the full power of anything.

The only one lying here is you. To yourself.

By the way, AI can come up with conjectures just fine. I might not be interested in most of them, but then again, I am not interested in most conjectures humans come up with.
A huge industrial corporation spending millions on lobbyists in order to make it easier to dump pollutants into the environment without consequence, increasing their profits at the expense of local populations, is also a form of lobbying. I would bet that amoral corporate lobbying accounts for far more activity than good mission driven orgs like the EFF.
I viscerally feel like I'm wasting time when i play computer games, such that it ruins the enjoyment.

I'm making a list of all the games I want to play in retirement...
Certainly not a uniquely American thing, 15% sounds low for the places in Europe where I tried...
Umami is a subset of savory.

It's not pretentious (when used correctly), it's more precise.
But it’s still just as poor quality, if not worse than before. Last time I ate there I bit down on something in my burger so hard I thought I broke a tooth. I’ll never eat it again.
> The obvious question to ask about this purported "pick two" triad is, why must that be so?

It is not a law of the universe, so the answer to your question is "it isn't necessarily". But even if it isn't always true, it's usually true. And thus it's a useful metric to keep in mind. Being lucky enough to get all three qualities in your job is rare, and you can't expect that it'll happen.
I use the two hour return policy on Steam to make sure I avoid paying for bad games (and get out before I spend too much time on it as well)
Dimensions, Pointer to Scanline 0, Stride, and Pixel Format. What else do you need before you start processing images?
Some of everyone is complaining about some of everything. Some people want more attention. I don't think there's a serious proposal to limit the amount of music made. There will always be people making music for the love of it. And since distributing it is now free, you'll need some kind of special angle if you want to get paid.

My point is that not all musicians are complaining. And nor are all the game publishers.
McDonald’s pricing is complicated. You can still get cheap McDonald’s, but it requires giving them something in return (e.g. information about you).
Not at my desktop, so I can’t really dig into the technical details of these sites, but by the look of them, they were all made either with the same tool and general components OR they were all made by the same group (maybe the same contracting firm or something)
Say I want to change "foo" to "bar" in a single function in my file. I hit "V" to enter by-line visual mode at the top of the function, go to the end of the function and type ":s/foo/bar/g". If there are other words in the function that contain foo as a substring, then ":s/\<foo\>/bar/g".

Please describe your non-roundabout way then.
I agree, but it's just as much of a nasty surprise to everyone dependent upon that infrastructure and you don't really know or care what the source of the obstruction is, you just know that traffic isn't moving.

At the end of the day it's just so hard for me to give a crap about a law and order type crime when there's god knows how many career petty criminals doing their thing in the same jurisdiction that aren't having these methods applied to them.
Desire is a function of the separation from divinity.
f-strings mainly. The walrus operator is great because it's so easy to do lisp things with it
Who says he stopped? I can't find that in the news, and the offer is still up at:

https://petition.theamericapac.org/

Even the Biden DOJ only warned him that it "might be illegal". They're stretching the law, trying to apply a law against paying people to register to vote, but Elon will pay people who are already registered so that's quite a stretch.
then why is it that its only the ice cream machines that have problems not not things like the soda fountain any other food production tool?
In addition to PlusCal, I think the main "pseudocode alternative" to TLA+ is now Quint: https://github.com/informalsystems/quint
Can it detect ads and mask them out?
Some of my favorite stories are from videogames, but I don't know if the medium as a whole is outpacing films. AAA games have a lot of the same problems as Hollywood; they're usually very formulaic and safe. And while indie games are more thematically varied, they're hit or miss on execution, a lot like indie films.

That said, horror movies specifically are often very underwhelming in the themes they explore, so horror videogames don't have a high bar to beat.
Not your friendly neighbor, but nevertheless Russia was on a more decent path in 2013, so people were a bit more neutral.
In 2023 only 18.3% had a positive perception.
> It's also all about Taylor's exclusivity on repairing the machines.

In context, it doesn’t matter whether Taylor is getting paid or Santa Claus is. The problem is that McDonald’s franchises were not able to fix them due to software locks.
It's more "every four years" at about this time isn't it?
I get that pulling out of India would be an incredibly difficult move to even consider. But abandoning all principles should be as well.
Hardware repair of an Elgato HD60 S that only worked on Mac
Multiple Global Peaks Big Bang-Big Crunch Algorithm for Multimodal Optimization
By disallowing, we normalise deviance (security wise).

Also, there can be a problem with who/how decides what is code.
There are myriad of programming languages already, and for trolling or legal attack purposes, one could build interpreter using arbitrary words as keywords (to make problems for arbitrary company)
I like the idea but it screams LLM generated content to me.
Adding some context here - TBane stations (the subway) in Oslo have posters that show live videos - usually static images with dynamic attention-grabbing effects but sometimes full blown videos too.
I'm aware of these things, but good points to know for the uninitiated.
What does any of this rambling about Harris and the NBC have to do with the fact that 14 members of Trump's former administration (including one general) have agreed that Trump is an outright fascist in an open letter?
Rust itself is compiled with LLVM which is millions of lines of C++. Does that mean that C++ is better than rust?
I read the book referenced in the article. Recommended!

Simple but effective ideas. Similar in vibe to the book The Four Agreements.
Taylor Swift is a billionaire from record and concert ticket sales alone. Between that and her endorsement of Harris, we're lucky to have one billionaire out there with legitimate wealth, unafraid to use it to effect positive change.
Bad headline. No, they can't. They are now allowed to, but they don't have the actual ability to do so.

Clickbait of the weirdest kind - the totally unnecessary one. They could have gone with more truthful "We're now allowed to" with the same amount of impact... right?
Ozempic and other research peptides are very popular in online biohacking communities. The same communities were against vaccines. This paradox has been pointed out quite often and it became a meme.
they go after him

Would love to hear what horrible consequences you think Elon is facing..
From many examples I have seen of farms that have switched to regenerative practices it takes about 3 years to bring the soil back to life. Some of those had been corn for generations. Living soil consumes rock minerals making them available to plants. It doesn't matter if all the previously released minerals all washed away. As long as there is sand, silt, clay and living soil the minerals are available for plants.
I don't think that's true. Where I grew up everyone carried a knife like this and called it a "pocket knife", and the description on wikipedia, various stores, blogs, manufacturers, etc all use the term to refer to this sort of knife.

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

Buck also has many knives they specifically call "pocket knife" that have a blade longer than 3 inches:

https://www.buckknives.com/collections/pocket-knives/
I'm not sure I follow. In the case where breaking DRM isn't illegal, but piracy still is illegal, what happens that you think is bad?
Well I mean the most generous take would be that he's come around about Trump and has decided that the editorial board making an explicit endorsement for Harris isn't in his own (or the country's) interests.

On X they're floating the theory that he knew this would cause a lot of them to resign, and wanted that for other reasons. All we can do is speculate, I guess.
Perhaps because the environment the ice cream machines create are the most friendly to bacteria and other things that cause the most issues?
> huge industrial corporation spending millions on lobbyists in order to make it easier to dump pollutants into the environment without consequence, increasing their profits at the expense of local populations, is also a form of lobbying

Yes. You're describing a policy disagreement between a polluter and everyone else. Pick any political system and you'll have the same divide. (Again, lobbying involves hiring someone to present the case to an elected. It's categorically distinct from giving to a PAC or campaign.)

> would bet that amoral corporate lobbying accounts for far more activity than good mission driven orgs like the EFF

I mean sure, for a given value of "good." Social policy lobbying tends to vastly outstrip commercial lobbying, in part because the latter is more focussed.
Not particularly, it's prohibited in US National Parks, National Historic Sites, National Memorials, National Wildernesses, National Seashores & Lakeshores[0], US National Wildlife Refuges [1], Most US State parks.

Canadian National Parks[2] and most Provincial/Territorial Parks.

[0]: https://www.nps.gov/articles/recreational-collection-of-rock...

[1]: https://www.ecfr.gov/current/title-50/chapter-I/subchapter-C...

[2]: https://parks.canada.ca/voyage-travel/regles-rules#objects
You're right that it isn't. I assumed that your "..sheer complexity of modern CPUs.." statement was in response to "Without open silicon, there's no way to detect..". That's what prompted my response.

I realise now that you were probably responding to "This _does_ increase the trust that the VMs are safe from other attackers".
TLDR: breadthfirst
Depends on your timescale and when to buy and sell.

Depending on the reason, I'd also say it would be worth buying Meta, NVDA, TSLA, etc. on a 20% dip, especially if they were going into a season where, historically, they makes their largest gains.
Just because it has always been done doesn't make it good.

It's surprising to me that a news organization not publishing an opinion piece is itself giant front page news
It's not automatically unethical for a journalist to advocate for something.

I guess if they entirely stopped publishing self authored editorials it might be "neutral" to not publish a particular one. But that isn't what is happening.
On two occasions I have been asked, 'Pray, Mr. Babbage, if you put into the machine wrong figures, will the right answers come out?' I am not able rightly to apprehend the kind of confusion of ideas that could provoke such a question.
— Charles Babbage
That's need to end.
Why is Friends problematic?
> Consumer cars really aren't meant to last over 100k miles

What on earth are you talking about? A Honda Civic or Toyota Corolla will easily last 200k miles. In places with salt and rust, the body will probably fall apart before the engine and transmission give out.
That is correct. I buy a liquid specifically labeled as ‘Umami’ that my family adds to vegetables, rice, etc.
> Harris will not act outside the bounds of a normal government official

California has even blocked SpaceX because they don't like the politics of Musk (https://www.latimes.com/california/story/2024-10-11/la-me-sp...) so I would say is risky to expect any of the two (or its followers) not seeking revenge.
>And nor are all the game publishers.

they don't need to complain. Just lay off people and make the rest work harder. Ubisoft is falling in real time and their grand plan to recover is "make 2 Assassin's Creed's a year for 5 years". Denial is worse than ignorance.

No one does everything. But there is a valid reason to understand these complaints. That's all that matters.
Bezos cares because his businesses have billions of dollars in revenue from the federal government. Trump has already claimed to personally review those contracts and was reported as trying to kill the $10B JEDI contract:

https://www.cnbc.com/amp/2019/10/26/trump-mattis-screw-amazo...

By all accounts, he’s prepared to be more authoritarian and less bound by the law if re-elected and he’s already threatening journalists with rape and talking about yanking broadcast licenses for channels which don’t kowtow to him.
Forbidden by whom? Forbidden by its owner vs forbidden by an external party like the government are two different situations.
Really interesting. We programmers live in a bit of a bubble, so it’s good to get this perspective. Perhaps with LLM’s we’ve finally reached the early dreams of the “programmable computer for everyone”, that seemed to slip out of reach after the 80’s.
> Both Small Town Truth and Soul of a Nation Media changed addresses to a PO Box in Virginia in 2022

What else is at that P.O. box?
I went to a Lutheran school that did a mini camp for finding vocation.

However when interacting the job market, I realized early on in my career that the modern economy leaves little room for exploring just that. Those I've observed bucking that trend I would more describe as "following their curiosity" - because usually, some good comes of it, even if you're not sure where it leads.
There’s much that is lost but imo gpt-4-base would be borderline unusable for most of us compared to its descendants — perhaps even more so than GPT-3 davinci, at least relative to its time.

4 can be an absolute demonic hallucinating machine.
It's east to think that way but if it didn't matter, Bezos wouldn't have squashed it.
For juxtapositional context: This article [1] came out in 2016 and gives a great overview of why and how difficult it is to be successful (especially more than once) in the video game industry.

Entertaining people is _very_ challenging work.

John Carmack [2]: "The work in the aerospace industry is "simple" compared to the work he does in video games"

[1] https://lostgarden.com/2016/11/17/autumn-of-indie-game-marke...

[2] https://en.wikipedia.org/wiki/John_Carmack#Armadillo_Aerospa...
If you can raed tihs, you hvae voilated the DCMA and cmomitted a fleony.

The oirginal palin txet of tihs msesage was put trhough a porprietary ecnryption aglorithm I cerated, and waht you see hree is the rseulting cpyher txet. It is illegal for you to rveerse my porprietary ecnryption aglorithm.

I wnat tihs on a TS-hirt.
I do remember the 1990s where it was typically local newspapers doing explicit endorsements and it was almost always limited to local candidates and issues.
Has anyone tried to see what the output looks like if the model is never allowed to be uncertain?

For example, whenever certainty drops below a threshold the sampler backtracks and chooses different tokens. Such that at the end every single token had an above threshold certainty.

I doubt it would entirely eliminate undesirable outputs, but it would be interesting.
My hot take is that the part that got lost in translation as it transitioned into a pithy airport bookstore business book is that it originally didn't have to be a single activity that covers all of the Venn diagram.

It is more about making sure the union of the Venn diagram is covered by one or more daily activities. So hobbies are about ensuring that you are not just focusing on the vocation circle.
Bezos made the call because he was afraid of Trump canceling lucrative Pentagon AWS contracts. WaPo is a loss leader, AWS is his bread and butter.
soda is syrup and carbonated water, neither becomes a breeding pool at room temperature
These political threads on HN always make me really sad. A bunch of ostensibly intelligent and educated people who see whats happening and either don’t care or are excited about the prospect.

I gave up. Pax Americana had a good run. The parallels to Germany 1933 and Russia 2003 are simply too loud to ignore at this point.
That is a big factor. I believe over half of the top 10 most played games on steam at any given time are 5+ years old. GTA V was played across 3 generations and its still in the top 20 most played games.

Market's being captured, and there's less to appeal to when people are stuck in a service bubble instead of moving on. That's a big part of why consoles are stagnating in Gen 9; economy and a lot of people are fine with PS4's, which still is getting new games.
No upside?

Historically, or purely in the context of this article, assuming it's true?
"Following a purge of at least 24 films, Netflix is facing calls to reinstate the movies."
> Recent ads for Apple Intelligence, an A.I. feature, make the vision plain. In one, the actor Bella Ramsey uses artificial intelligence to cover for the fact they haven’t read the pitch their agent emailed.

I saw that and thought it was actually kind of damning. I mean, the big wealthy giant company makes an advertising campaign for their new product and they tell you it's awesome because it will... help you quickly lie to people while faking doing necessary work at important moments?

Might as well pitch it as a tool for absentee parents so that they can pretend they saw their lonely child's performance in the school play.
http://archive.today/XIxZv
First, they are never neutral.

Second: this is what happens in Brazil. Everybody gets angry because each news outlet defends its own conservative candidate.
Part of the problem is that new games are too often filled with bugs, ads, microtransactions, pointless timegates, etc. You can't trust reviews, so there's no telling what you're going to get. Game companies have burned players so many times that buying a game at launch, even if you like the franchise, just isn't wise.

That said, while I'm normally the type to play 10-15 years behind, I did pick up a copy of stellar blade on launch day just on a whim and it was amazing. No ads, no parts of the story paywalled off, nothing but fun and they've put out a lot of updates since making improvements, and dropping new outfits and gameplay modes. I kind of felt like I hit the lottery buying a game I knew basically nothing about on day one and not feeling like I was ripped off later, but that should be the norm. I'm tempted to get Astro Bot although it seems pricey.
> If the machines are frequently broken, that damages the Macdonald's brand in the consumer's eyes.

They are and it doesn't matter. You don't go to McD for the ice cream. It's been a running joke for decades how they're always broken.
Actually, the NYAG settlement doesn’t support that conspiracy theory. The investigation found no evidence that Tether printed USDT ‘out of nothing’ to manipulate Bitcoin. The issues raised were about transparency in Tether’s reserves during specific periods when funds were managed by third parties, not about unbacked issuance. Tether has since updated its policies, making clear the types of assets backing USDT.
I once read a paper about Apache/Meta Thrift [1,2]. Similarly, it allows the definition of data types/interfaces and code generation for many programming languages. It was specifically designed for RPCs and microservices.

[1]: https://thrift.apache.org/

[2]: https://github.com/facebook/fbthrift
Bad take. The Stand-Up Maths channel is great.
Actually we do, the reporting in WaPo itself said they had already put together the copy for Harris and were ready to run it.

The newsroom basically did all they could to say it without saying it.
You might find this interesting!

"The Impact of Negative Political Advertisement on Voter
Behaviour in Germany – an Experiment"

https://www.kas.de/c/document_library/get_file?uuid=f8324712...

"Negative campaigning has been a feature of German political campaigns from the very beginning of the Federal Republic... the central idea of this paper is to examine the considerable difference between negative campaigning in Germany compared with that in the US."

It seems like you're correct that German political ads are almost never US-style 'attack ads' because among Germans, "negative campaigning in Germany is much more risky for the attacker than the impact it may have on the attacked party"
The problem is the the billionaire owner of the newspaper is censoring it, not the number of votes that will change.
I'm familiar with C++ and used to use it a fair bit, but I'm way out of date with it. Python has been my primary language almost since I picked it up, nearly 20 years ago.
At the Topos Institute we're working on some new software that we're hoping will be a lot more transparent to people who haven't drunk the CT Kool-Aid yet; the current pre-alpha is mainly for systems dynamics modeling but the category-theoretic basis is, to my mind, indispensable for the range of tasks we're targeting. I'd be very happy to hear anybody's thoughts! https://topos.site/blog/2024-10-02-introducing-catcolab/
History Foundation Disappointed DMCA Decision Won't Grant Researchers Exemptions
I did my PhD after 20+ years in industry, lots of it programming in C on AIX/HPUX/Solaris systems. I ended up learning Python to complete my research work.

Granted compared with Python, C is verbose and the edit-compile-debug-run is a drag. However, C as a language is not too bad. It is the libraries and APIs that slow me down. Often times the abstractions are too leaky or a poor fit for what needs to be done.

What works for me is to test and refine algorithms in Python. When it works well, then I use the Python code as pseudo-code and translate to even more optimized C code. It helps to modularize your Python code, so that you only need to port the performance critical portions to C and the rest can remain in Python.

Of course, you still need to learn and gain experience with C. Personally I wouldn't put much faith in Python to C transpilers. For optimal performance, you really need to understand your algorithms and data structuring. These days understanding how caching and locality of code and data impacts performance is crucial to writing performant code.

BTW have you considered using CUDA, etc for your finite element code? GPGPUs are ideal for that sort of computation. Lots of potential for parallelization.
One of the common statements in development and indeed here is "when will people realise you can't roll your own auth securely and should just use a third party service".

There are a few security mantras that I wish we could get through to people on, but we security people are often guilty of having a correct answer that moves around based on what just occurred.
Humor that didn't age well but was funny for its time. the gay/crossdressing/fat jokes that were normal 20 years ago that wouldn't pass today are a starting point.
From my corner of rural Michigan, the relative sentiment shift appears to be massively in favor of Harris.

I don't really trust my opinion, and I have a pretty limited perspective on what people in other areas think, but between 2020 and now, there is much increased support for Harris compared to Biden, and much more muted support for Trump 2024 compared to Trump 2020.

With the polling mildly in favor of Harris in key states (but within the margin of error), I wonder how you've drawn your conclusion.
A statement along those lines should appear in the next 10-Q filing, under business risks.