skysight-inc/HackerNews huggingface dataset:
Where on the roadmap is GPU compositing? In modern browser programming, I kind of take for granted that I can control the rendering “layers” and certain CSS properties, like “transform,” will be accelerated.

Edit: In Blink, the layer/compositing system extends to SVG elements inside SVG tags, as well, and in WebKit, it doesn’t yet, but there is an active years-long effort going back to 2019 that will eventually land: https://youtu.be/WxqJFxiprrU?si=dhQIgW1V4yS_Ca4s Compositing and using the GPU seems like a complex but important part of rendering in a browser, and a case where it could be good to implement the kind of system that other browsers have arrived at after years of iteration, when it comes time to do so.

Will the JS engine still be LibJS?
Sonar doesn't seem to really work in my limited experience. It adds a lot of of time to builds, at least in the cases I've seen, while there are alternate linters or code quality tools capable of doing the same at a fraction of the time. Build times and development speed matter!... They matter a lot. You need a quick feedback loop.
I currently save so much time a day using chatbots lol
There's a significant contingent of people who find typing numbers with the number row cumbersome (me included). If, for whatever reason, you need to type a lot of numbers, it can be quite inconvenient to not have a numpad.
I guess thank God for Hollywood, it means we can all at least speak one version of English
That is not a determinable way though, since when a program enters a 'loop'ing state, it's unclear if it's going to halt or not.
"Whatever its flaws, the writing you find online is authentic."

This did not age well! :)
But do we need general ways to show that any program halts? We don't write general programs

In particular, our programs have a limited size and use a limited amount of memory (or else the OS will make sure they will halt..). And for this specific class of programs, the halting problem is actually decidable!
Supreme Court will hear challenge to Texas' age-verification law
testing in china is not the same as testing in europe
Yeah, just checked- this is correct. They appear, but with an underscore, and they can't be navigated to or deleted from within the UI.
I very much disagree with this. It is possible (and we do this in production) to branch a pg database without requiring these tools using `pg_dump` or `pg_dumpall` which uses the ability to branch a database. These can be integrated with either standard ORM tools or SQL scripts to achieve the same result with far better performance and lower cost. This very much appears to be a knowledge issue.
Old School Weather TV
Wouldn't it make more sense for the longest running ones to be fractal in a sense given that the self-similarity is sort of compressible? I guess we'll probably never know, because it's not clear that we'll ever find another BB winner.
the kind of shock that padding absorbs is not the kind of shock we're talking about here; we're talking about supersonically propagating pressure waves which create discontinuities in the pressure field, as well as the temperature field and the velocity field. to my surprise modern combat helmets are designed to protect against those to some extent, but padding is irrelevant to that; to shock waves, it's effectively a gap. the padding protects you from things that could displace the helmet until it hits your head, such as bullet impacts
Explainer for the Prompt API
> I can see that you don't so I'll try to be clearer. For any given program one might choose there is no reason in principle why a competent computing scientist can't perform a semantic analysis for every statement and then deduce from that whether it is totally or partially correct.

'Correct'? In what sense? 'Correctness' and halting have little to do with each other. For example:

def f(p):
p()
return 2

is 'correct' if the definition of f is to evaluate to two. But it's not clear it's ever going to halt (depends on haltingness of p).

But that being said, actually no, there are many reasons in principle why a competent computer scientist would not be able to perform a semantic analysis for every statement and deduce from that whether the program will halt.

> Obviously most programs in the set of all programs are too long for a computing scientist to read in a human life time, but that's another issue entirely.

Irrelevant because even an immortal computer scientist would be unable to determine if the program halts.

> This points to (but doesn't prove) the possibility that the human computing scientist isn't using a decision procedure to analyze (or construct) the program.

The difference between a computer and a person (and I'm going to ignore all the various philosophies of consciousness) is that a human will 'arbitrarily' determine under what system he/she wants to operate, and thus can change axioms on the fly. of course, one could write a computer system that does this as well. It's really not obvious what you're saying here

> About here is where I expect to see some misinterpretation of Church-Turing as somehow proving that everything, including computing scientists, is a Turing machine brought up. Oddly, rarely is the far more interesting Curry-Howard correspondence mentioned.

Computer scientists may or may not be turing machines, but any deterministic procedure they follow can be encoded as a turing machine so your distinction is irrelevant.

I'm not sure what Curry-Howard really has to do with this, but in general, for a theorem checker, you should make sure your proofs are total.
A bundler is necessary evil and should be thought of and developed that way. Not celebrated. There should be like two or three flavors, e.g. like Cpp compilers (gcc/msvc/intel), ideally with a big corp backing and they should be rock solid and not change much.

The amount of bundlers I've seen in my time is borderline obscene. Nowadays it's even worse, as every javascript framework developer's actual secret fetish is to build their own bundler. Ideally in Rust because that's hip I guess.

Webpack, Snowpack, Parcel, Rollup, Esbuild, Vite, Turbopack... just stop. Enough.
Creatine improves physical function and body composition in older adults
The problem is software that drives an entire vehicle line is accountable. What you describe would hold an owner accountable. Like blaming a victim of a Toyota for a bug in the cruise control. But not the manufacturer of the software. It's an emerging thing and grey area for existing laws.
The MIPS router that I connect to via SSH does not have a GPU. Nor does the laptop I use to connect to it. I am not a gamer and I have never purchased an expensive graphics card. The first "GPU" went on sale in 1999. In that time period, I used VGA textmode^1 to do hex editing. I still use textmode today. I do not run X11/Wayland/whatever. I do not use a terminal emulator. I am not interested in Unicode; I deliberately avoid UTF-8 where I can. In all the time i have been using computers, I have not needed hardware acceleration for editing hex. I do not forsee that changing before I die.

1. Pixels, not glyphs
Such a quaint read in the age of aggressive influencer-ing
Tickets are supposed to be a deterrent to violating traffic laws. For a corporation though, even a big ticket is just a drop in the bucket. Laws will need to be updated if these things are allowed to be on the streets.
I thought it was funny.

(I hope it was a joke)
I certainly would consider trying to contribute, but.. After seeing the drama.. Nah. Not here. Not now. Still, happy to see a new browser engine, alongside servo.
You just need to do something enough times that you can identify a positive feedback cycle, and then go from there. Don't expect to wake up one day and consistently start running every morning, that's a really absurd bar to try and hit out the gate. Just try and do it 3 times a week whenever you can and build on that. The overwhelming majority of people who've come to rigid early routine have come to that point either out of necessity, optimization, iteration, or habit, and what clicks is going to vary between people.

People who don't go to the gym at all think they'll sign up at the beginning of the year and from zero make a life-changing routine change by the next week; gyms know this and take advantage of it to the point that many would go out of business if not for people failing to motivate themselves in that first month enough to start doing one of the hardest daily activities first thing in the morning 5 times a week.

If you don't like running, just do something else, sometimes; running sucks if it sucks and doesn't if it doesn't. Optimize if the nature of the activity seems like something you can find doable/enjoyable/rewarding.
Sure, but you are paying for that. It also has nothing to do with the bizarre and untrustworthy AI answers being shoved into Google and Bing search results, or Facebook's terrible AI search bar.
> If people don’t support Safari they lose out on a large portion of users.

If people don't support Safari, it's because the free market has spoken and overwhelmingly chooses alternative options: https://gs.statcounter.com/browser-market-share/desktop/worl...

The story would be different, if Apple wasn't miserly with their native APIs and App distribution. But this is indeed a harmful and competition-restricting decision, even in Mozilla's opinion: https://mozilla.github.io/platform-tilt/

So I think we can safely assume that Apple's policy harms browser diversity by forcing their users to support a single minority option. If their users preferred a more feature-filled browser, we would never know; they aren't sincerely presented an alternative choice. If Apple wants their users to defend Safari, maybe they should invest in it until their browser (or Operating System, for that matter) competes with Chrome. Until then, they're promoting a megalomaniac solution and being a sore loser about it at the same time.
no, I just want to see their reaction, but the “I wouldn’t” response strongly puts me into “hire.” To me it signals this isn’t a yes man or someone who’s going to waste man hours making something overly complex, which at my current small scale is incredibly valuable, I cannot afford to waste time.

That may or not be correct but it often shows me how willing a candidate is to jump through hoops they think they need to to get a job. Maybe that was the original intent of these questions. I have absolutely no desire to see how someone thinks their way through a silly thought experiment. My interview process should already have shown me how they think.
I know lawyers (who do a lot of very particular word processing) who kept using WordPerfect for decades after Microsoft Word had become the norm.
And yet another place like this is in Southern California if you drive in an easterly direction starting on San Diego and ending in the Salton Sea, going through Ramona and Julien. You go from an area with a Mediterranean climate to temperate deciduous forests to coniferous forests to cold, high-elevation desert to hot, low-elevation desert (Anza Borrego Desert). This is all within about 50 miles (80km). It's a fascinating drive!
Your comment is a little dismissive. Firstly, the headline doesn't mention "versus last year", and the 48% figure is straight from the document you mentioned and is repeated often within that document. It's directly from Google, and is significant. Moreover that document itself states (page 31) "As we further integrate AI into our products, reducing emissions may be challenging due to increasing energy demands". It's clear that AI advancements are the biggest hurdle in terms of energy use and therefore CO2 emissions for Google.
Effectiveness of high-fat and high-carb diets on body composition and strength
48% increase since 2019 still sounds pretty bad to me. Not like any of their products improved in that time.
That's what Blazor WASM promises too. Last time I checked people were saying that initial load times were quite slow though.

I personally would recommend focusing on ORM, Auth, and an Admin panel to replace Django. JS isn't as much of an issue because you often end up needing it anyway.
It is the platform of this day and age much like Instagram or Xitter is. Doesn't make it very smart for FOSS projects to be using it for their primary coordination and communication.
When you say "provably", do you mean that in the mathematical sense or in a practical sense?

For the practical sense, other commenters have already replied.

For the mathematical sense, I would say it would be pretty surprising to me if BB(5) had been undecidable -- 5 states and 2 symbols is just so few with which to try to encode undecidable behavior.

However, it's worth noting that as a consequence of the incompleteness theorem, there must be some n such that standard mathematics cannot prove the value of BB(n). And in recent years various people have been working on finding such n and seeing how low they can get the number. The current record[0] is 745.

I expect that record can be probably be brought lower (more easily than the record for computing BB can be brought higher!), but even so, that's a lot of distance between 5 (the highest we know) and 745 (the lowest we know to be unknowable).

[0]This is the current record both for ZFC and for PA, in case you're wondering what I mean by "standard mathematics"... so it at least ought to be possible to bring it down further for PA! I think so far nobody's found a way to do better for PA than for ZFC, even though, like, that has to be possible, right?
Capital wielding technology is one of the few trump cards to cops' customary demands of authorituh. Can't get very far trying to beat a metal car with their baton, so they're at a loss.
They understand it very well and they don't care that it is basically steeling.

The only reason they pulled the tool is that the trademark holder for the designer is a top dog compared to them.
Google Search Ranks AI Spam Above Original Reporting in News Results
They have a long history of being proscriptive for anything that isn't "their real spanish" (that being of Spain). In latin america, we use a lot of neologisms ("commitear", "pushear", "mergear") and those are strictly "prohibited" by them, to the point that some spanish universities, following RAEs recommendations, fail students using them.

Any centralized institution that is in charge of overseeing a large and diverse number of countries that have evolved spanish over the past ~400 years is, in my eyes, set to fail.

Now, I do use RAE all the time to check definitions, but I see it as a "descriptive" body, in charge of creating some definitions. But even some of those definitions have to be "scrutinized" and can't be literally and blindly trusted. For example, check the definition of "gitano", which has a clear pejorative connotation. That is not wrong, is just the reality of how the "spanish speaking world" expresses itself. But should you take that definition by heart? I don't think so.

This is a clear example of "The Cathedral vs the Bazaar", as in Open Source vs privative software. I'm a hacker, I prefer a bazaar to a single institution dictating how we should talk..
I agree with some of this (WWW is too complicated and messy, and has other problems with its design), but I do not agree with everything, and anyways in many cases it cannot be corrected this easily.

However, I should also think that documents should not need to execute JS or WebAssembly code; although there are uses for such things, it should perhaps be separately.

Also, some of the semantic HTML commands can be helpful, such as <ARTICLE>, <TIME>, etc. (However, the user agent should decide how to display them, according to the options selected by the user; this should not be decided by the author of the document.)

A completely new protocol and file format (or more than one) is another way. A few people have tried some things relating to this, including myself. One thing I had done is that, documents cannot contain scripts to be executed nor can they link to scripts to be executed as a part of the document; executable code can only be linked to from the conversion file (which does other things too, and is not only for executing programs; e.g. to specify how to transform a URL to download a file in a different format), and the user must explicitly tell it to execute; furthermore, it uses uxn and not JavaScript nor WebAssembly (since uxn is much simpler to implement); and, if the conversion file is implemented at all (for simplicity, it is not required), it is mandatory that the end user must be allowed to override it and specify their own conversion file instead (therefore, the end user decides what the client software does). Furthermore, I had also decided to use binary formats, to make them less complicated to parse special cases (to avoid needing so many escaping and stuff like that, which is necessary with HTML). And then, TLS is allowed but is optional; it does not have mandatory TLS (although it is recommended that servers and clients will accept both TLS and non-TLS connections; but a client or server that does not support TLS will still work even if the other does support TLS, if both TLS and non-TLS are implemented). There are many other things can be done too, to make improvement.
This seems like a strawman that isn't related to the individual case here. For Waymo the cars and the software are the same company. Even if they weren't, the car's owner can always blame the manufacturer of the car or any software running in it. That's why we have judges to figure out who's at fault.

Think about the case of stuck accelerators: the driver of the car could be blamed for hitting something, but they say in court that they did not have their foot on the gas. This gets checked out and pushed onto the manufacturer of the car. This is old hat and has a lot of legal precedent. This is why we have recalls for this kind of issue.

While the legal precedent may be a current grey area that doesn't mean it's impossible to give a citation to a driverless car. That is the beginning of getting the grey area into court where a judge can rule on things. Not giving a citation does nothing for anyone other than let Waymo get away from responsibility.

Not only that, but if Waymo got a citation because of the openness of our court system everyone could see how it turns out and what arguments the company is making.
I don't get why people hate on post-structuralism.

The process of reality getting abstracted to the point abstractions stop being representative of reality is extremely common in software engineering.

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

A hyperreal workplace is one where representations of reality take precedence over reality itself, and the reality of a situation ceases to have meaning. i.e. One where people chase metrics for the sake of metrics, instead of understanding that issue count is supposed to reflect the underlying code quality, and code quality should always take priority over the representation.

The broader philosophical context is relevant because it shows the broader cultural problem instead of assuming the issue is limited to a single tool.
Isn't the actual issue here the superior managing the sonar being a controlling jerk? Turning off the rules on sonar is easy, technically. The issue is social.
Given the cost of running an LLM for 10 minutes, yes it does matter. That's about 15 dollars.

The overall answer better be very good and relevant every time for this to tech to make sense.
Call me old fashioned and simplistic: JS, HTML, CSS, NodeJS, pm2, nginx, AWS server, S3, github.
Sigh, just embed a PDF reader if it's that's important.
Can’t wait for the first felony/high risk stop executed against a waymo, should lead to some good body cam footage (and hopefully nobody gets shot)
Observer: Insider trading without the fiduciary risk.
Explainability is not a game
The End of a Warriors Era
Not meta VR, but one of my favorite things to do in gran turismo 7 with my PSVR2 is just “sit” in the cars and look around the cabins. The level of detail the devs put in is on another level.
I don't disagree with what you meant here, but this sentence threw my mind through a loop. It shows how "have to" is a real weak point in how we communicate and think.

Maybe we should rank our "have to"s on a scale from 1 to 5, where for example:

- "objects in motion have to (1) remain in motion unless acted upon by an external force"

- "humans have to (2) eat food to stay alive"

- "developed countries have to (3) maintain a scientifically literate populace"

- "university PR people have to (4) write like that to pay for food and shelter"

- "university PR people have to (5) write like that to afford a new sports car"

I think you meant something like the example for (4), but reasonable people might see it more like (5), and in both cases it's at odds with the more fundamental "have to" (3) for society.
> I think you’re underestimating how much ChatGPT is already creeping into people’s lives. We now have studies are showing it’s in 10% of new scientific papers

It also excels in another kind of spam which is to generate articles to drive traffic from SEO.
So your problem is that C++ prefers free functions instead of these pseudo-members?

Because other than the free function vs member access thing, I don't see why it would concern the user of `enum_to_string()` that it's a proper function instead of a keyword like `static_assert`...
I wonder if something like Ruby could fit into this category too, even though there isn’t a clean line between the two phases. (I’m stretching the concept a bit heh)

The block inside of a class or module definition is executed first, and then the application can work on the resulting structure generated after that pass. Sorbet (a Ruby static typing library) uses this first-pass to generate its type metadata, without running application code. (I think by stubbing the class and module classes themselves?)
I'm a native English speaker. I learned Spanish pretty fluently in Chile, interacting with native Spanish speakers from several countries, and my personal experience doesn't entirely match the map. Chilean and Argentine are definitely harder. I don't think I've met a Venezuelan or Panamanian to compare. Colombian was the clearest, most comprehensible accent of any I encountered. Easier than Mexican and Peruvian that are both marked as easy on that map.
It doesn’t say “versus last year”, but it does say: “Google’s emissions also increased 13% year over year in 2023, per the report.”
One of the ways that tickets are a deterrent is if you get enough of them they revoke your driver's license. Seems to me that it would be a pretty big deal for the corporation if its "driver" could no longer legally drive any vehicle!
“Open source” was literally conceived and organized in its inception as a corporate-sponsored competitor to the threat of Free Software.
fail2ban just means an attacker would need to use many source IPs, not hard.
It might, but I think that isn't the best way. Accessibility is for everyone, not only for the blind people.

Better is if the document specifies the text (and any appropriate annotations, e.g. how to pronounce), and the blocks/sections/etc, and then the client software can display it according to the user's settings. Whether that means you want to display it on the screen, with your own formatting, or use a braille display, or text to speech, or whatever else it might be, you can use it.
Pretty much. And not just via macros.

Lisp languages tend to blend together "runtime" with "load time", and in case of compiled languages, also "compile time". You can write code executing during any one, or any combination of, these phases. You can reuse code between those phases. You can interleave them at will - e.g. by loading more code at runtime, or invoking a compiler, etc.
BSD and BadApple have a very small intersection of targeted markets.
c++ isn't memory safe and will probably never be. that being said, it's not more or less possible to create an efficient browser engine for multicore systems with c++ than any other language. programming language is not the thing that makes the task difficult.