skysight-inc/HackerNews huggingface dataset:
There are languages that have stronger type systems. I.e. idris, agda.

There is paralel lineage of ml-style languages (ocaml, F#) that deal with abstraction in different way (I find ocaml module system fascinating and yet have to fully comprehend it)

Haskell is by default lazy, you might prefer strict evaluation.

You might like the macro-system of Lisp, meta-programming in Haskell is trickier.

Purescript has much nicer record system, with row-polymorphic types.

On the other hand, if there is a niche Haskell was actually built for, it is researching functional language features. So if you are missing a feature, there is a chance somebody is working on a pragma for that :)
Without doubt it is Tesla’s fault, due to how they have named and marketed the feature. Even if they fixed the name, they have created a system that encourages people to disengage when it is not safe to do so. You can’t make a system inherently unsafe and absolve responsibility by adding a warning.
This is something I don't understand. If you have more than 1 camera, you can run an edge detection algorithm on the images from each camera and use simple trig to build up a 3d model of what is in front of the car. This can easily distinguish between a shadow or road kill, vs a large object in the way. Is there a technical reason they don't do this (such as too much processing power required)?
Fair enough; after some cursory reading, it seems that Ada is objectively safer, so it makes me wonder why there wasn't an "Ada all the things!" movement.

I suppose I'd have to do a big-ish project to know for sure how it compares to C as far as maintenance is concerned.
And yet the US has consistently been in the vanguard of software development worldwide. Do we need surgeons? Do you need a four year postgraduate degree and three more years of apprenticeship before slinging together a web app? Certainly the industry has its problems, and some applications demand more rigor, but I don’t see this as much of a general solution.
Testing and Automating an Old Code Base
The motivation for Linux was definitely about the inability to fix bugs, but I'm pretty sure the same cannot be said about the motivations and reasoning behind the GPL.
Learn Racket by Example: GUI Programming
I've been using Macs my whole life and this latest generation of MacBooks and MacBook Pros are by far the worst I've ever used at pretty much everything
Yes. I've built one of them. https://3geonames.org . Open source. Works offline. No database is needed. Based on geonames.org.

I also know of at least 2 other open source alternatives (what3ducks and what3fucks).
I think this talk is relevant https://youtu.be/lLnsi522LS8
I know the SAP HANA team got cut heavily.
Should really be (20.5cm) though?
But unless you can get Apple to make cheap devices for the masses (like Android One and Android Go) in developing countries, their high price point will push you towards giving up your privacy to have a smartphone and be reachable online.
Couldn't a secondary camera help more? Matching the images is not trivial and may take a while, but you could extract spatial information. Maybe a laser or a flash projector works better, but I imagine these systems to be susceptible to disturbances like reflections, especially when multiple cars are driving around.

Probably a long way still until we have real self-driving cars...
A tree shaking linker will definitely help a lot, but there's still some runtime baggage that probably can't be removed. For instance, dynamic loading and all of the related type and assembly metadata structures. I look forward to seeing what they can do!
Sounds like good news for Tesla at first, but look into the details:

- Norway is Tesla’s “fourth-biggest market worldwide” despite its small 5-million population
- “Norway received what was likely its biggest shipment of Teslas earlier this month”

Considering all “generous incentives”, the two points above and the actual numbers of registrations it does not sound that great, or does it?

All quotations cite from the parent article of this thread.
When your company is worth a billion and/or very profitable then it might be arrogant otherwise I don't really see the CEO as some higher being. Personally, I know more about accounting, finance/markets and economics than most tech startup CEOs that I have met.

If I have learned anything from startups it is that anyone who can talk a good game can raise money (fyre festival/theranos).
Asus was warned of hacking risks months ago, thanks to leaky passwords
Even better: employee gets criminally prosecuted in a (slightly) more sensible jurisdiction for having intentionally introduced the backdoor.
One clarification, as a native german speaker:

>Or ///klartext.bestückt.vermuten - "cleartext stocked suspect"?

That's "suspect" in the sense of "guess" (as a verb), not in the sense of a criminal suspect. (And "stocked" like a store shelf would be)

I'd call this example entirely benign.
I agree completely. I'm a big podcast fan, for many opposite reasons I don't use social media.

Podcasts remind me of fanzines. Which is a great thing.
Idk, you could go with the gripen, But tbh even Sweden thinks it's a joke. Ask anyone about it and you'll hear a lot of jokes about how they are great at attacking the ground (crashing). The same types of "why the F35 and not gripen" points came up when Norway got them. The answer is a combination of NATO + the fact that, especially compared to the gripen, the F35 is the better choice. Multipurpose, easily deployed in multiple arms of military, can hold payloads for any mission type, etc. Sure it would be quite poetic to have Denmark pay Sweden for swedish planes but I don't see it happening soon.
They should just fund it out of general revenues, and dispense with the "license fee" entirely. Treat it as a marketing expense for the country as a whole, basically. The argument that they need an exclusive tax base in order to preserve autonomy is bogus - the monarch gets government funding too AIUI, do they have a dedicated tax base?
Wow. Hard to see how you move the needle on making SO more welcoming when so much of the behavior is in the larger community. I suppose there may be some software changes that could help.

But I wish the next CEO luck, and appreciate what Joel and the team have brought into the world.
Hot on the heels of their announcement yesterday. The irony is sweet
Its even worse when you look at how its been declining the past 50 years (https://www.npr.org/sections/money/2015/02/23/385843576/50-y...) way before the "young folks" even entered the workforce.

As a young folk myself I am certainly pro-union, especially for newer fields like IT that are too fresh to know what the benefits of a union can offer.
Remote Work Is Exploding: 10 Tools to Leverage It
I don't think it's just the personnel retraining. My understanding is that this decision helped keep the aircraft from being a "major" configuration change that would necessitate a more lengthy FAA certification process. Supposedly, a major air carrier gave Boeing a timeline deadline which may have influenced design decisions to avoid that longer certification.

Of course the FAA may be partly culpable for delegating some of their oversight decisions to Boeing
GPS Rollover is April 6th, if your system uses UTC be prepared
They have had several remote code execution vulnerabilities lately (summer 2018). While they were very quick to patch them they did not notify their customers in any way. There was nothing on their website that said anything about the urgency.

Instead of reusing functionality that exists in the router already (ssh?), the authentication for winbox is something they built themselves. It was in the winbox auth that the main security flaw was. It just looked really bad to me.

The winbox client also downloads and runs any DLL that is sent by the winbox server. The winbox client has a windows certificate so all it's code is trusted. So own the router and you get the admins workstation too.

It just feels like maybe they hired some random guy without much appreciation for security for doing winbox.

The SMB server also had a rce a while ago.

That said, I guess that if you disable winbox and stuff that should not face the internet, you are probably safe?

Too much for me though. I would not feel safe.
I don't see the relevance of that complaint. People don't memorize their current lat long to 16 sig figs either. You'd still need a gps device or a paper map without w3w.
Kickstarter used metrics to prove how much legacy code slowed them down
Stunningly Beautiful Footage of the Falcon 9
Seems GPS is a great way to confirm the usefulness of theories that were once controversial. You need an understanding of relativity to make it work and now continental drift also plays a role.
> “But oh boy do I see tons of self-destructing, borderline stupid behavior among predominantly poor from where I come from”

This is the harmful misunderstanding part. Many systems in society are designed, intentionally, to perpetuate the defeated state that poor people randomly find themselves in.

The manifestations of systematic poverty are not really free will choices of poor people a lot the time, from poor financial investments, poor purchase choices (especially when it comes to dietary choices or purchases for children), poor investment in education. The whole world they inhabit is institutionally configured to perpetuate this, give them no empathy or support.

To a good first order approximation, zero percent of the life situation inhabited by most poor people is “their fault” and most outward seeming bad habits that are lazily easy for us to judge are really things we, society, have pushed onto them, and we should not take the easy way out and think contemptibly towards them.
That is just not true. I bought one and I have a thin laptop which runs OS X and has 32gb of RAM, 1TB SSD and 6 Core i9. Mostly use it for music production and it's genuinely incredible. I can work wherever I am, with a full complement of sample libraries, and never worry about computaion resources. It's a wonder machine.
Here's the thing 'if you have problems with it build your own' is a useless response. Anyone can totally point out issues with a thing without knowing how to fix them (especially if the concept is fundamentally flawed). Expecting people to go out and found a whole standard/business every time they make a blog post about the problems with something is ridiculous.
U.S. Sues Facebook for Housing Bias, Citing Ad and Data Practices
Top Apps Made with Flutter – 17 Stories by Developers and Business Owners
Maybe it was because Alibaba operate a huge payments service network? This would be like PayPal making their own browser and having a load of vulnerabilities in it
While this is a cynical thing to say, unfortunately it's rather true in my experience.

When I was younger I briefly worked for Wells Fargo as part of their mortgage pipeline. It was immediately clear to me that their quality control system was deliberately designed to incentivize employee fraud in favor of getting mortgages sold.
Is Lumi Worth It for Ecommerce Packaging?
Based only on technical merits I agree; Envoy and other API type software/service should probably eat its lunch. At most enterprises though nobody will have heard of Envoy though and I don't know of anyone selling directly to enterprise in this space. However, investing in enterprise infrastructure software is hardly about tech at somme point. The investors must really like Kong's enterprise sales team.
I wonder if there can even be a "repair" program until they have a new generation with a new keyboard out to just offer a replacement with.

FWIW, I had a 2016 that had no issues until a key suddenly fell off. I now have a 2018 i9 that has no issues. I actually prefer this keyboard to the 2012-2015 keyboards but it's a shame about the reliability issues.
Dupe https://news.ycombinator.com/item?id=19512025
I just noticed these on Google maps for a business location.

Is Plus Codes a Google project or just a partnership?
I work in API management and API gateways and related tech (IOT, security, api designt, digital transformation etc)

Kong makes a pretty neat impression in buisness, because it is "enterprise" supported and get recognized now as "others use it, so I can't be bad!"

And kong is miles and miles ahead of IBM, axway, CA and CO.

There is better and newer tech on the way to allow cloud mesh api (hyper) integration. But they are not on the "enterpricey" list (pun intented)
Got one for work, along with an assortment of dongles. Mainly it was the keyboard that caused me to swap for a PC after three weeks. I still look at my coworker's screens with envy.
Who? They aren't some centralized organization of tech people who have meetings to decide things like this
> We went to war on the subject.

This seems historically inaccurate, unless from the perspective of German resistance.

Britain waited on the war to come to them, and the U.S. didn't join until Pearl Harbor.
No doubt!
The problem with this idea of "duplication" is that, in reality, it's never been shown that monopolies are actually highly efficient. Humans just aren't very good at being efficient when they aren't forced to, and competition does that. The places where we do have monopolies that work out OK are where there's heavy government regulation, and even there the results are never as good as an industry where there's highly competitive private industry; it's just that, for some things, having a regulated monopoly is better than the alternative: we see this for utilities, subways, etc. where competition doesn't really make any sense or just isn't feasible (you can't really have 5 different subway lines going between the same 2 points in a dense city).

In reality, humans are frequently lazy, corrupt, incompetent, etc., and so in a market where there's healthy competition, the presence of competition provides a check against these problems, giving consumers an alternative when one player screws up too much. With a monopoly, there is no alternative, and no incentive to do better, unless it's being heavily controlled by the government which has to respond to voters.
Make sure you are eating well, sleeping well, and doing some vigorous exercise 3+ days a week. After that, look into getting 360° reviews set up at work. It was these that really helped me with imposter syndrome. Having anonymous peers let me know where they thought my strengths were and what areas were opportunities for professional growth was really enlightening.

You don't see the sausage being made in others heads. They will have trouble with things you find trivial and vice versa. If there are things you can learn from them, do so. Practice the things you need to work on. Compare your present self to your past self, not as much to your peers. When I started at my current company, I was the slowest person, had the least professional and domain knowledge, and had to majorly catch up. I set aside some time per night or per week to get a little better. Fast forward and it all worked out. I'm still slower, I think, at a lot, but I have a lot to offer too. Note the value you bring.
I agree. But tweets are not editable.
Thats very subjective and I respectfully disagree : ). It was indeed literally created in the order of weeks (not even a full month) and it morphed into a monster quickly and punished users with its many half baked ideas and short-sided design.

http://blogopod.com/image/2014/javascript-comparison-table.p...

The software world could easily go without javascript and be a less toxic, buzzfilled, electron bloated swarm.
While they're is definitely a gap in the physical nature of controlling the two platforms, the fundamentals underlying both pieces of flying equipment are the same, and in most of the ways that really matter, there is no real difference between an MCAS like system on a Cessna vs a 737.

[waits for the multi-engine and fundamentally different airframe crowds to die down]

At the end of the day, strip out every system not at fault, and you have a pilot fighting a machine he isn't aware of the exact details of in terms of how it's response to various control inputs are translated to behavior of the plane.

Any pilot period (and any honest Engineer) should be capable of recognizing the 737 and the MAX 8 are entirely different planes on a fundamental level.

You may have made your comment in sarcasm, but it is kind of an Emperor's New Clothes situation going on for Boeing right now.

When the laypeople can be quickly brought up to speed that something isn't fundamentally the same, yet you (the principal engineering firm) dig in your heels to insist it is, you've committed some grievous breach of public trust.
I've had three work MBP's since the last major redesign and I've had issues with every single one of them. I've never been so frustrated with an Apple product.

I wound up buying an iMac as my new primary personal machine because I'm terrified to shell out the money for one of these disaster MBP's.
There's also a ton of E911 infrastructure already for exactly this problem (USA, your number may vary!). It's not done at the user level and certainly not by a third party.

https://en.wikipedia.org/wiki/Enhanced_9-1-1
W3W doesn't solve that problem in a way that makes any sense. Things like Plus Codes do
Probably is a drive from the BBC itself into a closed DRM platform. Their BBC Sounds app is woeful. License fee payers are treated like complete dirt. Being charged multiple times for the same content. It's about time the BBC just became a subscription service. Older content should just be left on Torrents, and be available for re-sampling. They are absolute cretins.
" I can work wherever I am, with a full complement of sample libraries, and never worry about computaion resources."
so this testifies your position on newest macbooks not being shit how?
Automotive radar is clearly not up to the task of differentiating stopped cars from signs at a range far enough away to brake safely, it's true. In theory if you could fit a narrow beam phased array radar on a car it could do the job but that isn't something at all in the cards. But self driving cars with lidar have enough precision to deal with this problem even if they do cost more.

Rather than showing a problem with level 4 or level 5 automony I'd argue that this, and the psychology of driving, show that level 2 and level 3 are too dangerous since they require constant driver attention without constant driver engagement. We should just abandon the idea of having those autonomy level for cars and go straight to 4 and 5. That's what Waymo and other responsible self-driving development teams are doing and it looks like it'll work.
I do worry that there is opportunity for massive "disruption" for fighter jets in precisely the Clayton Christensen / Innovator's dilemma sense.

The innovation shouldn't be around stealth and maneuverability, but rather production cost/rate and AI automation. It is really hard to train a fighter pilot, this means you have very few of them, and the one with the best jet wins.

In the new world of AI the jets themselves are trivial, it's the AI that matters and the VOLUME you can produce them at. In this case someone like China is way better positioned -- just steal the IP for the physical airframe (or develop one that is just good enough) then innovate on the assembly line and AI aspects.

The AI fighter jet problem feels much easier than the self driving car problem.
buy used 2015 mpb or don't buy macbook at all.
Curl can, easily. Curl is not just a client to get a file and pipe it to other programs, it's a diagnostic tool, and it has all sorts of parameters to help it simmulate all kinds of interaction with a webserver, including the -A parameter to change the user-agent, this is why this 'fix' is so stupid.
I don't think it is all that modern - see the infamous "rid me of this turbulent priest". As for a handbook likely not as it would be what turns a perfect crime to a convictible one.
You are trivialising the problem. Getting reliable data from stereo images is still far from solved, especially in realtime. (Also, the best currently available techniques are likely too computationally expensive to run on the compute that Tesla has put in the car).
Project: https://github.com/google/open-location-code
I don't the specifics of Tesla's radar implementation but what I have seen of the accidents usually seem like a textbook examples of incorrectly implemented clutter filtering. It's not an easy problem to solve in practice (re: cheaply), but known solutions have existed for decades.
S. Korea spycam crimes put hidden camera industry under scrutiny
Chinese Official Threatens Italian Reporter in Rome
They were accused before.

I thought this was old news. Weren't they being accused of showing certain results to a certain demographic because the advertisers got to call the shots on who saw the ads?

This is them getting charged. I think there is a distinction. Now lawyers are involved.
Don't you need a license to be a barber?
What we need is a law to make all advertisements and their targeting criteria publicly listed. It will make finding out about such problems much easier.
I laughed when I read Apple said, “a small amount of users” are having issues with the keyboard.
Is that just Silicon Valley though? I'd wager there are just as many companies out there trying to support a legacy code base or just doing straight up SharePoint work than worrying about the latest and greatest flavour of the month.
Absolutely. I love where I work, and I love my coworkers. I want to make sure that the culture of openness and transparency stays that way. I believe that the best way to do this is to form a union and give the employees formal power in the corporate decision-making process.
I know a few hams will be thinking of the Maidenhead Locator or IARU grid squares

https://en.m.wikipedia.org/wiki/Maidenhead_Locator_System
Microsoft bans April's fools pranks
This is correct. Frogs just aren't that dumb; it's been proven. Humans, on the other hand...
Looking that up I don't think redistributive tax has to be left wing. Top income tax rates were 90%+ under Winston Churchill (Cons) and Eisenhower (Rep).
I think the point is that ringleader.kilt.comedians and since.duplicated.backswing have no relation at all to each other, and don't communicate to the user their spatial relationship. On the other hand, you could infer that 1234 W Something Rd is nearby 1238 W Something Rd.

EDIT: Also, given a set of lat/long coordinates, regardless of the precision, you could infer their spatial relationship as well.
Q: Does it mean your secrets are stored in plain text in the container image?

A: No. It means the secrets are stored as environment variables in the container.

Q: What does the deploy wrapper do?

A: It prompts the developer to input the ansible vault password , decrypts the vault and injects the secrets into the environment.

Generally speaking, I follow the 12-factor approach:

https://12factor.net/
Full data - sure. But to the extent of information you can publish, comparisons could be done in a way that are not misleading. Otherwise, why publish?
I'm not sure how Stoicism wouldn't help someone too poor to go to college. Someone able to fully imbibe stoicism into their life in such a situation could study independently; college is not necessary to learn or to become a scientist.
Curious why you chose C++?
I have the GA speaker version of the podcast player. And navigating, bookmarking and selection is horrible. To the point, I've abandoned it. I do listen to BBC radio streams, but most of this content, if the songs are available from other on-tap on-line services is a waste of a good format. I'd rather more podcasts, and playlists. There isn't much need for the live element. Or having 24hr radio.