skysight-inc/HackerNews huggingface dataset:
Sadly, this didn't seem to track for LLMs. Even OpenAI gave up on trying to detect its own outputs.

> As of July 20, 2023, the AI classifier is no longer available due to its low rate of accuracy. We are working to incorporate feedback and are currently researching more effective provenance techniques for text, and have made a commitment to develop and deploy mechanisms that enable users to understand if audio or visual content is AI-generated.
You don't want it. They'll simultaneously pay you big money to stop you from working somewhere else, and crush your soul at the same time.

Also they won't do that anymore, I'm sure.
I can confirm from experience.

In a few German events, the organisers asked for my permission to take/share photos, and I refused. Not a single picture of me was shared. I never had to justify why, and it never felt abnormal.
I find it sad that this paper mentions two valid critiques of OOP[0][1], yet makes no effort to engage with their specific criticisms. Also, citing Microsoft's COM object system as _the_ example of OOP's great success must mean that the authors are simply ignorant to how bad COM is and why Microsft has ceased anything beyond legacy support for it.

Ultimately, I find the thesis of the paper fundamentally wrong for presuming that OOP is somehow more beneficial than other approaches to dynamic dispatch. Moreover, the use of interfaces in thr paper are more restrictive to code structure, and in turn, are more likely hurt code reuse than help it.

Interfaces are an inherently weaker form of the age old Operation Code and data packet paradigm. Take the Widget interface the paper gives as an example (page 5). This interface has now been set in stone. Any additions that would be useful for the widget interface, say OnClick(), will require a breaking change. This is because all code using the old interface will have to be updated and recompiled to satisfy the new interface requirements (even if a widget won't functionally change from using said new interface). Meanwhile for code using op codes, a new op code value is defined and nothing in the old code is required to change. (This assumes that this old code will perform a no operation for the new opcode, which historically has been the case for systems that use this method).

In fact, Win32 did exactly this opcode and data packet protocol for its message loop to great long term success. They have regularly extended their existing code without breaking backwards compatibility of older versions. The longevity of code in typical OO systems pales in comparison.

[0] https://harmful.cat-v.org/software/OO_programming/why_oo_suc...
[1] http://stlport.org/resources/StepanovUSA.html
But but you're doing the fallacy of argumentum ad verecundiam! /s
See also pretty much the same thing a few years later for XML!

https://www.bitecode.dev/p/hype-cycles
As much as people on this site like to complain about Europe (and a lot of it is merited) - I've found that Canada manages to be worse. Even having lower on avg bureaucracy
you were probably looking for

(defun foo (a b)
(declare (optimize (speed 3))
(type fixnum a b))
(the fixnum (+ a b)))
I'd say the whole point of GAN is that generation is cheaper than classification, therefore an effective brute-force way of making a good classifier is to generate an infinite supply of examples with a-priori known classification, and pit it against a classifier.
The whole “if you criticise the Chinese government you must be racist against the Chinese” thing is getting really old. You don’t see the same national security risk concerns when it comes to Taiwan which is mostly inhabited by exactly the same ethnicity so this accusation can be completely dismissed in this context.

Using the racism card, and trying to hijack the Asian anti-racism movement (don’t assume I’m ignoring the real problem of racism against Asians btw) for its own purpose, is a pretty blatant PRC propaganda tool. So I find it ironic that you complain about western propaganda (which is a real thing, I’m not ignoring that either) while falling completely for such blatant PRC propaganda talking points.

It feels like you’re also just dismissing the idea that PRC does represent a significant national security risk to USA? I mean, looking at recent history that’s objectively true.

How much it should be emphasised in the context of a commercial business that doesn’t involve telecommunication is arguable. But it’s worth talking about.

The fact that they’re “communist” (well, I’d argue they’re in reality authoritarian state capitalist.. but I think we have the same political structure in mind) is extremely relevant. China has a history of not letting American companies operate in China under the same terms as Chinese companies can operate in USA, precisely because they are “communist”. That’s objectively true. It’s fair to debate whether it’s OK to let Chinese companies operate freely in USA when they put up so many barriers for American companies in China.

To raise these very real issues is not just propaganda. They’re issues worth thinking about.
Interesting. It’s definitely more abstract and philosophical than books like “Effective C++/Java/etc,” but I personally got a lot out of it and find it to be a really useful resource in code reviews. Particularly when commenting on the big picture and structural aspects, rather than just language-specific idioms or correctness.
Unfortunately also the majority of scientific papers for eg. image generation have had completely cherry-picked examples for a long time now.
> As the suburb ends it switches to farm land

No, farmers aren't living in Houston, Phoenix or Sunnyvale.

Surburbs abut cities. Our farms are in rural territory, closer to industry (specifically: logistics) than cul-de-sacs.

> Suburbs are cheaper than cities. Just look at the salaries of the people that live in both places

Look at disposable incomes. Cities have higher-earning, more-productive and lower (on average) cost-paying residents. (Slimmer ones, too [1].) What masks that is the variance and split housing. Go to a suburb, and the dispoable income is around a Ruby Tuesday's tab because it's an inefficient mode of living.

> In a city you can buy paper plates for so cheap (relative to your salary) it simply doesn't make sense to have real dishes

I've rarely eaten a meal on a paper plate in a city. Only in suburbs, frequently at get-togethers. It's tedious to go out and buy bulky crap, so you buy durable dishes once.

> In a suburb you buy in bulk and store it

See above about the incentives around purchasing disposable crap wastefully, as well as unhealthy processed (albeit shelf stable) foods.

Again, I agree with rural/suburban living. But it should be expensive. With most of the world now in cities, we'll see those costs increasingly redistributed. (Exhibit A: congestion pricing.)

[1] https://www.npr.org/sections/goatsandsoda/2019/05/08/7213737...
This feels like the wrong conclusion in an adversarial game. Such a heuristic works only because it's not done at any reasonable rate. As soon as it gets applied nontrivially you'll see scammers adapt back to ports 80/443. And you've got a broken browser to boot.
> But cock is as universal a swear word

is it?

Are you confused with Dick? the name of course...

Ironically the word dick comes from the German language, meaning "dominant ruler"
The future of the company doesn't depend on one engineer. If he left, it's likely because he had a vision that wasn't in line with Sam or Microsoft. Others will take his place and OpenAI will likely reach Elon Musks' recent prediction that AI will improve 100x in the next few years.
That floor is pretty dang high though. It both has one of the highest costs of entry for pretty much any game (to be fair, it does change with format, but it's basically a choice between paying a lot upfront or effectively a subscription), and the advantage you have scales quite substantially with the amount that you spend (though not quite as much as some mobile games). 'pay-to-win' is a valid criticism, even if skill still matters to some extent.
What a coincidence, earlier this week I thought about changing the tires on my MTB to better suit my riding style, and I wondered if there are sites with extensive tire reviews.
There is not one but two true dichotomies, one between imperative and declarative, another between tiring complete and not.

If you were recommending everyone to use some general purpose language with functions that is not turing-complete then sure. Which one is it?

Otherwise I will repeat, declarative purposefully limited configuration languages that you are trying to mock in your comment by picking on YAML (which relates to Docker how?) have their place and were created to solve real problems. For every Norway there are dozens of bigger issues (including security) in any regular programming language
Quote the entire sentence, not just a portion of it.
Per https://groups.google.com/g/software-design-book/c/hcCDGS2Y8... this is an illegal bootleg. Please remove.
Layer-wise inferencing and batching: Small VRAM doesn't limit LLM throughput
stop with the ridiculous names just some code numbers like BMW
Yea most dependencies in Rust land are entirely avoidable. Most even easily (like left-pad), sometimes its hard like a wasm engine. This wasm engine is the result of us trying to avoid a dep on a wasm engine from the ecosystem. It bloated the build time of our IDE by 300% to just include it (we were just 25% of the buildtime if i include wasmtime). Now was that a good idea? I don't know but we're getting very close now to a full product whilst still compiling in release build with all deps in <10s on a new mac. I'm personally really opposed to using small convenience libraries. Just write the code you need in a 'slightly less convenient way'. Use the standard library if you can. No need to pile on say entire networking stacks if you can talk to the platform networking apis for instance.
LLMs could count the number of letters in a sentence if you stopped tokenizing them first.
What I don't quite understand with these efforts is this: If we have to translate the code to Coq manually or semi-manually, isn't the likelihood that we make mistakes there much higher than what we ultimately gain with the formal verification.
In other words, how do we know that what we proof is still valid for the original code?
> The hubris of suggesting that your single experience of vaguely seeing the northern lights one time in Seattle has now led to a deep understanding of their true "color" and that the other person (perhaps all other people?) must be fooling themselves is... part of what makes HN so delightful to read.

The H in HN stands for Hubris.
Wouldn't someone using this sort of thing also buy a cheap burner phone and throw-away sim card? They're easy to buy with cash and you don't need to register them or anything to use them. Supermarkets in the UK even sell sims with credit already loaded onto them.
If you want real pain, try being an iPad Mini owner! I love the format which is perfect for slinging in a backpack or bag and not having to worry (too much) about pulling out a newly-bent device. I briefly invested in a full-size iPad and quickly exchanged it for another Mini. To me, the Mini represents the ideal compromise between size and usability.

Regarding pain, not only do Apple largely ignore the device, but accessory manufacturers seem to follow suit. I've lost count of the number of times I've tried to buy a must-have accessory without success. I'm hoping that Apple won't be killing it off any time soon- I'd hate to have to over to the dark side...
What is the use case for using Virtualbox with Hyper-V? Why not just use Hyper-V directly?
Nvidia and MediaTek Allegedly Working on SoC for Gaming Handhelds and Consoles
Well, as awesome as the godbolt explorer and similar tools are, I see the danger of them aiding in premature optimization.
Thank you for finding the bug. I will correct it now. It is indeed free to use.
Regarding Dijkstra, I will research it, thanks for the recommendation
He's been targetted numerous times, so presumably his address is widely known. One person who swatted him was subsequently extradited from Italy and jailed. https://krebsonsecurity.com/2017/02/men-who-sent-swat-team-h...
AirBnB came into being exactly for the sort of situation that you describe. If you no longer consider it suitable, then that would show that AirBnB no longer supports its original mission.
5 turns is slow for any constructed format which includes the original sets. (heck, I've pulled off faster combos in a vintage cube draft)
The site looks like someone's blog, so I doubt the pdf is there with permission. Ousterhout's pages at Stanford [1] don't seem to link to a legitimate pdf of the book.

Flagged for this reason. OP please delete this post.

[1] https://web.stanford.edu/~ouster/cgi-bin/publications.php
You're on HN, you're not the general public.
> They have the next iteration of GPT Sutskever helped to finalize

How do you know that they have the next GPT?

How do you know what Sutskever contributed? (There was talk that the most valuable contributions came from the less well known researchers not from him)
They rather should bring back the old filters. Good ol’ times Google with exclude.
To criticise the Chinese government is one thing. The hysteria of some as soon as something is "linked to China" is quite another.

The racism is not as open and "in your face" as it was during the 50s and 60s, when it was just appalling and the anti-communist propaganda of the time used racist tropes all the time (like the anti-Japanese propaganda had done during WWII), but it is still there to a degree. It's not the main driver but it 'helps' the propaganda, like "communist" does. In the end, though, the main problem the US have is that China is getting too powerful (the fact that they are "communists" and not white may make it even more unpalatable to some and, again, does help propaganda).

The rest of your comment does not merit a reply.
Gpt4 missing and gpt3.5 responses instead
If you can get an unidentifiable SIM for the tracker, you can also get one + a burner phone for yourself. And if someone is stupid enough to not do that or to turn on either device in an identifiable location, they're beyond help.
Extrapolating 2 years might give you a wrong idea, but extrapolating the last year suggests making another leap that was GPT3 or GPT4 is much, much more difficult. The only considerable breakthrough I can think of is Google's huge context window which I hope will be the norm one day, but in terms of actual results they're not mind-blowing yet. We see little improvements everyday and for sure there will be some leaps, but I wouldn't count on a revolution.
I'm using it on FF right now. I don't see the issue with any url (X or twitter)
There is a whole section of the article that explains how permission works.

Ambiguity is not a bug; it's a feature. Every case is different, and once you read a few of those legal cases, you really see that. I wrote that guide, so I read a lot of cases. They were all tricky, but none of them could be understood as an intimidation tactic.
They switched to an SQL database.
NoSQL
When I last checked in on Linux running on a 2-in-1 a year or two ago it wasn't good. There are some minor hardware issues with Surfaces specifically (webcam and some other random stuff doesn't work without a ton a work) but what really killed it was the X/Wayland mess. Had tons of showstoppers in tablet mode because some applications wouldn't recognize the OSK, or would trap me in an dialog until I grabbed a mouse and keyboard. There were some distros who's login screen was unusable when touch only as well, but I'd have to dig up my notes to remember which one. Might be time soon for another tablet experience roundup now that there's a new Ubuntu LTS out.
Millions more middle-aged are obese, study suggests
I’m not in a position to look things up right now but around Boston, while a substantial number of people commute into the city, a lot of people work in suburban office parks especially from the less close-in suburbs. I’ve lived in an exurban small town for about 25 years and I only worked downtown for about 18 months. Heck, 15 years or so ago there was essentially no major tech company in the city proper any longer. All the computer companies were out by Routes 128 or 495.

ADDED; And my experience over a few decades is that almost no one at those companies lived in the city.
Now I don't have any references to back this up but my personal experience has been that walking on 2 feet is a more common trait then 2nd order thinking amongst humans.

Which reminds me of a anecdote from a park ranger I was chatting with once. Apparently the challenge with designing a bear proof garbage can is the overlap between the smartest bears and the dumbest humans.
Note that the IDF explicitly denied that story:

https://www.idf.il/en/mini-sites/hamas-israel-war-24/all-art...

Probably this is due to confusion over what the term "AI" means. If you do some queries on a database, and call yourself a "data scientist", and other people who call themselves data scientists do some AI, does that mean you're doing AI? For left wing journalists who want to undermine the Israelis (the story originally appeared in the Guardian) it'd be easy to hear what you want to hear from your sources and conflate using data with using AI. This is the kind of blurring that happens all the time with apparently technical terms once they leave the tech world and especially once they enter journalism.
I think this is a really well done step in the right direction - bravo!
I read somewhere that while homo habilis was frequently prey, that homo erectus already largely wasn't.
Lucy Letby Was Found Guilty of Killing Seven Babies. Did She Do It?
It's constitutional in CA.
Only the (much slower) SPI mode even has public documentation, not the native SD protocol.
Nvidia should just buy Mediatek at roughly $60B. Lots of synergy and very little overlap. Also giving everything Jensen wanted. From SoC to modem.
I agree with your premise but your first sentence contradicts your last one.

I think there will be criminal indictments, but the punishment will be monetary and will not damage the company long term.

It would be really hard to put anyone in jail anyway, there's too much diluted responsibility.
I disable all that. Does it not work? https://medium.com/p/b429b91850a5
I have been intentionally avoiding Max since the Lion and Ethiopian (at least when I buy the ticket).

However, there were occasions when the airline rescheduled my flights (for many different reasons), which resulted in me being on a max flight. While I can change one of them, changes to most of them were not practical (time-wise, effort-wise, etc). So, at some point, I have to live with the fact that flying max is unavoidable. Any idea how we can practically circumvent this?
Too late, already downloaded and seeding it.
"Become a Pro Member"

"One-time payment, no auto-renewal"

[5 lines further down]

"From $ 0.79 / month"
We're not talking complex problems here, because I firmly believe those kinds of problems do not belong in interviews as coding problems. Maybe spoken about as higher level problem solving. We're talking checking very basic stuff and stressing to them I couldn't care less about whether the syntax is correct. Usually we'd work our way "down" to those kinds of problems once I started getting suspicious about their abilities based on higher level answers.
I don't refute that things can be poorly designed in the Netherlands or in Europe in general. It is not a utopia. I'll give it a 6/10, okay on-average, can do better.

The thing is that US cities and suburbs are much worse. Let me quote the title of article

> Walking the Netherlands: From Amsterdam to The Hague

Is walking something you can do in the US except in some rare exceptions? There are suburbs in the US i.e. residential ONLY places where there aren't any side walks. And the closest grocery store may be 10-15 minutes away by car. Doesn't that feel suffocating to have a home but not be allowed to walk out on your own two feet?
The code is translated automatically with coq-of-rust! When issues are found in the translation they can be fixed once in the coq-of-rust tool, and all the translations are updated.
I’ve been playing with the idea of eye prosthetics for that purpose. At this point, a camera, battery, storage, and radio can all fit inside an aesthetic prosthesis and give it some functionality in itself or augmented by a smartphone.
> Others remain skeptical that occasional behaviors by traditional societies offer a reliable guide to what human ancestors might have done millions of years ago.

I think the biology wins here. We're bipedal, lack tails (use arms instead!), sweat easily (without fur), and can outlast any land creature on earth at distance [0].

Evolution seems to point to endurance hunting as a stepping stone, even if our more recent ancestors we're smarter than that[1].

[0]https://www.nature.com/articles/nature03052

[1]https://www.sciencedaily.com/releases/2019/04/190417153739.h...
This is one of those things where Europe and the US are worlds apart.

In my country we have maximum parking requirement, not minimum.
That's unfortunate...
Here is an analogy: Look at what Amazon did. Created a marketplace for brands then based on best selling items started Amazon Basics.

This is the way of the world. If we're building products that have marginal utility with wrappers then at one or the other point there will be a hit.

Will suggest looking for blue oceans to solve and integrating more than just a single API to build a strong userbase for which you don't have to compete at a later stage.

And by no means I'm saying this is easy. Probably the hardest thing we will ever do in our lives, but if it works out then amazing.
I am French, I know :)

But in my experience this simply causes some giggling in the classroom for a few days and that's it, which is not the experience I have seen recounted regarding Coq in the US.

There are multiple differences between these cases:

- The word "bit" is mostly used when speaking English, not in a French sentence (we use "octet" - I don't know the history here but I wouldn't be surprised that this is specifically because of the French meaning of "bit"). Coq, being the name of the tool, is used as-is in English sentences.
[This is wrong, I somehow confused bit and byte here]

- Even when used in a French sentence, the gender is different ("un bit" vs "une bite"), removing ambiguity

- Bits are just one fraction of the curriculum, not the name of the tool used in every single lesson of the course

I will refrain from commenting further on this topic, as it has been rehashed many times already and distracts from the work on rust-to-coq translation.
For what it's worth, I probably have given off this vibe in interviews in the past, despite being (IMO) a decent programmer.

My brain just shuts off during some interviews and I can't recall even the simplest of things. I forgot the name for ternaries in one of my interviews, despite these being things I use more or less daily.

I'm not sure what it is really. I do fine in exams/tests. I don't have any kind of anxiety on the job or otherwise. I don't even really feel anxious during interviews either, but my brain just goes poof and I can barely form a coherent sentence anymore out of the blue, never understood it.
Quite, keep it polite, "pedo guy" is fine
As someone who has struggled with learning maths, this looks really great. I've set up an account and look forward to giving it a try

And yes, the Hacker News minimal style of the website is very much appreciated! well done
Sundar Pichi has a degree in metallurgical engineering and M.S. in materials science and engineering from Stanford. So I would argue still an Engineer at heart. Yes he did an MBA but is the common track for engineers who want to go the management track.