skysight-inc/HackerNews huggingface dataset:
What the author is really railing against is thoughtless critiques. Declaring software garbage is a usually useless contribution because it only identifies that software can be improved, which is almost always true. However, it fails to provide any concrete advise for improvement that could be debated. There's the saying "it's not science if people can't disagree with you." Seeing how engineering involves the application of science, it's not engineering either. Therefore, these kinds of comments have no place in a professional community.

Being fast to critique _is_ good, provided the critiques are thoughtful. A thoughtful critique takes a clear stance, meaning it can be debated and (in an engineering or scientific setting) experimentally measured to verify it produces the intended effects. A thoughtful critique also poses questions not answered by the original body of work.

In the example described here, fixing the software would have been ideal. However, we can imagine scenarios where this isn't possible (e.g. you have a binary from a now-defunct entity that you must continue using.) The original story should have explained this. If it didn't, the critique "fix the garbage software" isn't unreasonable, albeit badly phrased (instead, "why didn't they fix the software?")
Had the same experience while working on an extension. Looking at their forum and extensions with similar features you want to implement is the way to go. IntelliJ's documentation is very superficial and lacking.
A real world would have to include everybody in the economy or you will not disprove the objection that it will just create inflation on necessities. It's the problem with economic experimentation. There is only one actual economy and there is no real way to A-B.
Does FFTW automatically generate implementations optimized for each machine?
I gave an example of a prominent web app I don't think needs a js framework - most web apps don't IMO as the web correctly centres the experience on documents. Games would be the obvious exception where an immersive app experience is warranted and there are no documents as such, almost every other app works with data organised into stores of documents (i.e. in gmail every email is a document and deserves its own URL IMO).
Take browser screenshots client-side with JavaScript
pretty cool idea. Bugs I found: the airplane is stopping in mid air, the steering is too sensitive, should be much much slower so it feels like a big airplane not small toy
Not exactly. In cities more towers are placed together to give better coverage (for 5G this is a must). Triangulation can then be as accurate as 30 meters.

If you then have a dataset of lets say 100 points around a location you can estimate the exact location even better.
I've noticed that while this is true, age discrimination against older job applicants in a company does correlate to the age of the CEO though.

It seems that everybody in management feels more "comfortable" hiring subordinates that are younger than themselves (perhaps because age/experience is a threat to their implied authority), so the younger the CEO is on average, the younger the other C level execs will be, etc. all the way down to the bottom ranks.
Clean Git History Is Kinda Overrated
It is, I think, based around the need to understand
the context to understand if it is a swear word, part of "reasonable" conversation or unwanted trolling.

And we are still a long way from AI so a long way from a generic solution - as such everyone must roll their own for their specific needs and trade offs
What about 0.0.0.0.nastydonain.com?
The feeback was always there - clear, unmistakable, universal across sites.

It wasn't clear for lots of users. There were common stories of people getting a connection error and refreshing a page only to find their order on an ecommerce site had been taken twice, or that a comment they'd made had been submitted a second time, or that a request to delete something had actually worked but the second request threw up an error because it couldn't be deleted again so it looked like it had failed. These aren't so much of an issue today because browsers warn about form resubmission, but let's not forget that server-side rendered websites in the past were absolutely riddled with UX problems and bugs.

That's not a defence of SPAs, far too many still get the basics wrong, but if you believe it was better when devs made "classical" sites I think there's some decidedly rose-tinted nostalgia going on.
This seems to be a compatibility list of Surface devices with a special kernel made by someone. I don't see how it is related to what is in the Ubuntu repos?

If anything, the exsitence of this kernel seems to be an indication that the major distributions do not cope well with the Surface and do not work out of the box.
Yeah, IMO if you start out by installing bash and trying to treat Windows like a Unix, you're in for some really bad time.

A lot of developer tooling works just fine in Windows environment and trying to fight the system with unix shell is not the best way to coexist.
Army would at least make things so that us isn’t a laughing joke to the world unlike what the current administration is doing
AFAICT Coq doesn't have linear types, and thus can't provide in-place modification of array elements or non-reference-counted/GCed non-primitive values, which means it can't take full advantage of a real CPU+RAM machine.

Also it's not enough to erase irrelevant types, the types that end up in the program also need to be treated efficiently, which means generic monomorphization, not auto-boxing things unless essential (or ideally never), using computed layouts where possible (i.e. store (n, [T; n], [T; n]) in a single allocation if n is immutable), etc.

The issue is that I think all of the current dependently typed languages don't have zero-cost abstraction and compiled code efficiency as a primary goal, they are designed for research or as machine-checked proof systems.

There's also the issue that some features may not compose well, e.g. Rust's ability to mutate a single field in place (needed for zero-cost since CPUs can do that with a store instruction) doesn't compose very well with dependent types because that can change the type of other fields, and also linear types (again needed to fully use CPUs) don't go well with having proof-like types that refer to other values, etc. All this seems fixable, but it seems quite involved to find the most general and ergonomic solution.
It's trying to compete against iPads, which don't have more than 4GB of RAM in most SKUs either.
The Guide for the Perplexed
> The only drawback is Windows and its tooling

Oh goo, I was worried it was a serious drawback.

Also try reselling a Surface Go 2 in 3 years compared to a MacBook Air/Pro.
Because it would be bigger than any other program and likely bigger than every other program combined and like every other program will be impossible to remove once it is in place. This is Russian Roulette with a 64-chamber revolver with only one round removed.
How a badly-coded computer virus caused billions in damage
What does 'irrational in important ways' even mean?
What Shiller has shown is simply that the idea of a perfectly effecient market is self-contradictory.
Efficiency is just a very good approximation in practice.
I own a Surface Book 2 as well. At work I use MBP 16. And before that I used ThinkPad W520 for 6 years. SB2 is the best laptop. There are issues like glossy screen or not repairable/sturdy/modular like ThinkPad, but ergonomics and performance is just too good.
Wealth is (obviously) corralated with many properties that make it easier to gain wealth. To look at the effect of parents' wealth (and solely that) on children, you need to look into lottery winners or Bitcoin/APPL holders.
This is standard notation.

The `x : A` supposes a value, `x`, inhabiting a type `A` (like in Rust, or ML, or maybe `A x` in C).

On the right hand side of the turnstile, we have `B(x) : Type`, which is roughly what it looks like: `B` is a type parameterised by `x` (note - it is not parameterised by `A`, but by `x`! It is allowed to know about the value `x`).

The central turnstile is a contextual relation. The left hand side is an ambient known value, and the right hand side is something that be defined in that context. You can read it informally as "given", so this phrase is "given x: A, we can construct a type B(x)".
If you have static lights in a static world with pre-computed raytraced lights, yes it doesn't change that much. But once you have a dynamic world and dynamic lights, it's a game changer.

Minecraft with raytracing is a great example. It's so much better with raytracing compared to simple shaders.

I also heard that it will make game development a lot smoother and faster in the futur once most hardware will be powerful enough. No need to build lightmasses, no ambiant occlusion hacks and similar, no reflections with approximate results.
Open borders and UBI are mutually exclusive. There, I said it.
Right? Seems like enough people are willing to pay for their privacy, the demand is there.
I guess, but Dumb TV + Roku can be quite terrible from a privacy perspective.
Wait, so fusion, solar panels, semiconductors, and anything practically important is not considered physics anymore?
Well, people in HEP will necessarily use the definition "Physics=HEP" to get more funding. You can't have a meaningfull argument if your well being depends on its outcome.
The problem is one of the platforms' own making, because they want the legal protection of being a platform in addition to the commercial benefits of being a publisher. This has been allowed to happen despite the fact that such aggressive "content curation" clearly makes the likes of Twitter and Youtube publishers. That should come at the cost of safe harbor protections. A platform's only duty, with regard to the policing of speech, is in cases of copyright violation and court orders; as you can imagine, adherence to the law would make it difficult to control political narratives and sell laundry detergent ad space. The "almost" aspect is more to do with ambiguities in the laws themselves, as well as untested and conflicting international laws.

The solution is very simple: enforce the law, force the choice between platform and publisher. If there truly is a need to curtail free speech on a legally protected platform - pass a law making that speech illegal. I'd be curious to see how many heads explode when people learn that "hate speech" is not illegal - and couldn't be made so in the US without hilarious consequences.

I'd rather not name the individual in Canada that was targeting women, but I will say this: some biologically born men have found an interesting loophole in both the political arguments and legal protections afforded on the basis of class and identity. Some lesbians were unimpressed with the idea that they had a moral obligation to grant equal sexual preference to both biologically born women and biologically born men who declared themselves to be women. This is something that has been going on for a while now, and nobody is really allowed to talk about it - because "hate speech".
No, no, Google doesn't read your emails (any more); they just give access to them to certain "developers" (read: arbitrary paying third-parties).
My instinct is the same - I have two computers with 32GB RAM, and it always feels well-utilized :)

But I also have two cheapo media computers with Win10, 2GB RAM, 32GB MMC hard drive. They've been working BRILLIANTLY over last ~2 years. Even went through major Windows self-updates... no clue how. Is there a version of Win10 better optimized for smaller footprints, or it's the same version but recognizes its limitations, I'm not sure. But we've been browsing the web, watching movies, even playing some dinky games.

So I can see 4GB actually being usable for many many people (NOT ones with multiple VMs etc of course:).
I think the most important thing to do with RTX will be indirect illumination. Maybe RTX will be capable of computing relatively high quality lightmaps on the fly, store the results for as long as necessary, and keep recomputing for new parts of the scene.
UBI is not welfare. Welfare is supposed to be designed as a safety net to help people get off of welfare and help pay for the people who need it.
Unfortunately you need to know type theory/logic notation in order to read this. Here's the English translation:

- There is a variable called `x` in scope.

- `x` is known to have type `A`.

- `B` is a function that, when given `x` as an argument, returns a type. If this seems weird, it's because you need dependent types to even be able to say this.

Honestly, this article is not written for programmers, and I don't know why it's on Hacker News right now. Most HN readers don't have the necessary background to follow it.
Yep, that's a good point - it can certainly also be a big problem in poor visibility or other cases where you get disoriented.
Of course, but presumably the censoring dns server would never return a censored ip, regardless of domain. Whereas if you were to passthrough all non-blacklisted queries you wouldn't be able to block that, which is why no censor would ever implement it that way.
Precisely, My ancestors left Denmark and Sweden. Hundreds of thousands left doing the later period of the 19th century. Mainly because how the land was distributed and taxed in such a way that you could never get ahead.
If nothing else the tech allows 3D artists and level designers to get instant feedback while they are tweaking a scene, without having to wait for a full render/lightmap bake - having iteration time go from minutes to seconds is a game changer for creative work like that.
android_native_app_glue is a Google-provided helper library in the NDK, and it's incredibly old at this point (hence the "Copyright (C) 2010 The Android Open Source Project" on those files)

Setting up a fully-native OpenGL ES window is also straight out of the NDK samples - this is also incredibly old (it's why NativeActivity even exists)

Most everything else looks to just be a handful of hand-written JNI to call common SDK methods - I'm not seeing anything that'd require incredible amounts of experimenting or mucking through old, poorly documented examples?
All kinds of smart techniques are emerging for ray tracing, too; you don't have to shoot the rays directly from the camera per se. Both rasterization and ray tracing will coexist to provide better graphics, and it was just that ray tracing didn't have the place it deserves on the chip.
Same experience here. I hear the 'unusable on lap' sentiment seemingly often (including in the OP article itself). Yet, I honestly cannot tell is because it's only the ones with a bad experience speaking up and the rest remaining silent, or because there really is a problem I'm not aware of. And in both cases: I honestly wonder how that is possible? Is my body different in some way that I don't see the difference between a Surface and a laptop for lap use? Or do I do things in another way than others? Are my legs longer than average? I mean I just put my legs next to each other, put the thing somewhere on my lap, screen like 15cm in fron of my knees, adjust the stand so it's in an angle I normally use and that's it. The only problem I could see is that if you'd want the screen to be roughly where your knees are that is impossible. But for me that distance is just a bit too much to be able to read text comfortably and I cannot rest my arms anymore because of how far the keyboard is.
Fair enough, but I’m more concerned if UBI turned out to be a bad policy, would it be repealed? Practically speaking, the government has a poor track record of back pedaling on bad policies once they are in place.
It’s much more likely that the other incumbent airline businesses just soak up that business, or the loss of competition sees price hikes across the board. Airlines are hard to spin up.

TL;DR if the sector as a whole is healthy, and you’re willing to balance an investment portfolio across the whole sector, then your exposure to future revenues should be fairly healthy even if one company goes bankrupt. But you’re absolutely right that prices don’t behave as though this is the case.
Wells Fargo Checks – Print Online on Demand Instantly on Any Printer
Nice take. Yes design/frontend has rarely been about actual design. Backend web has rarely been about engineering either, I'd say. Just look at all the elastic search engines left open to the public internet as proof of unconscionable levels of ignorance.
How to use FastAPI with Django for the best of both worlds
My approach is to create directories for all the ideas I have. One directory for one idea. Add a readme file to that directory with explanation in what that idea is, how I will execute it and what challenges I might face. Then let it be there for few days. If you think an idea is "doable", try to implement a simple feature of the idea. Make that implementation modular enough so that it can be used in other ideas. If you get bored with that implementation, then move on to another in the list. This takes a few days. But at the end you start liking one of these ideas more that the other ideas on the list. Now rate these ideas on "doable", "likable", "sellable" etc. And pick the one that has the highest rating. This is the continuous process until you get the one idea that you spend more time on implementing. That is the one that you should implement.
I used to work on the MOT (roadworthiness test) system for GB, we had a blacklist and “screw” was in it.

One day we got some feedback saying “what group of virgins wrote this software” because a tester was trying to type in “screw in tyre” as a fault.

First time I’d encountered the Scunthorpe problem in real life, had a good laugh about it.
> but it seems phpBB is still being developed

Doesn't that underline your point though?
If the post-9/11 hysteria is any indication, it will never get better.
Engage your customers with visual tappable (AMP) stories
Salaries are high because the supply of (skilled) software developers is low.
Beautifully Time Your Remote Meetings with Timeqube Online
>>> That kind of triangulation is nowhere near precise enough to reveal the data shown in the article.

Here, have a read at this article on how cell phone operate and how to track them. Wrote that a few years ago.

https://thehftguy.com/2017/07/19/what-does-it-really-take-to...

And the HN discussion, where developers admit they've been developing that for real for years: https://news.ycombinator.com/item?id=14803443
Whilst there might be disagreements over the actual calculation, both the idea of a living wage and a UBI revolve around the idea of providing an adequate subsistence income for an adult.

But if we're determining welfare budget by dividing non-pension benefit spend by number of working age adults, the problem becomes that you're dividing around 130 billion by ~36 million, and whilst that's a welcome top up for some people, there are a lot of people who have just lost their housing benefit and disability benefit that won't be able to live on £4k a year...
It depends on the use case

https://docs.microsoft.com/en-us/windows-hardware/design/min...

256MB for IoT without display, 512MB with display

For Mobile or desktop editions they say to have 1GB or higher for 32 bit (which I assume is the use case for a Surface)
You do have to override the submit functionality if you don't want to load a new page, sure, but that was always the case with plain Javascript or jQuery or whatever.

You don't have to maintain the state of what the user inputs if you leave the inputs as uncontrolled (https://reactjs.org/docs/uncontrolled-components.html) and access their value via a ref. You could even give them IDs and access their value directly via that if you wanted to, just like you would pre-React. But there are clearly advantages to making the inputs controlled by React, otherwise there'd be no reason to bother doing so (not saying that there aren't probaly a lot of cases where you could keep it simpler but people have been led to believe they need to put their form data in Redux so use some elaborate solution which doesn't scale, or whatever).

Also if you are doing forms in React, check out formik, it's the nicest library I've found so far. Granted it's not as "easy" as a straight HTML form that POSTs to a new page, of course, but modern web experiences often demand richer functionality than "the old way" allows.
You mention that apps can safely ignore annotations of unknown types, but you should probably specify that they are still expected to preserve such annotations even if they don't use them for anything, i.e. ignore doesn't mean "discard".
I just got my ring from Zeno Jewels in a quick mood although it is a hard time
Hello Guys, please see what I just got, it is so cool, isn't it?
Handmade item
Metal: 925 Sterling Silver
Metal Color: Silver
Finish: Polished
Gemstone: Lab Created Sapphire
Stone Cut: Pear
Stone Color: White
Stone Carat Total Weight Approximately 2.5 CT. TW.
Nickel Free: Yes
That seems very awkward versus a laptop, though; in particular you'd have stay very still. I'd expect it to be particularly problematic on a bus or train, where there was movement.
Ray tracing is not powerful enough nor are games built yet from the ground up with ray tracing in mind. With the newer generation consoles expected to arrive with ray tracing that will change then probably we will get to see something different. Personally I feel raytracing will make the most difference in vr rather than normal games.
Atul Gawande to Step Down as CEO of Haven
I think we are headed this way weather people want to or not.
From the fundamental point of view, the cost of raytracing grows proportional to the number of pixels rendered times log(scene size), whereas rasterization grows linearly with the scene size. So raytracing enables much more complex scenes at a fraction of the cost of rasterizing, which explains why it's being used more and more in real time rendering.
Similar (but not that fully featured) is the mermaid preview extension :
https://marketplace.visualstudio.com/items?itemName=bierner....

mermaid js website : https://mermaidjs.github.io/#/
If we assume that the market is rationally pricing future revenues (and I don’t personally assume that at all right now) then you have to look at early March as a prediction that things were about to get extremely terrible in a hurry. As a macroeconomic prediction, that seems like it’s actually a pretty good prediction —- based on where things are in the real economy. But the stock market has since decided that the actual outlook is about the same now as it was in October 2019 on the tail of a record expansion with 3.6% unemployment. That doesn’t seem so reasonable anymore.
Having occasionally wrangled with relativley complicated queries and jungles of views ans procedures, I have to ask that what would be a better way to get complicated stuff out from databases?

I can think of two other options, which I personally both dislike:

1. Some fancy graphical ETL monster which takes ages to learn and where the learned skills are more or less untransferable to anywhere else. And which, at the end, makes same things as raw SQL but just in a more opaque way.

2. Build the complexity outside database. Yes, you avoid complex SQL, but you also lose quite a lot. SQL prohibits you from doing quite a many different stupid mistakes with your data. At least 99 times out of 100 databases have better performance making the complicated calculations than your home brewed solution outside the database (Yes, I agree. The exceptions can be notable...) Finally, reusability of the results is way easier if you keep as much calculations as possible in the database.

But I can't say that I love hairy SQL, so if there are better ways, I would be keen to have a look.