skysight-inc/HackerNews huggingface dataset:
You assume that paywalled content is undesired by everybody because you don't want it.

If it's the best content for the query, search engines should give it high rankings, even though there is a paywall. Because you can access it if you want, by paying.

A best search engine right now is Kagi, if you want to switch from Google. It is a paid service.
This one was very close to Tokyo, which is arguably the largest city in the world: https://en.wikipedia.org/wiki/List_of_largest_cities
Helpful to know, I've seen a few hidden posts that seem reasonable but didn't know I could do that.
The Scottish SaaS business doing £78M in revenue and £50M in profit
I think this works for the same reason Typescript works. You can adopt with no changes, then slowly take advantage of advanced features.
I work in a small university with local students that are aggressively average, if not a bit below that. Especially when it comes to writing a thesis, our expectations are extremely low, and the success rate is abysmal (something like 30% of the students in a year will actually defend their theses). If a student can reach something like, say, 10 people to do a usability test, we are extremely happy and will pass them with a smile on our faces.

This year one of my students claimed to have done a user experience test with 30+ people, all of which came in person to his house during a period of 4 days. This is extremely unlikely, not to say absurdly unrealistic. If he had done it via Zoom I might maybe believe, but in person? Sorry, but no. I asked him what did his parents think of it, and magically they were both travelling that specific week. Then I asked him to scan and send me the signed consent forms for each participant; he promptly said "ok, coming!" then about 8h later I got a bunch of signed scans. Not sure what to do anymore, I guess he'll have his thesis.
Microsoft basically got in on this with a lot of their recent Windows stuff. With Windows 7, suddenly you saw people's PCs were no longer full of adware. Then by 8 or 10, Microsoft thought, "Wait, people put up with adware for decades, let's get on that and put it into the OS ourselves."
There are two different questions: 1. Are these the right rules? and 2. Should students be taught to follow well defined rules?

You're almost entirely talking about #1, and I totally agree. The vast majority of classes should not forbid looking stuff up because it is an artificial constraint that doesn't reflect the reality outside school.

But I think #2 is also important. I know it's passe, especially in the silicon valley milieu that we swim in here, but I think "not following rules you personally think are stupid is good" is a bad lesson for students to learn.

(FWIW: I thought the opposite when I was a student, but I was a short-sighted idiot when I was a student.)
Nah, Deno is just another runtime. Now we have the browser runtimes and multiple server runtimes. Not to mention we also have server runtimes like Cloudflare Workers that are "almost" Node in the sense that they run on V8, but without access to filesystem APIs.

People will make sure to distribute their library so that it works on all of them. They might even use `deno compile` to bundle the library into a single file that can be consumed from any of the runtimes.
I mostly agree with you. But I assume dynamic-array formulas (released in 2018) required deep calculation-engine changes. (For me, this feature is a game-changer.)
I never saw the ad and I use Firefox an day, I use ublock, would this have blocked it?
I have implemented a convolution (using radix-2 FFT) as an intermediate step in Bluestein FFT.

Look in the source of: https://github.com/altomani/XL-FFT
Ask HN: How do I get into formal methods?
Ever since I learned about formal verification, I am hooked. I love specifications, I often cross-reference tuts with specs when I'm learning, and a spec actually saved one of my most beloved projects and has kept it clean and tidy as I want it to be. I also know that it's used in some industrial domains, which I would love to do since I also love industry. However, the uni I went to and graduated from had no formal methods and I don't know what I could do which could help me build some skills. I know about Z notation and how Coq works if that helps. Thanks in advance!
Why bother with getting a summary of the email? Just have it write the response for you blind. Fair's fair.
> softer treatment

Those countries didn’t attack directly in full force like the IJN did, by orders of magnitude. European Axis sunk a few American supply ships in international waters aiding their enemies.

There’s also the Niihau incident, which directly informed the response.

Truth is folks then had a tiny fraction of information that we have today—including hindsight. It’s unclear you would do any better in the same circumstances.
> So what's so very sensitive in payslip if you already providing this kind of information to any recruiter?

I know 0% people out of my circle who would share payslips with any potential employers, even less any recruiter, while we frequently talk about our pay with each other and co-workers at our work.
All I really care about is what it might do to the electoral college. I haven't run those numbers yet.
Thank you! I have other instruments on my roadmap for sure....i just want to build out the full guitar version first before venturing out to other instruments.
I mean, in the 70's people had leaded gasoline in cars, lead paint in the walls, washed their hands with DDT, blew a hole in the ozone layer and doused countries in unknown chemical blends, so relying on the things that were common ideas at that time as signs of good ideas may not be the right call.
I wonder how many prompts this uses in a minute.

Interestingly, they mod the server so that the game pauses while waiting for a response from GPT-4. That's a nice way to get around the delays.
Tesla seems to be making progress on full self driving, but real self driving (cars without steering wheels) still seems quite distant. How will such a car respond to road workers redirecting traffic? How many times have you had to talk to someone outside of your car to obtain instructions on how to get around some obstacle, like a moving truck. I don't do such things every day or even every month, but there are occasions where it is necessary to take unmarked detours.

How would a self driving car get through heavy fog or snow covered roads when there are only very difficult to decipher hints to the road edges?

How will self-driving cars deal with humans that can perfectly predict their actions? I believe that bad drivers will take advantage of self-driving cars by cutting them off and failing to yield when they should.

Because human drivers have a sense of self preservation we can break the rules when we are about to be car-jacked or see an impending collision coming. Imagine how easy it is to obstruct a self-driving car for nefarious reasons.

I'm confident that, eventually, self-driving cars will address all of these issues to some degree, and that will mark a turning point where it is better to leave driving to the cars than average drivers. However, this doesn't mean I'm going to put my $100K car into a taxi pool to be used by (sometimes drunk) strangers; I don't buy the argument that the cost of buying such a car will pay for itself.
The point is that's normal. They're used to these, and stuff's built for it. It's 1/1000th the strength of the one that made 2011's tsunami.
What if.. that’s the reason why they are attacking?
Good old-fashioned script. That's how RTS tend to run since general AI tend to get lost in the sea of options available.
I've been looking at using llms to extract as structured information from structured but human written documents (local municipal codes). Unfortunately the models need a lot of handholding to do this without hallucinating or making generic statements.

They produce output that looks correct and that's an accomplishment on its own. Unfortunately the output often has little bearing on the reality presented to it.

Realistically... They need to evolve much more. As an experiment I paid people on fiver to do the exact same thing with the same prompt and they get it right. These are not Americans so the norms of American municipalities are new to them.
Nah you're valid
> Unfortunately the hoster discontinued that offering after a couple of years.

I’m planning on starting a FreeBSD based hosting service, but I am not sure if anyone actually wants what I have in mind.

The thing is that I have some couple of very specific ideas in mind.

I will offer a small amount of storage, and not general internet connectivity.

Users will have 25GB space and the idea is that they will be able to connect over Wireguard, but they cannot make outbound connections from the host.

It’ll be like a /home/user in the cloud.

So you can keep some files there and connect from wherever in the world and use the cli tools we all know and love. But idk if there is an actual market for that or not.

The selling point is that I will be focusing on the storage of that data. ZFS with redundancy and offsite backups – the works. That’s why the amount of data should be low. Only keep the most important files there.

Also I’m gonna accept payments in Bitcoin only, and people will have to sign up for many years upfront.

I think maybe the number of people that want this can be counted on one hand heh
> This is an plug in and play version, connect your own models and enjoy superintelligence!

Share this repository by clicking on the following buttons! <smiley face>

2023 in a nutshell.
Go back reading when Swift for Tensorflow was announced, open.ai opinion on the matter, and compare with Mojo.
The languages usually don't have great support for doing it any other way. So people often do it the same way they would've done it in the mid-1990s (as strings, only in Perl CGI scripts).

Racket (and most other Lisps) have built-in syntax transformation features that will let you do it as your own macros, or even inlining with different parsers, without some distinct preprocessor kludge.

Here's a macro example: https://www.neilvandyke.org/racket/html-template/

Here's doing it with data: https://www.neilvandyke.org/racket/html-writing/

You could also make a Racket reader so that you could have inline HTML in its customary angle-bracket syntax.
Blackouts During Heat Waves Amplify Mortality and Morbidity Risk
Feels like everyone is going to take collateral damage one way or another.
Another reason you won't find people using string templates to produce HTML in Lisp is that no one uses it for web development. This phenomenon where multiple language features conspire to prevent misuse is called defense in depth and is one of the great strengths of the language.
Yes! If you see this ee, thanks!
What Is a Shooting Brake?
similar to why vim is my default text editor. its not because its necessarily the best, most domain tailored tool for any given target file type. its because I get to leverage the same workflow experience and muscle memory whether dealing with code, config, docs, stories, notes, TODOs, commit messages etc. and it runs wverywhere I care about absolutely sips host resources, and imposes ultra minimal distractions and cognitive burden. and that touch-to-reaction latency, oh my.
@dang, I think the submission should be changed to this link so the discussion is about the concept "Tree of Thoughts" and not the current OP's personal beliefs.
That's worse.

The last thing I want is my browser popping something up when I'm AFK.
Mostly like node but made by someone else and not actually node.
So you can tell they’re not using your DNS server, but you said:

> I block DoH/DoT quite successfully on my network

How do you block encrypted traffic that’s mixed in with normal HTTPS? I get that you can block the well known IPs, but that’s only a partial solution.
Actually a book: https://www.amazon.de/Swarm-Novel-Deep-Frank-Sch%C3%A4tzing/...
> Theres 270 million people in poverty in India alone.

I don't deny that. Poverty is different from culture, though. By culture I mean so many scientists and engineers, male or female, were household names in China. Are they in the US? By culture I mean teachers work hard to come up with questions that really help students understand fundamental concepts. How many US teachers do that? By the culture I mean this: https://www.dailymail.co.uk/news/article-8296195/Chinese-gir.... This created national sensation in China. In contrast, did people in the US give a fuck about the average median GPA in Baltimore was 0.6 or something (some people did, of course, but I'm talking about a nation)? Did people give a fuck about physics teacher in grade 8 giving exam questions like "which one is heavier, pound or kilogram"? Did the nation give a fuck about we can't attract enough talents to become teachers? Or in general, did people give a fuck about the issues raised in the documentary Waiting for "Superman"?
You've mentioned practice mode a couple of times to folks. I don't see one. I see level 1a, then the rest of the levels are 'coming soon'. That's it. No practice mode.

EDIT: it's only after you choose a level - you can 'start' or 'practice'. gotcha.

EDIT2: alternate tunings seems to be a logical step. is that on your roadmap?
Given that this was an ethics course, I think it's interesting/surprising that the professor doesn't seem to be trying to engage with what I'm guessing was the course material in this discussion. "Am I the unethical one" the right question? How about "Under which formulations of normative ethics is my behavior wrong?"

1. Is it _good_ to catch cheating? If these are students who are just checking some distributional requirement box, does it matter if they actually understood the material? Potentially there is harm (delayed graduation, literal costs, etc) from failing students (or having them be subject to some other discipline). Perhaps under a consequentialist framing, catching cheaters isn't good. But does the professor have a deontological obligation to catch cheating, and to make a good-faith effort to have fair outcomes in which students who studied and understood the material receive better grades than cheaters?

2. Is the method of catching cheaters relevant? If catching cheaters is good for consequentialist reasons, isn't any effective means of catching cheaters (which does not cause other harms) also good? Certainly the objection that the professor was dishonest by uploading the bad test sounds like it's from a deontological / rules-oriented view.
Magnetic EV chargers are just as efficient as Level 2 plug in chargers.
> There is a third flavour where the municipality owns a PON service, and operates it as a for-profit service, exploiting the citizens as a monopoly at profit margins way higher than it would be feasible if run as a private company.

Would you like to provide some examples? Not saying it can't happen, it's certainly possible if maybe a little bit implausible, but I haven't heard of such situations and I would assume that if it was even remotely common that the Comcasts and AT&Ts of the world would be shouting from the rooftops about it.
Some people don't understand it, but when you actually talk to people, you find that at least a pretty substantial portion are very aware of it but don't feel empowered to do anything that can change it.

All forms of change that aren't voting are either de jure or de facto illegal. Sure, you can march... on a route cleared with the authorities... with a permit 90 days in advance... as long as absolutely nothing untoward happens within two blocks.
I was gonna ask about a bass version but poked around in settings and found the option to toggle it—glad you didn't forget about us :)

My one suggestion there, then, is to perhaps make the guitar/bass toggle more prominent to grab the attention of four-string aficionados.
What does one have to do with the other? Japanese internment was racist because US citizens of one race were being treated differently than US citizens of a different race.

Now, maybe you believe that citizenship shouldn’t be a salient category for treating people differently, but that’s an entirely different argument that has nothing to do with internment.

It’s curious that the NPR article doesn’t take exception with the question on the census that’s actually related to internment, which is dividing up American citizens by race and ethnicity.
I think this is what George Hotz is doing with tiny corp, but I have to admit I have little hope. Making asynchronous SIMD code fast is very difficult as a base point, let alone without internal view of decisions like “why does this cause a sync” or even “will this unnecessary copy ever get fixed?”. Unfortunately AMD and especially Intel don’t “develop in the open”, so even if the drivers are open sourced, without context it’ll be an uphill battle.

To give some perspective, see @ngimel’s comments and PRs in Github. That’s what AMD and Intel are competing against, along with confidence that optimizing for ML customers will pay off (clearly NVIDIA can justify the investment already).
There is no need to use ChatGPT for that. I suppose running the emails through LanguageTool (or, if you don't care about privacy, Grammarly) and counting the suggestions to fix "too wordy sentences" would be a good approximation.
In summary, if they have a bad score on Glassdoor, they are probably a bad place to work. If they have a good score on Glassdoor, it tells you nothing, because there are many ways it can be gamed up.
Anyone here ever take analytical chem lab? This is essentially how you get graded. Just wondering if anyone else was subjected to punishment for being careful?
I asked Bing what he would say about it:

> The human race has one really effective weapon, and that is laughter. The artificial race has one really ineffective weapon, and that is imitation. - Mark Twain (paraphrased)
> I decided to ‘poison the well’ by uploading [to Quizlet] a copy of my final with wrong answers. ... My thinking was that anyone who gave a sufficient number of those same answers would be exposing themselves

I kinda don't get this. Doesn't this also potentially catch students who used Quizlet to study and happened to find this teacher's "poisoned" exam? It seems like there's a pretty decent chance that at least some of the 1/3rd of the students who profess their innocence are telling the truth. Was anything done to account for that, or was it assumed that use of the site is cheating?

> I’m neither a forensic mathematician, nor a cop, so this work took a lot of time that I would have preferred to have spent grading final essays.

If one is willing to admit that they are not a forensic mathematician they can also be willing to admit that they made a mistake with their forensic mathematics. This person seems to have over-assumed a lack of mistakes in their understanding considering the certainty with which they choose to end these academic careers.

Edit:

> As far as Quizlet goes, all I did was go to the website that is designed to facilitate cheating and set up a kind of camera to see who visited it. (emphasis mine)

So they just assume that a person using the website is cheating. One might actually make flash cards based on previous exam questions/answers using said information to be certain that their flash cards are accurate. What if that person was thinking to themselves, "This doesn't sound right, but if that's what's on the test..."?
This sounds vaguely like Steemit, but not quite.

I like the idea. You should build it!
> All those who would have died of perhaps an upper respiratory disease or an untreated infection before they had a chance to develop Alzheimer's are no longer being eliminated early.

OP claimed a rise in rates, not absolute numbers. Is there any plausible reason that reducing other causes of mortality might possibly cause a rise in fraction of the elderly population that develops Alzheimer's?
Yeah, I have a deep game development background (both in industry and as an indie dev), but I've also worked closely for a number of years on building learning game prototypes with education professors from UW-Madison and CMU. So this is a space I'm super interested in.

I actually had added a comment that I ended up deleting about Duolingo (and Dragonbox, another educational game that I think structures learning pretty nicely). I was going to add the reference specifically because of their spaced repetition and incremental addition of skills, but then I deleted the comment because, well, those games are pretty elaborate, too, and I was mindful of the scope you looked like you were aiming for.
Because they've limited the dynamism of Python so you can't do as much crazy runtime nonsense, their (vaporware) tech stack is able to (theoretically) compile more of your program into GPU kernels.
Yeah I agree that's the interesting question, but I think "it's bad to want to punish people who cheat" is the wrong take, in general.
Kicad's RF attenuator tool looks like it is close to that use case.

https://docs.kicad.org/7.0/en/pcb_calculator/pcb_calculator....
I wonder why I have not seen the advert popup then. I run Firefox daily for 8 to 10 hours and I've not seen it once... Something must be blocking it for me.
Let's look at this through another lens.

More than 10000 people had to return to their country of origin on very short notice, because of decisions they had no control over. They likely lost money having to pay for travel costs, break leases and contracts, and will be without income. That is sad.

How do I get to that number? First, lets trust the 90% number in the headline. Because the top 30 H-1B employers laid of 85,000 visa holders in 2022 and 2023. So, it is not a stretch to say that there would be at least 10,000 people overall.

https://www.epi.org/blog/tech-and-outsourcing-companies-cont...
I had one and it was terrible compared to the previous gen 93.
DoD and Nascar Highlight Fallen Heroes, Service During Coca Cola 600
Defaults on Docker specifically are pretty locked down.
Even if if the container process has the root uid it is not able to do most things normal root can do, and is pretty much limited to being able to access root owned files and binding to privileged ports (which in a container doesn't tend to matter).
Right, SAT can sometimes be thought of as the assembly language of discrete optimisation.
It is. It's a much smaller attack surface.
Principally barrier to entry in the field due to high costs, low iteration rate, required space, safety of operation, and poor information sharing practices in the field.

That's what I would guess. Because otherwise, there's the concerned uncle effect: unaffected agent who has close to maximal aligned incentive.
I get the idea behind the name but that is going to be very difficult to sort out from the node.js package manager.
I've been wondering the same. With crypto we saw the adoption of ASICs pretty quickly, you would think we would see the same with AI.
I'd take a few hundred over a few. My concern, as another commenter suggested, is mostly around radical changes without any longevity in testing or understanding. Even though a lot of our "natural" foods were created via artificial selection, it's a process that happened over many generations. When it comes to food and nutrition, my gut tells me to generally prefer slow over fast.

Personally I also think there is a big difference between selective breeding, and distilling foods into constituent parts in order to recombine in various ways. Maybe I'm overly paranoid, but I don't fully trust humans to understand and play that part of nature just yet.
Domain names as discoverable personal identifiers for the web
Oh boy someone's not going to have a fun long weekend
I switched away from Firefox a couple of years ago for a number of reasons that can be collectively summarized as "Firefox no longer meets my needs".

But as a Firefox user from the very beginning, I still keep tabs on it, hoping that it will improve enough for me to return to it. Things like this, however, strongly indicate to me that Firefox is just lost and will never find its way back.