skysight-inc/HackerNews huggingface dataset:
Hyperbole, yes, wild, no.

My problem is I've been trying to get traction on this for years and no one is interested. (Although type-checking is finally getting some love. It's not all doom and gloom out there.)

Most bugs could be prevented or eliminated automatically.† If we're not doing that then in what sense are we entitled to call ourselves "engineers"? (Just to bring it back around to the topic.) I mean, our bridges collapse all the time. This is not science?

†See Alice Pascal https://www.templetons.com/brad/alice.html

> In a syntax directed editor, you edit a program, not a piece of text. The editor works directly on the program as a tree -- matching the syntax trees by which the language is structured. The units you work with are not lines and chracters (sic) but terms, expressions, statements and blocks.

This is still just syntactic correctness, you can only enter syntactically-correct Pascal programs, no typos either, but I don't think it did type-checking or anything like that. But it illustrates my point that if you're typing text into an editor and hoping it correctly describes a computer program, you're doing it wrong.
With Dad’s support, teen is playing ‘Fortnite’ instead of going to high school
The best (non-toxic) repellant I've found for mosquitoes is blasting them away with a low to medium powered box or table fan.
Is this why Siri has worse performance compared to others?
> ...build relationships with their students & having open dialogue...

You're right. And that DOES WORK.

It's why the most elite schools in the world use classroom setups like "Harkness Method" (https://www.exeter.edu/exeter-difference/how-youll-learn).

The problem is that it's expensive, class sizes are a fraction of what public schools have to serve. Instruction is "mastery-based" which means that individual students don't move forward in the curriculum until they've demonstrated mastery of prerequisite foundational topics.

This is part of the reason why kids from wealthy families can end up in elite colleges. Connections help, of course, but the kids are well-taught. For them, learning disabilities are just obstacles that can be worked around, fall-behind one semester because of teenage stuff? No problem, they get tutored out of that rut. The same kinds of problems in an overcrowded and overwhelmed public school end with the student being stuck academically and not prepared for college.
There are so many words in your second sentence that belie your point that it almost seems like you wrote it that way.
no one cares

Such a compelling argument! But seriously, MOST websites are slow and bogged down, especially in cheap hardware, we just have grown accustomed. The fault doesn't lie in hardware not being there yet or over-zealous power users, it's in webdevs being just plain lazy. And it's just gonna get worse with each iteration of new js library woo, each one another brick in this clusterfuck of a Babel Tower.
I own 4 Home Minis, 1 Home and 2 Home hubs I honestly don't care so long as my data is used to improve the functionality and stability of my investment. It is quite another thing if they are selling my conversations to third-party vendors.
You need to have the political will. There is nothing in the previous comment that is physically impossible.
> you’re assuming nature absolutely wins over nurture in psychological development

No, I'm not. I'm only assuming that in matters of instinctive revulsion, nature puts her thumb heavily on the scales.
The setting name is: network.security.esni.enabled
How confident are we of the cause/effect relationship between consuming carbon expensive goods, and a fire/storm happening?
Link to the original source: https://www.vrt.be/vrtnws/nl/2019/07/10/google-luistert-mee/

Submitted link is citing this one...
> Perot: “Or, our customer has a problem with our computer we don’t know about. Why don’t we call them and ask, if ya ain’t buyin’, why ain’t ya buyin’? If ya tell us why ya ain’t buyin’, we can fix it so you can buy it!”

This seems anathema to what we've heard about Jobs' MO, which was "Apple knows best". They won the MP3 and smartphone wars (more or less), so I'm not questioning their judgement. But I am curious as to what Apple's customer research process was like during the microcomputer era compared to the post-2000 era.
Thanks for the update, but why do you have to repeat yourself so much in the post? :/
> Some compilers will optimize out operations they deem useless.

A compiler translates a certain language to machine code. If it is optimizing it will use that language's semantics for optimization. That is necessary, otherwise we would be writing almost everything in assembly.

> Know what optimizations your compiler can do, and carefully consider the effect of each one on security programming patterns. In particular, be careful of optimizations that can remove code or branches, and code that prevents errors which "should be impossible" if the rest of the program is correct.

A priority is to understand the language one is writing in.

> When possible, consider disabling compiler optimizations that can eliminate or weaken security checks.

A better solution is to use assembly language and thus exactly specify your program's semantics within the program; that compiler flag could be removed by whoever builds the program, or something like link-time optimization.
Indeed; this also solves the problem of access control. Something like /tmp/notelectron.$EUID with umask 0077.
In BSD, the init(8) binary doesn't do much regarding startup - basically just executes /etc/rc; it's shell scripts all the way afterwards, nothing hardcoded.

What exactly cannot be solved with init scripts?

Also, keep in mind that FreeBSD init scripts (which actually come from NetBSD as rcng) are very different from the SysV mess Linux used to use - they handle dependencies, have a sane way of configuring way, they don't reimplement features which ceased being useful in the eighties (runlevels) etc. They are also quite fast. This means the pressure to migrate off to something else is much lower.
Absolutely. I feel like the pace of adoption has been mostly driven by per-bit storage costs falling (and high efficiency codecs).

Above all else, people will do useful things with computers once the price to do so matches the utility. And we're far on the other side of that with cameras.

I can't wait to see what the next decade+ does to all the Facebook-esque camera startups. It's going to be hard to monetize your customer's video feeds once regulation clamps down.
Perhaps, because anyone capable of launching a project like this is also aware of the terminal stupidity of doing so. Proposing geoengineering when we can't even predict weather for 7 days into future in a reliable way despite having monitoring stations everywhere is akin to hitting a computer with a hammer to fix a software bug. Unfortunately we are affecting a system we do not understand. The only rational choice is to stop affecting it, not desperately try to swing it the other way with no understanding of how it works.

The biggest danger of the climate change is that some nation or company gets a bright idea how to fix it and then seriously fucks the climate up. If you think few degrees too warm is bad, consider how bad having a mile thick ice cap all over Europe and North America would be if we manage to swing the system the other way.
The truth is SPAs have to re-invent all of that on the client side. More SPAs have broken back button and history than server side apps ever did.
I suggest the RoarVM message passing Smalltalk Virtual Machine [1][2]. Erlang/OTP with actors would be my second choice.

[1]Ungar, D., & Adams, S. S. (2009). Hosting an object heap on manycore hardware. https://sci-hub.tw/10.1145/1640134.1640149

[2]RoarVM demo https://www.youtube.com/watch?v=GeDFcC6ps88
This is a really great complement to GraphQl.

Where GraphQl would be equivalent to explicit and strongly typed languages, GROQ allow for more flexibility.

You can, for instance, choose to select all field of an object and return your result in a different format than the schemas definition.
Why isn't a moved-from object always considered "consumed"?
It's fun!
Show HN: HaC Mini, a Full Featured Mac Mini Hackintosh
But the dividend is per capita? So some poor person who is stuck driving to work gets to reimburse me for my Tesla?
Is that really true? Only a few billionaires have most of their assets in the fossil fuel industry.
But capitalism is meritocracy, so the capitalist oligarchy are meritocrats (and, likewise, capitalism is an empirical testing ground for functionality of ideas, so they are also technocrats, moreso than their ivory-tower challengers)...at least, that's what the proponents of capitalism have always said.

(When you get down to it, almost everyone is a meritocrat, and almost everyone has a self-serving definition of “merit”.)
Humans are not separate from the environment, we are the environment. It doesn't matter if a super volcano erupts and changes climate, or if humans do it through resource consumption. As far as the universe is concerned, it's all just the system reacting with itself over time.

"Problem" is a human concept. Your logic is circular. To solve the problem we must eliminate humans yet with no humans there is no one to define the state of the system as a "problem".

You're attributing human like judgement to an ecosystem that would theoretically exist post-humans.

If you're saying that some humans deserve to exist yet others do not, then yeah I think people will rightfully react negatively against that.
Considering the fact that 1 USB C Thunderbolt port can power a dock that could do multiple HDMI, Ethernet, USB, VGA, etc, I agree completely and I hope that they release a Raspberry Pi4C.
Hey, yep, that's exactly right. I wanted to keep the artefacts, and regarding the image-map, sadly they aren't responsive, yet. They work perfectly fine on every screen with width > 700px though.

I haven't figured out a nice way to make them responsive yet.
AI Artificial Intelligence-Entrainment, 5G and Bradley Loves and Alfred Webre
network.security.esni.enabled in about:config

Hadn't realized FF had shipped support for it already.
I've long been curious how GDPR should be applied to Google Home, Alexa, etc.

These devices record and upload voice recordings to the cloud (with a percentage apparently shared with Google contractors to process). The audio clips can be recordings of conversations of people who have not consented to being recorded. And I can't imagine it's possible for Amazon or Google to reasonably comply with Art. 15 or 17 (right of access by data subject, and right to erasure).

Is there something I'm overlooking? Or is this just a known risk that Amazon/Google accept in providing the service?
> it might be a problem which solves itself

Yes, that's possible. Economic prosperity does reduce birth rates, and that gives me hope. But it's a race between that and the carbon emissions that will happen on our current trajectory towards that prosperity. Right now it looks to me like the carbon is going to win.
Perhaps because the generation making the laws are baby boomers? (And don’t want to loose their access to their cars?) https://www.theguardian.com/books/2017/may/17/generation-soc...
https://unix.stackexchange.com/questions/99336/how-does-ping...

Because it's special cased in ping. Because that's what a relevant RFC says to do.
"Just use a VM/container/jail/dedicated machine" is a great solution to any problem except, now you have n+1 problems. I am a huge fan of functional/declarative environments, hence NixOS, but these approaches have limitations. General purpose computing's attraction isn't emulating single purpose microcontrollers...
Those lead to problems at poorly-designed intersections. I would prefer the answer be to design them correctly, making sure that some users aren't neglected.
> The reason we stopped doing that is because we wanted version control, we wanted to work in teams and we wanted unit and integration tests, which I doubt that you could run within 50ms.

A good way of thinking about Dark is to suppose that instead of stopping doing that, we found a way to make it work.

> I can easily replicate that with at least early 2000s PHP(would probably work with 90s PHP as well).

If you could replicate it, you'd do it. Except you need version control, unit tests, etc, etc. So you need tooling that has those things to make the feature flags work.
Photo labs have been around way before the 90's and lots of people still use them.
How does spacetime know to curve?
Sean Carroll: The Nature of the Universe, Life, and Intelligence
> Simply amazing that they can get such precise measurements from so small a differential in distance.

How do they know the billionths of a second differences aren't due to the radio waves travelling through pockets of air that have slightly different densities/temperatures/moisture/refraction properties?

That just seems like incredible error tolerance
Where I spend my days
> Lets stay grounded in reality here, Google is paying money on your behalf to improve your experience.

Lets stay grounded in reality here, Google is not doing this for me or on my behalf. Google just invests a bit to take a bunch of very valuable user data and then monetizes it for far more than it took to obtain it. This relies on the fact that most users are unaware of how valuable their data is.

As a business model there's nothing illegal about this. But in any other sense it's no different from tricking an uneducated individual into selling their kidney for $2000 just so you can resell it for $20.000 and pretend you're doing them a favor by giving them money.

And as long as the vast majority of customers are in the dark regarding the value of their data and what they're actually trading when using such a system then yes, this is Google (and not only) abusing ignorance to line their pockets.
Despite all this, the world is safer and healthier than ever before. It's slow going at times, and occasionally reverses temporarily, but there's steady progress.
Computational Neurons Could Improve Many People’s Lives
This is similar to our thinking at the moment.
No, I mean just show a customised page for 403 that also has a username/password that you could put in and log in.

The cross-browser modal dialog is entirely anti-Ux.
Because people do not want to deal with gazillion dongles
You don't rinse?

Sounds itchy.
Forested land has tons of economic uses, and in many cases it improves the productivity of the other activities that are done within the land. Most human dwellings do better when they are surrounded by trees (lowers cooling/heating costs and improves the sanity of the occupants). Most livestock can be raised in orchards, along with quite a few consumable plants (coffee, cows, mushrooms, etc.). Also the trees themselves can be converted to charcoal through gasification, which provides a carbon feedstock for graphite, activated charcoal, or biochar, all of which lock away the carbon. The gasification process produces syngas/woodgas/producers gas which is a viable fuel source. Lastly the wood can be used itself for building structures and furniture which locks away the carbon for the life of the item.

Not sure how any of that is expensive, as it fulfills our requirements for food, housing, and luxury goods.
I mostly agree. This is already done in many countries, and farming goes on there.

My only point is that this isn't done by stupid greedy farmers for no reason. It's a practical and profitable practice that has had a lot of short term benefits both for farmers, consumers and even farm animals. But it also has to end.
Do you have an example of somebody being shamed for not reading Sapiens?
That's not how science works. Some scientists theorized that CO2 emissions could have consequences for climate. There was a lot of theoretical and technological development that needed to happen before such an outlandish (at the time and up until the recent present) idea could be verified and acted upon. It's no small claim to suggest that humans can not only alter global climate, but do so in a catastrophic manner. Add to the mix the social and economic cost of acting on such a theory, and it makes sense to understand and prove the science with some minimum certainty before using it to justify massive policy change.

Hindsight is 20/20. Even now, because of the nature of what amounts to an empirical science who's primary effects will only be measured in the future, we haven't unambiguously proven that climate change is occuring, and cannot do so without additional decades or centuries of data, at which point it may be too late.

It is similarly fallacious to accuse oil companies of knowing about this problem and failing to act. 30 years ago this was similarly a theory with even less evidence than today, and only a handful of scientists even considered it.
A lot of the benefit of the rpi is the built in IO. Would the rpi still be cost effective without it? Not for many of the IoT projects that make the rpi so popular.
Except for the Woz
10 0ffers, 100 Days. A Senior Engineer’s Journey to 11 Big Companies in SV
I think a lot of people here are under the assumption that voice commands, on any device, have the potential to be human reviewed. I am not sure whether or not the general public has that same assumption.

That being said, my biggest concern is the fact that many of these device don't have a hardware microphone kill switch. I feel better when I know I can control when a device is listening in. I've read reports that some Alexa devices have them, but I don't own any so I am unable to verify that.

I want all of my devices with microphones to hardware based kill switch for the mic; that's my phone, laptop, tablet, everything.
Yeah, the bigger picture here is that there's a ton of valid reasons why people can't use Dark right now. Of course there is, we're a small team with an early product. Once we show that this is really a better/faster/easier way to make backends, then we can start working on handling the risks and constraints of more teams.
The usual: https://en.wikipedia.org/wiki/Formal_semantics_of_programmin...

Consider:

1 + "two"

That's syntactically valid in Python and JS but semantically valid only in JS, not Python:

>>> 1 + "two"
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: unsupported operand type(s) for +: 'int' and 'str'

>> 1 + "two"
"1two"

Python raises a TypeError not a SyntaxError; JS Frankensteins the values together.
Thanks, author here.

And for the other comments, no, I didn't update that right now. :)
> The fact of the matter is that there is only one environmental problem here on earth, and that is an overabundance of humans.

How does your argument deal with the fact as nations becomes more developed, birthrates plummet? If it were not for immigration, populations would already have started declining in the western world. And even with it included, almost all rich countries are facing an aging population.

Yet despite that, the richest countries produce far more greenhouse gases, not just per capita but often on an absolute scale, than countries with tremendously higher population and fertility. E.g., Canada produces more than 2x more CO2 than Nigeria despite being 5x less populous.

Fewer humans != more pollution. Even in rich countries, a single wealthy businessman with a private plane, or luxury cruise ship, pollutes far more than an average worker with a petrol-powered car.

I can certainly envisage a scenario where with increased automation and lack of environmental consciousness, you could somehow reduce the population of Earth tenfold, yet keep on polluting the same. Why bother with efficient engines when petrol is cheap? Would you rather have a million people each with an automated personal helicopter, a pleasure barge and a gas-guzzling SUV, or ten million people using public transport and bicycles?

That's not going into the details how you would go about reducing the human population. You even made the argument yourself, those who refuse to go along with the anti-nativity plan would eventually outbreed those who do. So unless you want to carry out global campaigns of forced mass sterilization, the best solution is still focusing on making our current technology more environmentally friendly.
That's what I mean - if you assume 100,000 cars on the road, that's 3,000 new buses the city needs, as well as multiples of that more bus drivers.
https://medium.com/geckoboard-under-the-hood/lunchbot-how-we...

This guy solved your exact problem with Slack and Google Sheets.
>When meritocrats and technocrats fail to seize power, extinction ensues.

Well, if you want to implement that, you'd have to abandon democracy and follow the Chinese model of a one-party state. You cannot force people to vote for scientists, rather than demagogues. Technocrats would have to be appointed rather than elected.
In terms of GDPR:

https://gdpr-info.eu/art-4-gdpr/

> ‘personal data’ means any information relating to an identified or identifiable natural person (‘data subject’); an identifiable natural person is one who can be identified, directly or indirectly, in particular by reference to an identifier such as a name, an identification number, location data, an online identifier or to one or more factors specific to the physical, physiological, genetic, mental, economic, cultural or social identity of that natural person;
Java is attempting to avoid this complexity using Fibers like Go. It also makes most old school threaded code compatible without a bunch of work.

Rust was originally going to use fiber threading. The reasons they didn't are lost to me and probably everyone with the amount of bikeshedding async await has seen
Hah! Good one. I hope not. I think the Siri people at Apple have just gotten lazy. Maybe they are too impressed with themselves and focusing on BS things like sports scores. I hope they get more ambitious soon.
> The main difficulty is we also have to understand the purpose of the dyn keyword and why the Error must be boxed.

Box<dyn Trait> is just an owning opaque pointer to something that implements the Trait interface. This kind of stuff is done all the time in C/C++ because it's just so darn useful, even though it requires a bunch of boilerplate code to make it work properly. (It's also arguably implied in the semantics of other languages, even though it's not directly marked in the code.) In Rust, it's just a line of code and the compiler provides checks that ensure you're writing something reasonable. (And of course you can dispense with the whole boxing mechanism when it's not needed, same as in C.)
http://htsql.org/

"HTSQL is a comprehensive navigational query language for relational databases."
This classification is very useful to discuss this issue.

The difference between 3 and 4, noble as it is, can be caused by feasability concerns that push people into 3, not just ignorance of the privacy impact. Human labelling of training data sets is a big thing in supervised learning. Methods that dispense with this would be valuable for purely economic reasons beyond privacy - the cost of human labelling of data samples. Yet we don't have them!

Techniques like federated learning or differential privacy can train models on opaque (encrypted or unavailable) data. This is nice, but they assume too much: that the data is already validated and analyzed. In real life modelling problems, one starts with an exploratory data analysis, the first step being looking at data samples. Opaque encrypted datasets also stop ML engineers from doing error analysis (look at your errors to better target model/dataset improvements) which is an even bigger issue, IMO, as error analysis is crucial when iterating on a model.

Even for an already productivized model, one has to do maintenance work like checking for concept drift, which I can't see how to do on an opaque dataset.
i will probably get downvoted but this all thanks to the oil industry, they even knew about climate change since the 60s