skysight-inc/HackerNews huggingface dataset:
> One huge issue with introducing licensing in software engineering is the fact that there are a great many very competent self taught software engineers. This breaks the conventional model of how licensing works with its close coupling to university degree programs.

Uncle Bob argues that this is why we need to start self-policing and create certification structures that take this into account.

If we don't, the next software-related disaster will force governments to set up regulatory structures the only way they know how -- tied to university degrees. They won't understand the value of a self-taught developer.

We do. We should be the ones to create structures in which such people can be officially recognised for their abilities.
Go is primarily a language for programming in the large. It's appropriate for it to make design decisions that reflect that priority.
Sounds like it’s ripe for abuse by bad actors.
About 10ms/sample (including pre-processing inputs, and generating spectrograms) on a current-gen GPU. It's a bit too high for real-time detection (compared to well-known pitch estimation approaches.)
A Google Scholar search for slide rule calculation errors is ... disappointingly sparse.

Cliff Stoll's rememberance is interesting, though doesn't discuss errors:

http://gen.lib.rus.ec/scimag/?q=stoll+When+Slide+Rules+Ruled
Line Simplification with Ramer–Douglas–Peucker
The Growth of Instant Lottery in Portugal
When Slide Rules Ruled (2006)
I was not trying to disparage or praise them. Just being concise.
I came here by way of newsblur, and I haven't had issues with adding a site to it and letting them find the RSS feed.
The full title, which is too long for the HN title field, is "Scratching the surface of a neglected threat: huge growth of instant lottery in Portugal".
The serious point is: why all the software engineering effort for just another e-commerce website, instead of focusing on sales since day 1?
I'd actually be very happy with something like YouTube Premium (formerly known as Red) whereby you pay a monthly subscription to access all of these Dreams games, and a majority of that revenue would be redistributed amongst the creators, e.g. proportional to play time. This would then be quite similar to the current PS Plus and PS Now subscriptions.
Or you can use social skills to talk to your colleagues instead of using Go compiler as some sort of passive-aggressive bludgeon.
We’re working on this actually at mod.io (we are also the creators of ModDB which you may be familiar with). Still early days but momentum is building and we are seeing plenty of experimentation going on. Feel free to AMA as we’ve done and continue to do a ton of research in the space
Carl Sagan described it best in his book The Demon-Haunted World. Reducing people down to a few single bits of information is lazy thinking. It shields the stereotyper from contact with the enourmos variety of individuals, the multiplicity of ways of being human. Even if it discrimination were valid on the average, it is bound to fail in many individual cases.

Profound injustice in favor of averages is not an acceptable social trade off. This is why countries enact general discrimination laws, making it illegal to judge people based on single bits like gender and race.
Flying coronavirus class: American Diamond Princess passengers’ flight from hell
"Maybe, but the fact that a high end commercial microwave is about the same amount of power as my car rolling along at about 30mph(45kph) on a level road would have surprised my intuition initially. I would have pegged a car for MUCH higher power output."

Well, I think most people don't have an intuition for whatever a "high end commercial microwave" is. I would expect a car on a level highway to be using on the order of 10 hp. I'm sure my microwave uses far less.
Creating a Personal Website with Jekyll and GitHub Pages: A Comprehensive Guide
The common and obvious and mentioned answer is transparency.

But I suppose, the root problem in south africa is something else ... the colonial dept and racism (from both sides).
And this is a complicated one to solve.

I suppose you are white and grew up priviliged? Well, imagine growing up black and in poverty and learning, that your original culture was conquered and destroyed and enslaved. And then you are free. But with nothing on your hands and in a system still run by the old slave owners and all the wealth and land still owned by them (all oversimplified).

So naturally there are revenge feelings and wanting compensation.
But how do you make old injustices fair without new injustice? You can't.

Thats why the anc failed to do a good politic and apparently it all dissolved into corruption and missmanagement.
Academic Treason
Building High Performance APIs in Go Using gRPC and Protocol Buffers
I was looking into Solid for a bit, but stopped as my concerns grew, must of which are expressed in other comments.

Recently I've been enamored with the Dat Protocol and the Beaker Browser. I like that it's a peer to peer protocol that uses local data storage. In addition, it makes it almost effortless to publish and scale a web application or site. It doesn't have Solid's strength in access control, but that's not to say that Dat's access control won't evolve. At this time, Dat's access control is very simple, basically share by link.

In addition, I would like to Linux handsets like Pinephone become better and more widely used.
I have faced the same dilemma and don’t have a good solution either. An interesting twist is that people that ask basic questions that can be looked up then “DM” me on slack. My approach has been to ignore such questions; often I legitimately lose track of them anyways, but I don’t like the approach simply because it seems anti social. Then again I am only a human; it’s hard to provide one on one assistance to everyone that asks.
They've built emulators for many, many old computers. The website is clearer than the github page. http://simh.trailing-edge.com/
Like others that have been downvoted to invisibility in this thread I'm a bit upset about the namespace conflicts between the new computer language and the old but highly active game. This "Zen of Go" has to be an intentional overloading of the traditional meaning.
Coronavirus did not originate in Wuhan seafood market, Chinese scientists say
> large scale collaboration

What does golang have to facilitate large scale collaboration that isn't done better in languages such as Java or C#?
"explorer and pushing the limits" Which limits exactly? According to the article he planed to go up to 5000 feet. That's a "rent a Cessna and pay your pilot buddy to take you up" territory.
Why does it have to be the compiler? The thing about unused variables seems quite arbitrary to me. There are also other things the Go compiler doesn't enforce.

Why not pick a tool that's specialized for stuff like that, like a style checker. Put it into the build pipeline and let the build fail if the code doesn't adhere to your standards.
Same. Force closing Safari and reopening it fixed that.
Daily Life with the Offline Laptop
Melilla's been Spanish since 1487... 226 years before Spain ceded control of Gibraltar in the treaty of Utrech in 1713.
Don't all 60 million also pay fuel levies, consumption taxes on alcohol and tobacco, and VAT on purchases?

Your tax base might be wider than you are alluding to.
There's your problem. She wanted to be treated differently.
Abstraction and Reasoning Challenge on Kaggle
> The moment there is business logic I don't want to be writing Go anymore.

What do you prefer for writing business logic type apps then?
And our bodies are full of those. Enzymes are catalysts.
Guide to running Elasticsearch in production
For a little while I used to compile with -Werror but I found it very annoying. I very often want to make a quick test commenting out a function call or doing an early return that would trigger a warning for dead code and prevent me from continuing.

It might be a good idea to add it to your build bot though, this way you can enforce it for commited code. That's a good compromise IMO.
Nice app! Gonna test it sooner or later. Any plan for a Linux or Windows distribution?
In my experience reviewing engineering calculations, I end up doing a lot of work either by hand or in something that recognizes scientific/engineering units like MathCad or SMath and that also displays the equations.

I have marked up 100+ page reports, checking every number, in red pen and doing the math on a handheld calculator, checking the page references for all referred equations.

The best habit I had, from reviewing others' work, is to give my own work the same treatment.

This is the only way I got a long engineering report out in a reasonable amount of time: by catching my own mistakes by actually printing it out and going through it with a fine tooth comb.

It takes time, but not as long as you would think in many cases.

I've seen others just kind of skim a document and read a few words and see the shape of the equations, then sign off on it for non safety parts. Even then, you can easily lose lots of money on simple mistakes.

I've also seen inherited spreadsheets that went through several hands, with magical things added, that the past two people using it never checked.

Some people never learn to really go through and check.
Its a very common way to say "white people pay for everyone", without actually having to say so.

Which is why the 4 million taxpayers typically matches the number of white adults.
Factual quibble: Heron was a Greek living in Alexandria which, even though it was In Egypt, had long fallen to the Hellenistic culture. Egypt was also part of Rome by then.
Not Zen! Go Kant!
Perhaps it was the Air Force's X-37B ( https://en.wikipedia.org/wiki/Boeing_X-37 )or something from the Black Star Program ( https://en.wikipedia.org/wiki/Blackstar_(spacecraft) .

A possible stretch, Black Knight Satellite ( https://en.wikipedia.org/wiki/Black_Knight_satellite_conspir... )
IDK why this keeps coming again and again. I'm sadly in my phone but this is actually false. The client asked for changes mid construction phase so they had to redesign it. S81 and following ones already include this changes.

I'm not able to read your link but it's probably part of this FUD that comes over and over. Navantia and DCNS had a joint venture, but the requirements of the French and Spanish clients diverged so Navantia decided to go its own way. What you can find is that DCNS tried to sue Navantia back in 09, but AFAIK nothing came out of it (at least yet).

Navantia didn't have experience designing submarines from scratch but they have plenty with civil and military ships. The fact that such "laughable" mistake was apparently just made in this project is interesting to say the least.

Not to mention that it's not the first time that Navantia faces accusations without proof.

IMO this looks like DCNS trying to block their competitor, that not only got its new founded expertise in submarines from you but also knows your commercial channels, relationships etc.
If China with a single carrier is considered a blue-water navy ( https://en.wikipedia.org/wiki/Blue-water_navy#China )

I think Spain is up there as well ( https://en.wikipedia.org/wiki/Spanish_ship_Juan_Carlos_I )
Flat Earther dies in homemade rocket crash
Istanbul Sohbet
> a protection that, until now, had to be enforced merely by convention and review.

It is enforced by linters and almost all IDEs. Compare to how how the following golang code drops errors silently, and is not caught by the compiler:

foo, err := getFoo()
err = processFoo(foo)
if err != nil { ... }
I can't find the exact source, but I recall YC/Paul Graham saying that co-founders are the hardest part. Break ups early on are likely. It's so hard that it's probably the biggest factor an investor looks for; it's like how real estate investors look for location. You can change the type of building, but not the location. And you can pivot a startup, but not the founders. Hiring employees is hard, finding co-founders is harder.

My first business was done with a former best friend, the type I'd trust with my life. But these things happen. People have different values or priorities. And some don't commit fully. We had different values - he wanted a Ferrari and I wanted to create high quality jobs. He wanted something to boast about to friends, and I wanted something that wouldn't be a part of my identity.

Eventually met a great co-founder - he was a stranger I bought a book from via Facebook. When I asked him to be my co-founder, that was the second time I met him in person.

It's a lot like dating and marriage. Every mentor I met put it that way. It's a mix of luck and hard work that puts you in a position to be lucky. Some people get lucky early, some never, most never really figure it out. Eventually you just settle for someone who isn't perfect, and a big part of it working is to put in the effort to make it work.

It also only works if you're a giver and find someone who is similar. If you're the type who takes as much as you can (most people in business and elite jobs are), it's going to be really tough. There's just too much gray area, too many prisoner's dilemmas.
Even more, what does Go have better in terms of dev tooling than Java or C#?
Isn't that like not trusting AWS and have your own reliable data center for website hosting?

Edit: Removed cache statement.
yeah unless you have one of those cars that actually tells you the current output, it's pretty hard to estimate. to be even close to correct, you have to know the whole power curve and understand how the throttle is mapped (usually not linear). turbos add another confounding factor.
> Go is primarily a language for programming in the large

Other than the claims they put up on their blogs and presentations, what hard evidence do we have that this is actually the case ? Java and C# are much more suited for "programming in the large" than golang.
> the UK left the EU last month and cannot be considered as an ally for it gibraltar politics anymore...

I'm sorry, but this is fairly laughable - if you had any idea of the relationship between Spain and the UK over the last n decades, you'd know that Spain is the belligerant 'partner' in this relationship and has, for all but about 5 years around the turn of the millennium been apt to abuse the Gibraltar question as a temporary salve for whatever domestic political problem it is distracting its populace from.

It would be simpler to say that Spain is historically a naval power and has a lot of coastline, and leave it at that... .
Intuit to buy Credit Karma for $7B
He should have landed on the other side, it's a lot softer...
Visualizing hidden data relationships: analysing NBA assists
Sabotage should never be discounted. Great point!
Practically any large scale project is going to have linters involved at some point. This seems to be a much better suited task for the linter to catch than to be set at the compiler level, since it severely hinders programming locally.
And this is probably a good reason why they do it this way, they would be stupid not to. Not that I'm happy we end up with this, but business wise it makes way too much sense.
still have to support ie11 but no one cares about 8/9 anymore
Have you been able to verify 1 of 1,000? Or was that only this site, this instance of the error?

I'm ask because, I wonder if Google adjusts that depending on the site? The traffic?? And/or what it thinks it need to know?
If you're doing some sort of analysis, there is only one meaningful way to check it - have another equally capable person do it without looking at your work and see if they get the same answer. If (when) they don't, they can look into why. Maybe people in your experience don't do that for math or code, but it's a clear bright line standard, either you do it, because the task is important to get right or you don't, because it doesn't really matter.

I have seen where too many layers of checklists and verification just make people assume another layer will catch errors and then nobody checks thoroughly.
Billions of people associate "We" with WeChat, while very few outside tech and startup circles even know what WeWork is.
Yes totally agree, the clerks/integrators/chief engineers/etc. handle a lot of data and it is easy to get lost. That is why all the checklists must also contain bounds. Upper and lower limits of the calculated/measured physical quantities in question.
This is awesome! Thank you for the suggestion. I’ve wanted to get into old PCs, Macs, and consoles from the 80’s and 90’s but a lot of these machines have capacitors that need to be replaced lest they leak electrolytes all over the boards. Getting an iron and some kits is a great way to practice before attempting to fix an old computer!
That's not quite right.

Rigor means not hand-waving about things that a skeptic might doubt, not skipping corner cases, etc.

Formal means doing things like a computer -- strictly symbolic analysis that doesn't claim to do the impossible task accurately map back to our informal ideas of what things mean.

Formality is across a chasm -- it's the most accurate kind of math we can do, but it can't be trusted to say that a formal proof about say complex numbers actually applies to what you are thinking about when you day "complex numbers".

As is said, "It is impossible to pass from the informal by purely formal means."

Here's a better explanation:
https://www.quora.com/What-is-difference-between-rigorous-an...
Correct, you are at the mercy that both Wikis are interoperable. But, each of the N actors can have its model and only agree on an abstraction, which the interoperability is based on. Let's assume an application provides a new feature, which deviates from the abstraction model. As an example, that feature could be of a "like" counter. The counter would then only be visible in a subset of application.

Since the underlying data structure is a graph, every application can attach arbitrary information to an node. But the application only retrieves the necessary bits. Furthermore, I think that apps must be able to handle missing bits to some extent.

I hope this is not confusing. If it helps, one could think of Solid to be the GraphQL endpoint, where the clients send queries expressed as SPARQL and only get back the requested bits of information.
You use linters to catch those issues (and more). Any quality project will have linters, CI/CD etc. set up. And it's not like golang obviates the need for linters, if anything, it needs them more than other languages to deal with several issues, including (ironically) accidentally ignoring handling errors.
Looking at this, as an old fart who works in the kernel, I just can't help but wonder:

How is it possible that we have arrived at something this painfully slow? What are we getting from all these zillion resources a page is loading to make it worth the 3-6 second wait?

The static web of the 90s over dialup was faster than this.

I want my 28800 modem, pentium pro running netscape on FreeBSD 2.x, and static pages back. It was faster (with images disabled at least) than today's web with a 1Gb/s symmetric fiber connection, FF/Chrome on a MBP, even with ads blocked.
Lunch is free for all students. But when it wasn't, 75% of NYC students are eligible for free or reduced lunch. Stuyvesant students are better off than the average NYC public school.

The proposed changes would consider class rank in addition to a standardized test. How is that in any way a form of equality of outcome? Is class rank random?
Hi, I wanted to share this as I thought this came out quite well.

I wrote about visualising NBA data with interactive shot, bubble & Sankey charts, with the aim of understanding whether assists matter as a stat. I include code & data in my GitLab repo. Thanks!
Journaling in Vim
aren't the fumes bad for your health and can lead to MS and other nerve related disease?
At my team, we recently established a rule that during Friday you can work on anything work-related you want (e.g. it doesn't have to be something from the actual sprint etc). Similar to the old Google "20% for your projects" kind of a thing.

I expected that lots of useful or interesting things will be made during that time, which is true. But for me, the most beneficial effect is that my enjoyment of my work (which previously wasn't bad - I really liked my work) increased a lot.

So this can be another way how to boost your job enjoyment.
A quant's summary of NeurIPS 2019
I recommend an iterative approach: Plan -> Do -> Evaluate -> Change plan accordingly -> Do...

With limited space you will not have a high yield so planting potatoes etc. will not be that "profitable".

If you like to use herbs for cooking it can be a delight to grow your own.

Maybe you don't cook at all and think about plants which are expensive to buy so you can sell them as a side business.

So to maximize the return on invest you probably want to choose plants that:

1) don't need much space

2) survive the conditions at the location (try several plants and strains and only keep the survivors)

3) have a high-yield and are not consumed that often or in huge amounts (e.g. very hot peppers)

The soil you need and the ability to survive the conditions depends on the plants and their strains. I had some bad experience with "normal" basil and it would die very quickly but then I found some African Basil which has very fleshy leaves and strong trunks it would survive for years without changing the soil.

Some plants can survive more easily when combined with others. Philodendron[0] does not need or want full exposure to sun so putting some peppers in front of it increased it's life-time considerably.

You may want to do some research on the frequency of watering depending on the kind of plants you grow but also look for the condition of the plants while applying a certain amount of water, sun, fertilizer etc.

They won't die instantly if you water them too much or less but you will recognize that their growth rate is inhibited or the leaves and fruits don't get the "right" color or size. You will have to look for these indicators and experiment a little bit until you know the conditions of your place and the needs of your plants and therefor have more success with your growing efforts.

You can take the soil from pretty much everywhere but of course you should not take it from near some factory that may have contaminated it. Just think about the kind of plant and what it's natural soil would be like. Aloe prefer soil with some amount of sand while Philodendron maybe don't like that much of sand.

The soil from a river bed is probably a good choice for Mint, Philodendron etc. but not for Aloe (I assume it may not be dry enough for their taste).

I wish you all the best and hope you can use some of my advice. Happy planting :)

[0]: https://en.wikipedia.org/wiki/Philodendron
Thank you very much. It is on my todo list :). I will add it tomorrow.
Of course you can! You can put any axioms (a claim that a conjecture is true is an axiom) you want in a proof assistant. What you cannot do is not say those things but still rely on them in your proof.