skysight-inc/HackerNews huggingface dataset:
Worse, WG14 has shown zero interest in improving C's security story. Annex K was a disaster, died among compiler implementation politics.

At least WG21 is striving to reduce the known cases of UB and providing the necessary tooling to security conscious developers to make use of.
I was replying to the part of your comment where you claimed that these things were “not relevant”.

How can they be not relevant if they still affect people existing in the world we see today?
I would advise you to fight any addiction your kids might have, especially gaming/other internet points addictions. Gamification is a fix that people addicted to dopamine rushes need, but children shouldn't require it. Instead I would work on framing work in a positive way.
Linux Plumbers Conference 2020 – Barriers to In-Tree Rust
Not an expert either, but money laundering does seem to like real estate.
The difference is narcan keeps you a viable customer. Detox ends the relationship.

Same reason someone might render medical aid to a slave. Doesn't make it a charitable act.
Not everyone who gets lung cancer smokes but it's a hell of a risk factor.

A lot of debt without a clear "shovel ready" career path to pay it off combined with a high cost of living sure isn't a recipe for a fulfilling life outside of work and if your work doesn't do it for you you're SOL at that point.
Apple blocked Facebook's attempt to tell users about 30% App Store 'tax'
The Voices of Birds
maybe not this way. But they're not even allowed to tell you you can buy the same thing they sell for cheaper by purchasing it somewhere else.
It wasn't a criticism of video games and if you are suggesting I am underestimating something, I got myself off the street a few years ago of my own efforts.

I still play plenty of videogames. It's something I can drop at will as I get my act together, make the connections I need to make, etc. I like games and my kids always joked "Video games are our only education."

But the reality is I would rather have a life and if I had more of a life, that fact would drive a lot of my activities and there simply wouldn't be time -- or need -- to play games for hours.
It's hard to stop being lazy too
Yep, I rarely think of HN reading time as wasted afterwards.
Thanks, I already found out what the problem was. It turns out there is a easy to overlook More button at the bottom of the comment section :-)
Can we nix time zones while we're at it?

If I want to eat breakfast when the sun comes up, what does it have to do with the numbers on the clock?
A quick summary of the arguments:

Gimbal lock arises in graphics systems when you store the rotation state as 3 Euler angles:

Internal State: AngleX, AngleY, AngleZ
Update algorithm: AngleX + dx, AngleY + dy, AngleZ + dz
Rotation = Rotationmatrix(AngleX) * Rotationmatrix(AngleY) * Rotationmatrix(AngleZ)

With this setup it is easy to come to a situation where AngleZ performs a rotation so that the X/Y rotation vectors coincide, and you lose one degree of freedom in the resulting rotation matrix.

How to fix this:

Internal state: RotationMatrixOld
Update: RotationMatrixOld * RotationMatrix(dx, dy, dz)

With this setup there is no chance of Gimbal lock, the dx/dy/dz matrix always retains its degrees of freedom.

Other notes:

* The above description applies irrespective of whether you use Quaternions or rotation matrices

* In higher dimension it's better to describe rotations by their rotation plane instead of the normal vector: in higher dimension there is no "normal vector". Rotation always works in ONE plane / two axis, so there are (N-2) "normal directions" in N dimensions.
How is that legal? (Besides the boring answer of the fundamental corruption in the concept of the corporation.) I can't outsource all my debts to a zero-net-worth friend who then declares bankruptcy.
ZPack: New supercharged zip-like archiver
https://news.ycombinator.com/item?id=24120275 has helped me a lot with procrastination already (the video and discussion and the original blogpost)
What would "automated proof search" even mean in the context of being performed by a human being?

The context here is that certain problems cannot be solved by an algorithm, which doesn't necessarily translate into "cannot be performed by a machine".

It only means that there cannot be any Turing machine capable of solving them, no matter what "operations" it represents.
> I think the most dangerous distractions are the ones that feel productive but don’t actually work toward your goals. For example, browsing hacker news.

Time to set up my emacs config to manage my life and stop wasting time.
> I doubt anybody capable of finding an exploit like this is in that situation

Yet the vast amount of hacks or attempts typically originate from China or North Korea...
Sorry, I don’t mean to imply that I work at Neuralink, but I work on BMI devices in general.
Hate speech against women in India is an equal if not a bigger issue when you consider the numbers.
Also: set a timeout in your database to stop out-of-control queries from taking a whole system down. Postgres's "statement_timeout" comes to mind; if a statement exceeds the timeout, Postgres can effectively roll back the system to is previous state.
First thought was you'd given me a nethack screenshot by accident, but thanks! Interesting project.
> I find everyone talking about black markets etc. kind of ridiculous. Really? You would sell something like this, so someone can be spied upon or maybe literally chopped to pieces? Jesus, not everything is about money - it was a fun challenge to chain it all together and I learned a lot from it.

Slack is directly taking advantage of that being the only alternative. You can do whatever you want with the money. However, having a robust bug bounty program ensures a wide range of people are both willing and able to look for and report vulnerabilities. This needs to be a requirement for any large successful company handling a large amount of user data. Slack can definitely afford it, and this can be used against them the next time they report a breach.
The gamification of Duolingo is something that has really worked for me (as an adult). It has all the parts of an addictive mobile game that keep you coming back: a streak that notifies you if you're in danger of losing it (this is the one that really works for me), social rankings, fun graphics, in game currency. I have a 410 day Spanish streak as of this morning!

I took French in middle/high school with the standard lecture/hw school structure and was a lot less successful than I've been with Duolingo. Duolingo alone probably isn't enough to really learn a language but combined with other resources it provides a great structure to keep you committed and provides a great foundation to build from.
> immense popularity of the quiet suburb

I get what you are saying, but there is so much more going on that makes them "popular", particular in the United States.

Firstly, is the cost of living in the suburbs is massively subsidized. In the coming decades this will become readily apparent as most of suburban America will not be able to afford its infrastructure. It is already starting to happen.

Secondly, the suburbs in America are often the only legal way to build. We've outlawed density in most of the country. Many of the most urban parts of our major cities are less dense than they were a few decades ago because of zoning changes.

Thirdly, we simply do not have good public transit. You may think that New York or Chicago have great public transit but they have substantially less per-capita ridership compared to many other equivalent cities.

I'd suggest looking to other parts of the world as examples of immensely popular dense development. In Asia, Tokyo, Singapore, many cities in China and across Europe are great examples of this. The U.S. is an aberration - not the rule.
I don’t see the sarcasm. Reducing fossil fuel usage can be accomplished in part by reducing the number of people consuming fossil fuels, as well as reducing fossil fuel use per person (which means less traveling/consumption).
More Torrent Sites Ban YTS Releases and Become a Target
Facebook has a pretty advanced tool for testing bad internet connections.

https://github.com/facebookarchive/augmented-traffic-control

Google, Apple and Microsoft also have ways to simulate bad connections but Facebook seems to be the best at it. I heard they even encourage their employees to switch to 2G from time to time.
Right, they are only approximately comparable, but the important thing to remember is that features of formalisms are never goals in themselves, but rather means to various ends. The goal is never "to have interfaces/typeclasses/traits" but to be able to specify an algorithm that works for a variety of data structures with shared properties. Moreover, I think it would be a mistake for Zig library authors to try and replicate styles used in other languages. Zig provides sufficient mechanisms for expressing programs, and it will develop its own style. There will be elements that are analogous to those in other lanugages, but not identical.

Having said that, I do support a proposal for specifying a type at the parameter declaration with some type -> bool function.

I like this quote by Leslie Lamport about comparing formalisms (he talks about specification languages rather than programming languages, but the sentiment is the same):

> Comparisons between radically different formalisms tend to cause a great deal of confusion. Proponents of formalism A often claim that formalism B is inadequate because concepts that are fundamental to specifications written with A cannot be expressed with B. Such arguments are misleading. The purpose of a formalism is not to express specifications written in another formalism, but to specify some aspects of some class of computer systems. Specifications of the same system written with two different formalisms are likely to be formally incomparable… Arguments that compare formalisms directly, without considering how those formalisms are used to specify actual systems, are useless.
You know, the mark of an article or perspective on renewables technology that knows what it's talking about is that it goes into the $ economics or cost curve of the thing. $/MMBtu, $/ton eCO2 etc.
You want to know at what price the proposed new fuel will displace certain tranches of existing fuel sources that people/industries choose to use.

This article is 1-2 steps above clickbait (as is, correct me if I'm wrong, the website itself) where someone was paid $50 to do internet research and write it.

Maybe more informed people can talk about it here anyway.
That's pretty much how it's always worked, most companies rest on their laurels saying "just wait, xyz is around the corner" while companies like Intel, and now TSMC, delivered that corner.
Free market works on freedom of information and informed choice. If you entered into a contract because I mislead you, thats fraud. Sensorship is a form of market manipulation and apple is ACTIVELY SENSORING this information:
https://youtu.be/jdEdGPnaDRY

Also margin is the wrong term - these are transaction fees charged by the platform.

The best comparison is Airlines and airport - every time i buy a ticket, i know how much money actually goes to the airline.
Yes and that is why a lot of extensions cost money on Safari, while the Chrome and Firefox counterpart are free.
I really like the graphics in this. I like how "information" and "knowledge" are contrasted in the six squares. This is really what it feels like. Knowledge is structured, tightly connected in predictable ways, whereas information is just a kind of soup, a mess of facts. What the other distinctions are supposed to mean is less clear, but at least they're entertaining. I also really hope that the "knowledge" vs "understanding" plot is accurate. That would be quite encouraging if true. Seems plausible.
Having people adjust their schedules is absolutely the saner option, but it's likely an infeasible coordination problem. Daycare depends on work, work depends on daycare, and a zillion other interdependencies. The friction against change is really high. Compare that to the coordination problem of having everyone (essentially) keep doing what they're doing, but adjusting the clock. You can impose a clock change, but you can't impose a schedule change.

It's the difference between

- Your office deciding to ignore daylight savings (starting November 1st, ending March 8, we expect employees to reschedule all recurring meetings/work hours/events to an hour earlier, changing 9-5 to 8-4). I can just imagine the shitshow of complaining and bikeshedding.

- Your state asking or requiring offices to change schedules like above. I can't see asking working, and I can't see requiring being a feasible law.

- Your state just saying that 2am is now 1am for a few months.

It's all the same thing from one perspective, but very different from a coordination perspective :(
I too enjoy being an uninformed consumer, and can see no bad consequences of giant corporations coercing smaller ones into silence.
> I can extend my range by 200-300km by carrying extra fuel. This is not possible with electric cars

I've wondered about this. What if for a long EV car trip you put a small gas or propane generator in the trunk or a small trailer, and ran it to provide some charging while you are driving and/or when you stop to rest or sleep?

Could that provide enough extra to overcome the losses from carrying the generator and fuel for it, and if so, could it be enough to make a noticeable difference?
Here's what I was replying to:

"Is Apples model outdated by now? Maybe. Should a court force them to practically change their model to the one of their competition? Well, why should anyone buy their stuff then anymore? It would practically made their brand worthless to me, they’d just become another pc shop, the last time they tried that it nearly made them bankrupt.

That time made Apple what it is today, it’s in their DNA. They’ll fight anyone which tries to change that."

This is a very distorted telling of history, and trying to equate Apple with iPhone. Desktop computing has been in Apple's "DNA" since 1976 and continues to be today. Mac sales were $7 billion last quarter. Apple had financial trouble in the mid-90s, but they were doing well in the 2000s even before iPhone came along. There's nothing about the App Store that's essential to Apple as a company.
I think the problem is partly that many programming languages make it difficult to propagate cancellation correctly and idiomatically. So people end up adding timeouts to individual network requests instead of to the operation as a whole.
I believe his point is not that gamification doesn't work for learning, but rather that it has a nasty side effect of training your brain to be more susceptible to addiction/gamification everywhere, even where you don't want it.
> What this kind of work suggests is an attitude of, "My problems are so [explitive] huge that you can't possibly understand so don't even bother trying to help me".

I had a similar reaction to these comics, though I think you captured my objection better.

> Personally I've benefited immensely from exactly this kind of unsolicited advice, especially at a younger age, and it really did help me

I suspect that this might be a factor of how apt the advice is to the exact moment, and how skillfully it is delivered.
China Tightens Tech Export Rules Amid TikTok Talks
> ClojureScript has some oddities compared to Clojure but in my experience acts much nicer than plain JS

For the most part I agree with this, but... it's not saying much.

> In terms of doing idiomatic Clojure in Typescript, "good" Clojure is data driven Typescript is type driven
>
> Universal data primitives Vs label everything with types aren't terribly compatible

Huh? What I said is that I try to apply the principles I learnt in Clojure—yes, including writing code that is data-driven, and more importantly value driven—in the most idiomatic way I can within TypeScript. Yes, the whole point of TypeScript is types (it's in the dang name), but:

1. Types describe data. The only major difference between the kind of data described in TypeScript and the kind of data implicitly defined in Clojure is that TypeScript inherited a runtime where mutability is the default and immutability is more a choice of convention than an actual feature of the language.

2. The TypeScript type system is extremely good at describing and statically validating the kind of dynamic polymorphism common in Clojure.

3. Even if it isn't, small and specific interfaces could be used as contracts to achieve roughly the same thing, just with more keyboarding.
super cool, having worked on related problems independently (tree-based file compression & arbitrary graph-based file compares) and currently been in search of better way to compare web scrapes over time

kudos for putting the two concepts together / will give it a go
Why is the media suppressing information on Hydroxychloroquine’s effectiveness?
Noted. Thank you for the suggestions. I may reach out to you sometime in the future :)
Duolingo is great as a beginning to language study but that’s all there is to it. If you have a 410 day Spanish streak it’s time to start reading Spanish children’s books or watching telenovelas or Narcos, anything but continuing with Duolingo.
The land that spawned the spud
>ACS researchers found that the rate at which people are diagnosed with colorectal cancer in the United States is dropping among those 65 and older but rising in younger adults.

Could it be that more young people are taking screenings, while those already taking them have decreased risk of cancer?
I'm not sure if it's still active but there was a project to detect cosmic rays using smartphone cameras flipped upside down or with tape on the lens: https://crayfis.io/
As in, you think the drugging stopped?
As a company, you don't need to be committing to 100% remote to take the very prudent step of putting any real estate expansion plans on hold for which it makes financial sense to do so. If nothing else, it's a fair bet you'll have more negotiating leverage in 6 months or a year.
Basically, almost no compiler vendor implemented it, they also had the issue that you still need to handle pointer and length as separated arguments.

So instead of fixing the security issues, like having some struct based type, the whole annex was made optional, thus everyone that was against it, just doesn't offer any alternative.
I mean org-mode is pretty amazing for that kind of thing...
Yes, see here for Emacs running with an external keyboard. https://old.reddit.com/r/RemarkableTablet/comments/iis4fo/em...
No, more lockdown does exactly nothing to get us off our dependence on fossil fuel. On the contrary, wrecking the economy makes the changes needed less affordable.

Reducing population also only buys time. I think you already know both of these things.
> I wouldn't call The Matrix cyberpunk

Why do you say that?

Also, cyberpunk broke into the mainstream (Blade Runner, Neuromancer) at a time of fascination with Japan. I say fascination because there was a spectrum - from philic to phobic.

That attention was, of course, a result of their (at the time) massively increased economic strength, relative to that of the USA.

That same spectrum of attention exists in the body of cyberpunk, in toto. There is not an anti-Japanese xenophobia that exists in the corpus either pervasively, or inherently.
Re: obscurity: This has been true for a long time. I remember seeing these a long time ago and it wasn't until about 80% down the list that a "real" framework showed up.

"Lies, Damn Lies, and Benchmarks" is somewhat true in this like any benchmark, but as others have pointed out, important techniques gain exposure using this benchmark over the years that trickle into mainstream use.

It would be nice if a summary of what techniques were used by new "frameworks" to gain leadership. All too often discussions of this benchmark turn into pissing matches by language zealots.

Actix's turn at the top was very interesting for the, uh, discussion, it prompted in the rust community about unsafe, although it was stressful for the original author.

In javaland, Vert.X has been high on the list for quite a while, but as I understand it, it uses "arena" allocation of buffers to avoid GC and other tricks to get the JVM up to par with non-GC languages, but isn't really typical of JVM development.

I would also like to know if HTTP protocol "hacks" are used, or networking tricks like userland network stacks.

But alas, it's just a huge wall of github projects and not a lot of use to a run of the mill developer like me.
Humans are not able to solve the halting problem. The halting problem isn't a question of if you can decide that some programs will not halt, but that you can decide if all programs would halt.

Which humans can not do.
Weird to call this virtue signalling when it is something closer to municipal fraud. Many (most/all?) places have different pricing for waste vs 'recycling'.

Or maybe not; it just demonstrates 'virtue signalling' has about as much semantic payload as 'fake news' at this point. One consequence of internet-driven constant political engagement is that neologisms devolve into shibboleths really quickly.
Amazing system. This should be the industry standard.
Is the argument that a call that could get stuck for a few minutes is better than a “wrong“ dozens of second value ?
Even as a user I feel it’s a waste of precious resource (including my time). It’s like waiting at the register until the shop closes down because the employee had to go somewhere, instead of giving up and trying the next open register.

I’d think infinity is not a valid state.

For waze’s case, I supposed their priority is not on salvaging the 1% longest request (though critical to you), and instead preserve server resources for the 99% faster clients. That’s not a “wrong” value on their side, and probably have been carefully tailored to get the right tradeoff.
But only the worst dealers would sell it, most would just keep it or give it to you. It’s the quintessential olive branch — “Keep buying drugs from me, I’m the nice one”
> Firstly, what do we mean by "get ahead"? Presumably they're talking in the general sense of "getting ahead in life", which usually refers to career-related goals.

I think that there's a much wider sense to "get ahead" - social climbing and perceived status, as well as in your career.

Saying it's about "out-performing competitors" is also a little narrow, and is going to depend on how you measure out-performance. Do you measure it purely by the merits of what you do, or do you measure it purely by how much you get ahead of others, regardless of how that is achieved?

> But a developer who uses a library to take care of some task rather than writing custom code from scratch could also be seen to be cutting corners.

In this modern world I'd say that knocking something up from scratch, when there's a perfectly good library right there, is the worse behaviour! And I definitely wouldn't consider that corner-cutting.
Some people do have a need, and some people don't. The people who do have a need will put their properties on the market. Their prices will undercut everyone else's.

Anyone who was thinking of selling but doesn't urgently need to will delay until it's not so much of a buyer's market. But this means there will be a buildup in the number of people who have been waiting to sell. So prices will recover slowly because it will be necessary to chew through this backlog.

But, as in any downturn, there are people who are sitting on cash and looking for bargains. They will buy up some of what's for sale. (Downturns always create chaos, and there are people who are financially ruined and other people who multiply their wealth dramatically.)
CVE database is full of questionable safety exploits regarding C practices.

The more the better, after all security researchers, hackers and security tool vendors have families to feed.