skysight-inc/HackerNews huggingface dataset:
>> I got fed up with crazy people threatening and attacking me on public transportation.

As usual, this seems to be very different between EU and US citizens. I've been using public transport of all possible types (trains, boats, busses, trams...) in more than half a dozen EU countries since I was a wee bairn and I've never been threatened or attacked on any of them. Like, not even close. The absolutely worst thing that has ever happened to me on public transport is some guy puking his guts out on a London bus on a Saturday night. And that was just once. And it was more like "what an idiot" than "oh god I'm scared".

Which tells me that this is nothing to do with public transportation, as a means of transport, but with - other issues, for example various social issues that are particular in the US.

Or people are just exaggerating the misery of taking public transport in the US? I struggle to believe it's really that bad as you say, for instance. Public transport descriptions by US citizens always sound a bit like The Warriors, to me, and a bit unrealistic, to be honest.
When you gotta pick one, even tiny difference is a difference.
> It would be nice to see a final graph of review times across the entire span the data was tracked. Luckily there's Archive.org to fulfill that curiosity in some way. Here's 2018:

Yes, I considered doing that but didn't have time and just needed to get it shut down in the end. The original shutdown plans included this but then having to actually get all of that organised was delaying it from actually getting shut down :)
Dockerizing a Vue App
I installed it an noticed they have their own App Store.
Smartphones are universal data collection devices, each of which is capable of gathering audio-, video-, RF-, location-, motion- and activity-based intelligence. Some add various other capabilities like air pressure, temperature and humidity to the list. Controlling this massive data source is massively valuable. Since each device contains a fairly powerful radio transmitter they can also be used as jammers by those who control the (closed, proprietary) RF firmware. All these devices are battery-powered so they can not just be disabled by pulling the plug (or the battery in 'modern' devices).

5G infrastructure adds another layer to the intelligence gathering infrastructure as well as an even more powerful jamming capability. Cell towers are equipped with battery backup as well so they can not easily be disabled by cutting the power to the tower.

Any party in control of these assets has strategic and tactical advantages over their adversary: strategic in that this allows for intelligence gathering, tactical in that this allows for precise targeting, jamming, denial of service, control of connected infrastructure for whatever purpose and more [1].

[1] Controlling mobile infrastructure over a wide area adds the prospect of using it to defy 'stealth' (low radar cross-section) by capturing off-axis reflections, etc.
Fake news...

It's ALL mind control.

Even the cuck mods on this site. FUCK YOUR SHADOW BAN!

Censoring grabbasstic pussies. I know at least one of you fucking faggots on here still reads this shit. Don't think for a second that I can't crate another account.

CUNTS.
I took an architecture class back in college and the first time we met, the professor gave us a couple of programs described in plain English. One of them was basically sorting, and the other one something else.

Each of us spent the rest of the semester picking an instruction set, designing a system, writing an emulator, and writing the code that would perform the tasks described on the first day.

I went a little overboard and created a C backend for the emulator along with an in-browser JS client that was pretty much a full-blown machine language IDE and debugger.

Needless to say, this feature creep didn't end well. I barely made it work well enough to get an ok grade but I learned that overconfidence can be more dangerous than the lack of.

Here's what I was able to salvage from the front end on short notice: http://blago.dachev.com/~blago/CS-535/stage_2/src/web/ It's using ext.js which was pretty cool at the time.
The Apple website has transcripts of the the videos, and there's a third-party website that allows you to search them

https://asciiwwdc.com/
> Why does the new generation so easily discard this vast amount of wisdom?

If you are actually looking to have some input from people who prefer statically typed languages about their reasons, you might want to write your comment in a way that does not presuppose that these people are obviously wrong (and, apparently, unwise).
And what happens if Keikai fails long before Google gets rid of sheets? I get that Google has a habit of killing things off, but they are often things that are unpopular. Sheets is far from unpopular.
And that's nothing, if your read about his life from young age with huge conflicts with his family because of racing, his racing career and later his airline, the man had some huge balls.
Point is that many disagree they should. If we take that Facebook is a critical network owned by a company, just like the internet is a critical network owned by many companies, is it not reasonable to assume it is infrastructure and not a publisher?

Not saying I agree or disagree, just playing devil's advocate.
> All states require teacher licensing at public schools. However private schools do not and get better outcomes.

Some private schools get better outcomes than some public schools, but that is not universally true. The factors involved in outcomes in education are a whole lot more complicated than teacher licensing.+
Rather than seeing "late binding of everything" as a specific implementation or bits and pieces of a particular implementation, I find it is much more clear to see it as a general self-referential idea. Why then would one _go against it and try to constrain it_ ?

Taken in that light, as the article does a really good job of explaining, late binding of everything is a modeling process (or a process of thinking about things). It means that I should try and keep parts of the structure that I'm building up as flexible as they can be so that they match the model in my mind. One benefit of doing that is that I can later revisit and rework them. Another benefit that is seldom talked about, is that _the object I'm working on no longer constrains my thinking_.

In other words, only specify in detail that which is crystal-clear in my mind model, and get away with fuzzier representations elsewhere. Tools and languages that fall inline with that process, not only empower one to work in this way but make it _ultra-efficient_ by triggering short feedback-loops and allowing the programmer to mesh with the modeled object.
Feedback on a service to help Developers monetize their work
I always wondered why it seems we've get automated trucks pretty soon everywhere, but there is almost no one talking about self driving trains?
The AADL Error Library: 4 Families of System Errors
yes, that's notably the only publication by Microsoft Press, I can recommend ;)
I deal with it by having a separate google profile (“user”) and barely using it outside of gmail and google docs. I just let it sync.
Firefox 67 also the first browser that ships with `prefers-color-scheme` (aka dark mode) after Safari.

https://developer.mozilla.org/en-US/docs/Web/CSS/@media/pref...

And it does the right thing and disables the feature when enabling the resist fingerprinting option.

I did a small survey and only very few websites have developed a second dark theme: https://zimbatm.com/DarkMode
> blackmail, n.: the action, treated as a criminal offence, of demanding money from someone in return for not revealing compromising information which one has about them.

Compromising information could be information of various kinds, not all of that evidence of illegal or immoral deeds.
They're also based in Chicago - 70k is right where things start to get comfortable.
This is a strange answer. A message broker is not in the same category as Istio. Istio is for effecting policy changes (regarding security, traffic routing, monitoring, etc) without updating your code. Which is especially useful if your code is a bunch of diverse microservices.

Message brokers are... not that.

These are apples and elephants you're comparing.
Microsoft's added value right there.
> I'm curious to see how aggressive this is.

It's in the config parameter's name: browser.tabs.unloadOnLowMemory. Boolean, works only on Windows for now.
If you have one office location that takes a crew one or two hours to clean per week, why would you have someone on staff to do that?
Google’s Android ban for Huawei proves we need strong alternatives
How much does it cost ?
I'm with you. I recently purchased a car and was looking to avoid screens, push-button start, and push-button shifting.

Unfortunately screens are going to be hard to avoid given that all new cars in the US are required to have a backup camera. That is, at least, a useful feature. Some cars like newer Audis even have backup camera screens that only pop up when you're reversing. Pretty nice.

Push button start is also going to be hard to avoid, almost all new cars I'm aware of have it. There's some features to disable for security reasons though, such as where touching the door handle will unlock the car if the key fob is near. There are reports of thieves employing signal repeaters to use this to steal cars while the fob is in the house nearby.

Lastly, push-button shifting, what a mess. Thankfully there are still many cars that don't implement this feature and my hope is it will remain a fad or not popular.

I ended up buying a 2019 Forester. I wasn't happy that it had a screen but at least on the trim level I got it's smaller (and cheaper!). I'll have to make peace with this one because it's the future. It also has push-button start, but this is pretty much unavoidable as well on new cars.
Chinese phones have their own app ecosystem. It would be much easier in Asia than you think.
I had dinner with him on July 7, 2002. It was the time during which he managed the Jaguar F1 team. He is, was quite literally awe-inspiring. Sad day.
A lot of commenters seem fearful of this tech. But I don’t see a problem is it is strictly read only and not connected to the internet. There are ways to make this bad, but it’s not fundamentally bad.

One thing I was surprised to learn recently was that mentally controlled prosthetics are simply machine learning algorithms trained to interpret the electrical signals and produce physical outcomes. In hindsight that seems obvious but before that I had assumed something more complicated. I think a lot of great stuff could come from this. Especially art. Either generating things that the device observes you find enjoyable or generating music you’re mentally composing could be awesome. Imagery could be great.
Symbolic Execution [SE] is a subset of Abstract Interpretation [AI] (Cousot et Cousot, '70+something), which we use in our product, which is in turn used by industrial customers. While this goes primarily in the safety direction, I'd dare to say "yes, this kind of stuff is actually used". Though maybe our customers wouldn't say "we use AI/SE in our process", since they're usually not that deep into the theory behind it - in the end, the results are what matters most.

I didn't bother proving it, but I think that some of our techniques could be interpreted as some kind of SE; but the general case is that they're AI.
>> It's unrealistic to force people to use the socially optimum solution rather than their prefered solution.

That sounds ...wrong? You might as well say that it's unrealistic to force people to pay taxes. If the benefits of using public transport outweigh the disadvantages, people will just have to get used to the idea.

This has certainly worked in many other cases- for example, with rules about smoking indoors etc. I'm sure that smokers prefer to smoke indoors. But there's good reasons not to, and a very strong push with fines and all to not do it, so they just have to suck it up and conform. Sad face.
>WebRender is gradually enabled by default on Windows 10 desktops with NVIDIA graphics cards

Does this mean Webrender in Stable can now be force-enabled for non-Nvidia graphics cards on Windows 10?
The language is a little unclear. AFAIK Webrender is available to anyone using Nightly by force enabling it.
Ask HN: Can I get some nice and simple CSS please?
We've had quite a few submissions over the last months discussing minimal CSS. I've been experimenting with CSS for a bit now and I find that most of them don't even provide the following basic properties:
* Legible font-size on mobile and desktop
* Legible width on mobile (full-width) and desktop (only a central column)

So, does anybody have something like that or is it only fake 2019? The target would be a website similar to https://jrl.ninja/etc/1/ so a simple one-column article type of thing.

Eventually, some sort of navigation would probably be nice so if you want to suggest a larger framework, please do!
We used something like this to build configurators for clients at a previous job some 10+ years ago. I always thought they should have sold it as a service rather than just internal tooling the clients didn’t know anything about.
The natural choice of language to code well-optimized data structures in is C++, but the Linux old guard have shown themselves irrationally hostile to integrating anything coded in C++.

Coding data structures in C is a formula for wasting your time, because at each next use you have to start over nearly from scratch. That is why kernels are such heavy users of ancient data structures user-space has largely abandoned.
>> i found the foundations via set-theory unintuitive and a bit ackward to work with.

> Type theories, especially dependent type theories a la Martin-Löf, are quite natural to work with (and) are easier to implement on a computer...

Whether or not type theories are "natural" is probably a matter of taste.

But it's hard to argue that they are necessarily "easier to implement on a computer". Metamath is a general-purpose verifier, and its primary database (the Metamath Proof Explorer at http://us.metamath.org/mpeuni/mmset.html ) is based on classical logic and ZFC set theory. A Metamath verifier in Mathematica is only 74 lines, while another in Python is only 350 lines. The Metamath verifier written in Rust is longer (it's written for speed), but it manages to verify about 32,000 proofs in about 0.9 seconds. It's so easy to write one that there's a long list of verifiers (see http://us.metamath.org/other.html#verifiers ). Metamath can handle HOL, too. I don't know of any shorter verifier that can handle the full range of mathematics. So by both code size and speed it's hard to argue that type theory is necessarily "easier" than traditional set theory on a computer. They both simply process symbols given a small set of rules.

There are many possible foundations of mathematics beyond ZFC and type theory, e.g., Quine's "New Foundations" (NF) (see http://us.metamath.org/nfeuni/mmnf.html for a Metamath encoding of that), HOL, etc. And that's not even counting logic systems: Classical logic is the most common in mathematics (by far), but intuitionistic logic is in use (and tools like Coq are built on it), and there are many other logic systems as well (paraconsistent, minimal, etc.).

That said, I believe ZFC (combined with classical logic) is by far the most commonly foundation referenced in mathematics today. Wikipedia claims: "Today, Zermelo–Fraenkel set theory, with the historically controversial axiom of choice (AC) included, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics." https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_t...

That doesn't mean that other systems are "not as good" or "not mathematical" - but when people ask about mathematical foundations, ZFC is typically what people refer to first. It's probably good to at least know a little about ZFC when discussing foundations, even if you decide to do something different.
London Underground wants to automate the trains, so there is plenty of "talk".

A freight train labour cost is much smaller comparing to trucking.
Then these 60% of dudes are clearly unqualified for management. Please either figure your business out or make room for someone who is capable of management.

And I say this because if a manager is that afraid of accusations, they are either doing something to earn said accusations, are promoting a work environment where false accusations are easily believed, or simply just a crappy manager and probably not good at dealing with many of their male reports either.

I note the last one because the two main archetypes that feel this way tend to be older management types that were taught by Mad Men era managers (read overgrown frat boys) or are Mike Pence style ultra-niche religious. Now, again, neither of those are flaws in and of themselves, but if you can't come above those backgrounds and manage a diverse team, then you don't deserve a team.
'This was a steal': Campaign sub-lease that 'thrilled' Trump could be illegal
> the only publication by Microsoft Press

Really?

https://www.microsoftpressstore.com/store/browse/programming
It seems like he said something inappropriate about a coworker's body, but it's still somehow the coworker's fault and a false allegation, according to him.

When your self-reporting still makes you sound defensive about bad behavior, you probably need to come to terms with, and take responsibility for, your actions.
I tried it for a while and it worked fine but I did notice that it significantly increased idle CPU load, enough to affect battery life
tado° Launches It's New Smart AC Control V3
i think they said none of their employees live in SF and lots are remote. At least half are spread out across the globe. So $70k probably goes a long way in small towns.
The vast majority of those comp packages are due to stock appreciation, and in the cases where they are not, it's due to competition between FAANG companies - all of which require you to relocate to a super high COL area and go into an office and deal with a questionable corporate environment.

None of this applies to Basecamp, and as much as I'm a fan of Rails I've spent a lot of time in that source and am not of the mind that a top Rails hacker is doing work nearly as difficult as the more sr. staff at a FAANG.
> We do this already when we eat or drink in the car, turn to look at a passenger during conversation, read a billboard, etc.

All of which are other things you should not be doing while driving.
In both private and not-private windows, the browser asks the user whether to save each password. Nothing is saved unless you explicitly click the Save button.
Huawei Exe Says Company Considering Rivals to Google's Android After US Ban
There's a cost to ensure all your data is encrypted in transit regardless of how you do it.
It's free to use/set up/etc... then 2.9% of the revenue generated.
It doesn't use it by default, but you can manually enable it. It's the only way I could watch twitch streams on a 1440p monitor at 60 FPS.
I really don't agree with your point. The analogy Kay uses with biology is very telling :

Cells (co-)evolved for billions of years, they were not "designed" to accomplish certain tasks. Just survival and reproduction. And still, even with those billion of years, we still have cancer (as in bug in the reproduction process).

We design software. We evolve software. Software doesn't build itself, or decide for itself what's the best way to accomplish some task. We maintain software, we need guarantees, as much as we can get.

Dynamic languages let you think a problem you haven't thought of at design time will somehow solve itself magically at runtime, using components designed weeks before, with knowledge of that time.

It just doesn't work. It's an ideal vision that explodes as soon as your software gets any kind of commercial success and longevity, and you need to maintain it, and evolve it.
The quoted costs for positive train control just seem astronomical for what is actually being achieved;

> Under RSIA08, PTC is required on about 60,000 miles of railroad track. The Federal Railroad Administration (FRA) estimates full PTC implementation will cost approximately $14 billion. [1]

I understand that everything looks simple from the outside, and these have to be rugged, reliable, redundant, and failsafe, but that’s a lot of dollars per mile for sensors.

> PTC uses signals and sensors along the track to communicate train location, speed restrictions, and moving authority. If the locomotive is violating a speed restriction or moving authority, on- board equipment will automatically slow or stop the train. A more expansive version of PTC, called communications-based train control (CBTC), would bring additional safety benefits plus business benefits for railroad operators, such as increased capacity and reduced fuel consumption. However, CBTC is not currently being installed by any U.S. railroad, due to the additional cost and the challenge of meeting implementation deadlines.

So we’re talking about basically AEB (automatic emergency braking) for trains, and it costs $200k per mile to deploy? I don’t get it.

> Based on analysis of past PTC-preventable incidents, the FRA estimated in 2009 that $90 million in annual safety benefits will be realized after full implementation of PTC.

Oh good, breakeven without accounting for any time value of money in only 155 years. The only word that comes to mind is boondoggle.

[1] - https://fas.org/sgp/crs/misc/R42637.pdf
No, it's not feasible for a few thousand people to exercise "editorial control" on billions of people.

This isn't at all like a newspaper which only has to do that on a few hundred people.

Scale matters!
Replace the “male” engineer with “female” and then ask the same question.
Morgan Stanley: Tesla shares could drop to $10 in worst-case scenario
btrfs has checksums to prevent bitrot.
I Own the Red Hen Restaurant That Asked Sarah Sanders to Leave. Resistance
While I agree that one could take caution when studying proposed alternative foundations of mathematics (there are a lot of dysfunctional theories out there, and the link may be one of them for all I know), I think it is unfair to presume incompetence based on the fact that the author has another field as his specialisation. ZFC is also not the one true way, there are many sensible ways to formulate set theory, and even valid criticisms of ZFC.
Hello author. I just wanted to heartily thank you for trying this and writing a post about it. I love seeing people pursuing technology for the sheer joy of it.

Staring at the blank whiteness of an unwritten post, one wonders whether anyone else will notice or care what words will come tumbling out. But through your post, your work is multiplied. It is inspiring.

So, again, thank you.
As somebody who has maintained free things that are much smaller and less prominent, I salute you. Both for the work, and for shutting it down thoughtfully. Please don't measure yourself against what you might have done! Count instead the people you helped, which sounds like a lot of people.
I'm pretty sure Code Complete2 is a publication by Microsoft Press. I'd say that's a pretty well known and well worth reading book.
Why do you think so? There's a pretty explicit qualifier that seemingly distinguishes that the snarfy hates all touch screens, especially when they're in cars. I'm responding explicitly to the first part while ignoring the second half, with which I somewhat agree.
Back in 1987, at my first job at Hewlett-Packard, they had a little robot that would deliver mail. This was their plant in Loveland, CO, I believe it was the first non-California site HP opened.

Along the main hallways there was some sort of retroreflective tape laid down, and the robot, which looked like and equipment cart, would follow that tape. At every stop it would sound a chime and the secretary for that section would come out and retrieve a bundle of mail and distribute it to their people.

Super simple implementation, but it worked quite well for what it did.