skysight-inc/HackerNews huggingface dataset:
I've had pretty good experiences with Azure Active Directory's flavour of OpenID Connect. Multiple callback URIs are supported per app registration.
>Micro chips with dimensions in the single digit nanometres.

US is behind Taiwan in this one thing.
PhD students get stipends and tuition covered most of the time. They were striking for greater stipends and benefits.
Ask HN: Is somewhere out there some HN statistics?
I wonder how many people submit stories, how many comments are posted daily to HN. Is there some stats page for HN?
> EDIT: Downvoters, care to explain what about this comment violates this site's guidelines?

Downvotes on HN are not limited to "moderating", users are entitled to use them as they wish, many use them to mark that they disagree with a comment. I think people are disagreeing with your premise, or think you have misunderstood what Textualize is.

The guidelines do however suggest not commenting on voting on your comments:

> Please don't comment about the voting on comments. It never does any good, and it makes boring reading.

https://news.ycombinator.com/newsguidelines.html
> emacs isn't a library for creating rich text mode applications

It (almost) literally is. You ever hear that old joke "Emacs is a great operating system, now if only it had a decent text editor"? That comes from that reality that Emacs is better at creating "rich text mode applications" (e.g. org-mode, SLIME, magit) than it is at actually being a good out-of-the-box text editor.

Emacs gives you a text-based abstraction that exists on a bunch of platforms, an extensive standard library, and a massive ecosystem for building text mode applications. Including, yes, "in the terminal".
Does it matter? This is for distortion/noise, like in music.

Nobody using clipping as an effect in their music cares if a fuzz/distortion/overdrive effect is less than pristine from an audiophile standpoint.

Audiophiles would throw up if they realized exactly what's going on in a guitar rig.
I've only personally seen one failure like that, a bad washer flooding a friend's house.

I would imagine a heat pump dryer would be very unlikely to burn anything down.

It is a really big inconvenience when they go offline, but there are still lots of brands that seem to work fine for 10 to 20 years.

I'm surprised ultra high reliability isn't more of a consumer selling point. Refrigerators in particular could do it with a redundant compressor and valves, they could share the evaporator and condensing coils. It's not like fridge compressors cost that much to make. They could even use 2 small ones and run them all the time, so if 1 fails you get half power but it still works.

Washers and dryers could do redundancy by selling pairs of identical combo units instead of 1 washer and 1 dryer, but I suppose people don't need to replace both at once very often.
that seems to be a crux: how to get (and utilise) well-trained people while avoiding long-lived organisations.

(to some degree, one might argue that back in the day, Silicon Valley was an example of successfully recombining groups of well-trained people, each of whose career-length might involve participation in over a dozen different hierarchal entities; in the 1970s this promiscuity was considered radical.)
Homoiconic Spreadsheets: What, How and Why [video]
They can not be shot down (yet).
I recently stayed a couple nights at a nice “boutique” style hotel in Philadelphia that has no staff there most of the time. You get in with a keycode or an app (the app didn’t work). It’s sort of like an airbnb, but a hotel.

Presumably they do have staff to clean the rooms, but only between visitors as far as I could see? We never saw any staff. There is a number to call.
Yes, people would also LOVE to fly an airplane. Yet it's great that they generally can't as that would pose a danger to their surroundings.

Why we act like the death toll of 35.000 A DAY is an acceptable price for "the fun of driving" I can't comprehend.
so the user is responsible for keeping their syncID and password stored safely?
This is hustle culture virtue signaling.
Almost as if graduate research and professors are required to build an environment for high-value undergraduate studies. The distribution of fees is far from ideal, but your complaint should not be directed towards those that literally define the institution you wish to attend.
Arc is the best web browser to come out in the last decade
I wish this was a formal/enforced rule. I do it too (leave a reasonable gap ahead of me) it helps a lot in traffic
As long as your ADC and DAC are not clipping, I don’t see why could could not model any arbitrary distortion process with DSP
People forget things used to cost a lot of money. I remember when our family bought our first color TV set back in the early 70's. You can buy a 65" HDTV set today for the same amount of money - and that's in today's dollars which are significantly less valuable than the dollars in the early 70's!

That TV didn't last 20 years - it was a huge hassle continually testing and replacing tubes.

Meanwhile I bought a 55" HDTV almost 20 years ago that's still running fine.
"Don’t let junior SWEs get 2000 lines into a change before submitting a pull request."

This is good advice. Share your code early and often so you can get feedback before you're fully committed to one approach.
I strongly suspect there's some spam in my 9,665 unread gmail messages. Most of it is stuff I recognize, and there are on average 1-2 messages added to the "spam" folder automatically. This seems to be on track with long term trends in my particular case.
Same thing as "all right" but different, you dig?

See https://www.youtube.com/watch?v=r4deSYYzffM by Cab Calloway

Or the lyrics before the solo break in Zappa's "Zomby Woof".
Indeed - and it has long been known that Japan is in an earthquake zone, and can suffer Tsunamis, so...
The Year in Math
I think the point of textual isn't so much "look what you can do with it." Most of what it does is possible with ncurses also, if you're really committed. But neither ncurses nor emacs feel like modern UI development tools, and that feel (e.g. styling with css) is important to a lot of people.
> You can build a separate exception for every possible raise site.

Why would you want to do that? You don't do that with Result/Either.

> To me, once I am building my own expansive taxonomy of exceptions, I am much happier using Optional, or Result/Either type return values.

I may be missing something, because to me, this doesn't follow. Optional type is "result or nothing"; and with Result/Either type, you either use something generic (e.g. symbol, string), or go very specific (even if it's just one of the dozen different "newtype" names for symbol/string). To me, this choice with Result/Either is exactly equivalent to choosing an exception taxonomy. You're doing the same work either way.
At the highest end of flyer status, some airlines will escort you out of the jetway via the access door just as you step off the plane (before you even enter the terminal) and drive you directly to your next flight, where you climb the stairs, enter via the jetway access door, and walk onto the plane. That’s for very important customers with tight connections.
> Won't this just mean departments will recruit proportionally less PhDs?

Maybe they should. The PhD dropout rate is almost 50%. Universities exploit PhD students for cheap labor and then throw them away.
> emacs isn't a library for creating rich text mode applications.

One could say with at least equal merit that Emacs is exactly that: a language and library for creating rich text mode applications, itself being the first application written in it.

To consider Emacs as merely an extensible text editor would be to miss out on what can be done with the digital text metaphor beyond its editing.
If your EV has different driving profiles, this is one of the things that changes between profiles. If you want your tires to last longer, drive in "eco" or "range" mode and make sure you're not in "performance" or "sport" mode.
It’s an interesting question, because one of the key arguments that Apple fans make against sideloading is that without sideloading, it is difficult/impossible for a hostile government to force you to install tracking apps onto your phone at the border.

Perhaps that’s why they’re seemingly not pressuring Android to crack down on sideloading.
I'd rather have an AI that can cook meals. Because that would actually save me time (I have to spend time in the car anyway, and there's not much I can do than stare out of the window, as I would get car-sick otherwise).
The model clearly shows that while heavy taxation does not fully eliminate unequal distribution, it does dramatically suppress the inequality. Completely eliminating inequality is not necessarily a goal.
The key word was "library". It's not a library someone can easily pull into their own application. Yes, you can write a pixel editor in emacs, but it's an opinionated ecosystem that doesn't appeal to everyone.
I have been saying for a long time now that we live in a world awash with answers - I can get you an answer on almost anything.

But the problem is, did you ask the right question (for it to be a useful answer)?
The only places I've heard of that do this are the most budget of holiday parks in the UK. The type of place where the TV is bolted down and you have to pay for your own electricity.
Sunday Ticket has long been an outlier in the pay TV field as a truly differentiated offering because it goes against the grain of an industry where there is little geographical competition. It doesn't make sense for it to be a Comcast or Spectrum exclusive because most people have at most one choice of a cable TV provider so they won't have the opportunity to offer it to most football fans.

It makes more sense for DirectTV, however, since DirectTV is available almost everywhere in CONUS. That article points out something I didn't know, which is that DirectTV loses money on the subscriptions, but they make some of that back because some of those Sunday Ticket subscribers wouldn't subscribe to DirectTV at all if it wasn't for Sunday Ticket and it creates a halo for DirectTV's brand.

An ambitious IPTV provider like YouTube that is struggling to gain market share needs that halo more than DirecTV does so they are likely to pay more for the privilege than DirecTV is.
"E.g. after learning about "cross apply" (T-SQL; "lateral join" in postgres) everything got 10x easier to express in SQL."

I feel like even in the past few years the database community has still been learning about what you need the databases to be able to do in order to make good code. I personally don't like the "declarative" memeset and think it set the community back literally decades, but with recent Postgreses (by which I mean, the whole last five years or so... lots of people still running older things) all the functions and functionality is technically there to arbitrarily convert between rows, arrays, columnsets, etc., and more and more you can use them arbitrarily as well, so you can JOIN against a columnset you bodged together from two other queries that you pulled into an array and then put that array into a columnset, without it having to ever be turned into a full "table". Cross apply is another example of that, where IIRC a row can be turned into multiple rows.

The problem is that while all the functionality I've wanted on this front does now seem to exist, it's all incredibly haphazard. Cross joining is an SQL keyword, but arrays look more like a data structure, and I can't remember what all was going on but I recall having more hassle turning arrays into columnsets for some reason. If I were going to be doing this full time I think I'd build myself a matrix cheat sheet of how to convert between all these things, and I bet there's still holes in the matrix even today (is there an opposite of a cross join? dunno, but I wouldn't be surprised the answer is "no").

I feel like I'm doing a lot less "work around things missing in SQL (that I have access to)" than I did 15-20 years ago, but rather than a cohesive and well-organized toolset for dealing with all these things, I've got a haphazard set of Bob's Custom Tool for This and A Semi-Standard, Modestly Extensible Tool for that, neither of which were ever designed with the other in mind, and yeah, in the end I can do everything I want quite nicely but it's up to me to notice that what this tool calls a 1/8 inch quartzic turns out to be the same as a Number Seven smithnoczoid and so in fact they do work together perfectly despite the fact the documentation for neither of them suggests that such a thing is possible, etc.
> the ‘scientific method’ is not really practiced

There is a big difference between "often not practiced" and "not really practiced [ever]". The former is true, the latter is not.
>However, if each app actively maintains a server connection, the OS cannot suspend them.

This is a limitation with Android and not a fundamental network/OS limitation. As long as your protocol allows for long enough keep alive latency you can periodically wake up for a short period and allow apps to service their connections (which is what I'd imagine this does anyway just with a singular app.) This works on Linux if you don't have the extra Android crap getting in the way.

It's kind of a bummer to see bad OS architecture feed into over-complicated protocol/application design.

EDIT: I guess I wasn't clear here. In my experiments I had the background wake up service wake the device up once and applications had just that singular window for all of them to service their connections. The problem with Android is instead applications either keep the phone from suspending entirely or (apparently) have some API allowing them to register their own periodic wake up that isn't shared.

EDIT2: I also want to be clear that this isn't a criticism of NTFY. The developers behind it deserve congratulations for solving a serious problem with FOSS Android apps. My complaint is that the poor architecture and unescisary inflexibility of Android made this such a complex problem in the first place.
I'm the opposite... I honestly get frustrated with kiosks, usually the interface staff has is better/faster and I prefer the human contact. Even though I work with technology and generally like computers, I'm the type of person that I'll go to my desktop to do things I could do on my phone, but far more annoying on the phone.
Benefit of doing Slack “interviews” is that you get a transcript of the session
Zero breaks, for one. And no ability to take sick days/stop doing it if you're injured. Doing work for 1-2 hours a day or a few hours a week is very different from doing it for 20-40 hours a week. (Much like there's a difference between taking on a project or two for a small team that requires some programming and being a full time dev). Oh, and you can't sit. That's like saying anybody who mows their lawn would have no difficulty in a landscaping position.

And the kid thing it strongly depends on the age and type of kid. Kids at the most physically exhausting ages also tend to take naps which gives the parent a respite. You can also trade off with the other parent/other relatives if you're tired. Can't do that with work: Your coworkers aren't going to do your job if you have an off day.

The physically demanding part is in the demand for physical consistency.
PageRip – Rip elements to HTML/JSX with inline styles
Given its neighbours, I'd say that is an extraordinarily happy coincidence...
I would never advise anyone to write their own code to integrate with Open ID Connect.
An open source solution pre-built from professionals like Ory Kratos or Keycloak saves you a lot of time and pain.

https://github.com/ory/kratos

https://www.keycloak.org/
I wish I could be even a smidgen as cool as he was.
I dispute that it has "always" been broken -- the bug is to do with ordering non-ascii input data, when char is unsigned. I suspect strcmp() wasn't expected to provide order on non-ASCII data when that code was written, with char defined as u8. The original K&R code just subtracts the two (signed) chars too:

https://www.tuhs.org/cgi-bin/utree.pl?file=V7/usr/src/libc/g...
ressources are not infinite and framing the problem as one of good being the enemy of perfect is disingenuous. Rooftop solar is a terrible idea when compared to the alternative - utility scale solar, installed at the right location, in the right way, with economies of scale; all while achieving everything you mentioned.

Rooftop solar has numerous problems, starting with structural considerations, scale, shading, imperfect angles, local grid congestion and so on. Why have everyone waste money on this when we could just install solar farms?
Ah yeah I paid for Consumer reports and instead of buying an expensive dishwasher got the $500 Bosch that they claimed washed as well as the $2000 Thermador dishwasher. It has been going strong for a few years, no complaints here.

I know Consumer Reports can’t really account for durability although I think they survey their members to see what’s still working, so it’s better than most places.
> sudo was bitten by this back in the day (CVE-2017-1000367):

> https://www.openwall.com/lists/oss-security/2017/05/30/16

https://www.openwall.com/lists/oss-security/2022/12/22/5
Disappointing to hear that the ecosystem has fared that poorly. Are there really no companies doing this that aren't part of "surveillance capitalism"? When it first came out, I seem to recall that Norton was one of the companies offering Open ID.

With GDPR there's a compelling business case for a service provider that acts as a clearing house for personally-identifiable data, so that, as a business, one would only ever deal with anonymized data, thus effectively outsourcing GDPR compliance.
Big jump from "less human domination" to "destruction of the family" that you're making.
Imagine in a decade or two a paint that as long as it's continuous, it becomes an electron pump in the sun.

One electrode per side of the house or whatever structure, even roads, signs, etc.

Even if it was only a few percent efficiency, the massive surface areas would be more than enough regardless of sun angle or intensity.
> FSD as a product is a gimmick.
> The way FSD is marketed is borderline misrepresentation.

Only one of these two statements is correct.

FSD is a gross misrepresentation of the function’s capabilities.

FSD is not, however, a gimmick. If it was simply renamed “advanced cruise control”, it would be very accurate, and Tesla’s product would be at the high end of quality for advanced cruise control.
A Minimal GIF Decoder
The idea is to have inexpensive refrigerators that use less energy and last many decades. (And when they are superseded by even more efficient models there should be a clear recycle/reuse "exit" for the old appliances. I hear they have laws to that effect over in Germany, something like that. Keeps the old obsolete appliances out of the landfill.)
Interesting view that memory leaks aren't correctness problems. But I would require more convincing to agree.

It's true that memory leaks can be small enough that they don't become problems in the end-to-end behaviour of the system in regular use. But a lot of bugs are like that. For example many memory safety bugs.
I think I agree largely with your opinion. It sounds like you agree mostly with mine, but I’m asking hard questions to try to extract some legitimate justification for remixes that copy significant value from the source material. A big problem with wanting to copy and remix is the unspoken desire to save time or money or to make money. IMO that’s not a great justification. Your position, like mine, starts from acknowledging the need for some protection time for creators, so I don’t think I need to defend that, do I? All we need to do is agree on a reasonable term, right? And Nintendo is not a good starting place to think about the term. The law needs to work well enough for people who don’t own a Mario franchise. It needs to work for photographers and painters and writers too. The law also needs to assume copies are not in good faith. The problem isn’t game developers who want to pay homage to Mario, the problem is unscrupulous people who want to make a quick buck without adding value. They are the reason the law exists, and the law needs to start with the assumption that will happen again.
I’m not missing that. The point about Ramanujan is to show there is something fundamentally different and at a massive scale of difference between human intelligence and these AI systems. It’s not that average developers are math prodigies. It is generating code based on predictions from a large corpus of training data. How well does it do at debugging that code (assuming the bugs / code it finds are not the exact kinds posted to Web sites thousands times)?
> That's why I don't like proofs.

If you don’t like them, I think grudgingly accepting them as a necessary evil is your best option.

If you don’t do that, what do you use instead? Intuition? Beliefs? Do you take any statement that, when expressed from the axioms up, is too complex, as unknown?
Yes, they can. Evernote, the company, really pushes their "everything is encrypted" mantra, but you have to really push them to get them to admit that it's only encrypted in transit. On their server storage, the data is encrypted using their key, so if someone stole a drive or a disk image they wouldn't be able to read it, but any number of people at Evernote would have full access to anyone's data.
That reminds me about podcast with some mic guru that was talking about zener diodes. They used ones to stabilize high voltage used for a capacitive microphone and found out that while initially they didn't care much as long as voltage matches, some models had harder or softer knee and the softer ones reduced the noise level coz they provided more noise-free power.
Thanks. I will pass that on to the devs.
Isn’t that what turn signals are for? Car body language is somewhat location-dependent. Rural Missouri has more cautious drivers and downtown NYC more aggressive drivers. Seems complicated to modify the car’s behavior at such a fine level, but perhaps it’ll happen once the bigger issues are worked out. On-board, personalized learning from your commute would be a neat selling point.
How about they submit this link again when it is available for download. Asking for emails for a vaporware product is the #1 way to kill a vaporware product before it launches.
That's true - but it's not like the potential for such a natural disaster wasn't well known. The word we use for such devastating tidal waves kind of gives that game away.
There are fully self driving cars on the road today. They don’t have even close to global coverage, but empty cars are driving on public streets.

Extending these limited trials to every road in the world isn’t going to be fast, but a few cities with zero human taxi drivers could happen surprisingly quickly.
I'd be very interested to see some data here. What's "plenty"?

But the big difference between the 1990s and now is that everybody already has perfectly good text chat. Plus free voice calls and video calls. Plus regular social media for non-synchronous interaction.

I can believe VR Chat is better for some niche of people. But I don't see much reason to think it's going to be enough better than all the other options that people will don special gear for it.
It's the dubious administrators raking in $250-400K a year that contribute to the increased tuition. See for example:

https://news.ycombinator.com/item?id=33831936