skysight-inc/HackerNews huggingface dataset:
> I know multiple people who have interned at Trading companies
> - all making more than $9k a month - working on
> optimizing React rendering for tables. They have
> solutions that are amazing and wonderful because
> they are superior engineers and computer scientists
> than mere mortals like me, but for the problem space
> it seems pretty ridiculous.

This is interesting to me. What companies are you referring to?
Warranty is used to get around first sale rights for trademarks, not copyrights. The argument is the trademark can no longer be used if the goods are "materially different", such as by not having a warranty.
It isn't clear to me that that is what Google does, and installing a keylogger without informing employees is shady, no matter how you dice it. The network makes sense, but people "think outloud" while they revise draft emails. They change their mind on resigning or sending a harsh email. Big difference.
T gauge model railways (1:450)
That is exactly what I am saying. There is nothing inherently wrong about selling sex. It only becomes wrong when a woman (or man, or child) is forced into sex work.
Well, no, not the same Monsanto that did any of that. They spun off their chemical division in 1996. [0]

More philosophically (and despite what SCOTUS has to say about it), companies aren't people; they are run by people. "Monsanto" can't do anything. The people running Monsanto have agency.

And the people who did the things you mention here are dead.

[0] https://www.nytimes.com/1996/10/11/business/monsanto-plans-t...
Related but somewhat off-topic question: Is there an easy to use parallel processing framework for python that also works well on Windows (anaconda)? I keep having issues with lost processes and other more or less random crashes, no matter whether I use joblib or Dask, etc. All I really need is a parallel for or apply.
> How likely is it for the FDA or the equivalent agencies around the globe to authorize the use of open source systems?

Actually they already authorize stuff like Qt.

Computer systems where human lives are put in risk belong to what is called High Integrity Computing.

There are very strict coding standards, where even C looks more like Ada than proper C.

https://ldra.com/medical/

https://www.qt.io/qt-in-medical/

https://www.vectorcast.com/testing-solutions/software-testin...

Source code availability is not an issue, because it is part of the certification process to provide it.

The problem is having the money to pay for a certification, which becomes invalid the moment anything gets changed, namely compiler being used, source code, or if any of the third party dependencies gets updated.
extension Collection {
subscript (safe index: Index) -> Element? {
return indices.contains(index) ? self[index] : nil
}
}

And now you have the choice:

array[i] // traps for invalid indices
array[safe: i] // returns nil for invalid indices
not if they have to pay it to everyone who can link their cancer to a Monsanto/Bayer product
I ended up almost entirely skipping over Flexbox in favor of Grid. I understand a lot of developers transitioned through Flexbox and or still primarily use it, however I'm curious where a Flexbox framework fits into the future given the rapid adoption of Grid that is occuring. It seems clear that Grid is going to overwhelm Flexbox adoption and make it entirely pointless. Why would someone choose to adopt Bulma now?
It's disappointing to have this whole business go inside the driver / dx runtime.

I'm sure the vast majority of it could be done from user code (CPU code & compute shaders) and it would be much more profitable for everyone if they'd expose the couple driver hooks they needed to achieve peek performance.

As it is now, it's super opaque and bundled (do you even know what kind of acceleration structure you're using ?) and seems to be going the exact opposite way that GPU programming has been going (more general & programmable).

Haven't tried it yet, but AMD has gone the open-source library way on this. I sure hope it works out well for them.

(also this seems like a nightmare for the wine people)
I can't be too specific given how few of these there are (lol), but think on the level of Jane Street, Jump Trading, 2 Sigma and 5 Rings.
May I point you to the ACM/IEEE-CS Software Engineering Code of Ethics https://ethics.acm.org/code-of-ethics/software-engineering-c... this was a major thing discussed in my professional ethics corse in college.
Yeah, I took away the same thing. As an example, in the aviation industry something like this would simply not be tolerated. When you are operating a potentially dangerous device, you have to do so with the utmost care. This isn't to say the technician should be punished, but one of the results of this investigation should have been a focus on making technicians aware of how disastrous the consequences could be if they don't respond appropriately to an error.
Berkeley's population has actually been flat or falling for most of the period since 1970. In the 1970 census there were 116,700 people living there. In 2010 there were 112,580. Many of the intervening years were barely above 100k.

This is what happens when you don't build any new housing and median household sizes continue their decades long decline.
Why should this be allowed. First sale doctrine wasn't made because it was technically infeasible to enforce controls on reselling. It was made because we decided as a society that once someone sells something to you, they don't have control over it anymore.

This push to let every company both eat their cake and have it to, when it comes to selling their products but maintaining control over them, is just turning our society into a sort of serfdom again
> I sort of don't care what happens to Monsanto.

And yet you comment on every thread that mentions them :)
> I don't think it's proven yet that someone was actually harassed.

Not yet. That's why it's going to court. Are you against being able to take things to court and have a jury decide if the law was broken? If you're against that then you're against a cornerstone of a free society.
Basically, yeah.

And maybe it should be country-smart too. An HTTPS cert originating from China and being used for a Chinese service is green, but as the internet balkanizes we may want to be a little smarter. Not sure on that though.
I don't think you can say the lethal bugs were all in the frontend code. First, machines of that age didn't have as clear of a distinction between front and backend. Second, any good back end has bulletproof safeguards against bad frontend input. It makes more design sense to safeguard the backend against spamming input than the frontend, because the frontend is more likely to require redesign, and multiple frontends can interact with the same backend.

More than anything else, this accident shows the importance of fuzz testing your critical logic, the importance of hardware interlocks, and the importance of multiple independent layers of interlocks.
"On January 11, 2016, Hetzner blocked the St. Petersburg site of Novaya Gazeta, the leading oppositional, non-governmental newspaper in Russia. The newspaper marked the act as political censorship without any legal procedure."

https://en.wikipedia.org/wiki/Hetzner#Incidents
It's less about getting away from Microsoft and more about getting closer to Google: https://techcrunch.com/2017/10/09/gitlab-raises-20m-series-c...

While other commenters have criticized the "hidden truth" angle of this comment, I'd like to point out that some insiders may have foreseen GitHub aligning with MS a little earlier.

I had a hunch, way before Microsoft announced the acquisition, that if GitHub was ever sold it would be to MS, as it aligns with their outreach to open source developers. At the same time, they were quite active on, and happy to endorse GitHub, which is a kind of cross-promotion large corporations only do when they're stakeholders of the smaller company (or at least have some contract defining the terms and legal consequences related to this PR activity)
I'm not actually arguing about the whole point. But the argument itself might get your idea discarded even before getting tried on its merits. Think of it as of Bayes of ideas.
This is common, I've had multiple claims of this nature myself, including from Vorys. But bringing a lawsuit is expensive.

Here's somebody suing over similar claims from tp-link https://www.courtlistener.com/docket/6846972/starke-v-tp-lin...

I've dealt with tp-link myself and they are extremely abusive, they ignored anything I sent them including a letter from a lawyer, and filed dozens of false complaints against me. I hope they lose that case and have to pay a large judgement.
Background music is much too loud in the introductory video. Makes it difficult to hear the presenter.
TL/DR summary.

- Everyone walks around thinking they are right

- author digresses on how everything from his younger days was “wrong”

- We cannot all possibly be right

- we approximate

- Scientific ideas that we thought were true have now been proven wrong. Hence we are most likely “wrong” in our views

- To ensure you are “less wrong” seek out conflicting views, multiple perspectives

- you only truly understand a conflicting view if you can convince others you believe it

Now to get a bit meta, I will analyse why the view above could be interpreted as being more wrong then right.

What the post describes is actually a symptom, and not the cause. What is being described can be explained by a few axioms:

- we socially construct our reality

- we have an inherent need to make sense of the world, to understand

given the above

we reinterpret the past based on our current knowledge and judge something as wrong based on the present.

Another simpler way to put this, is you can never know you are wrong/right in the present.

Only once you have done something can you evaluate if it is right/wrong.

It is like the halting problem, for anything of some complexity we cannot know if we have the right answer also have a look at P versus NP.

Agree? Disagree? Thoughts? Let me know
Bulma is great. But it occupies an awkward position sandwiched between Bootstrap and CSS grid.

If you only need to support modern browsers, grid is the most attractive and powerful option. And if you need to support old IE, you probably need a pre-flexbox solution. So the use case for Bulma is a bit limited these days. Or at least that's the conclusion I reached when pondering using it.
Anyone noticed any performance changes?

Anyone from Gitlab have any data to share? I had a look at https://monitor.gitlab.net/d/000000003/fleet-overview?refres... but don't know what I am looking at :-)

General browsing around feels snappier than it did before. I just tried importing some new repos from Github and it was fast (like 2 or 3 seconds for tiny repos, under 10s for larger ones). During the aftermath of the Github acquisition repo imports were taking days, but that was probably because of the load I guess.

Would be good to back this up wit some data :-)
You mean the same government that is currently controlled by corporations and doing everything it can to maximize corporate profits? Yeah, good luck with that.
I don't know if you ever worked in large companies that outsource critical pieces of their company to contractors.
I have routinely seen contracting companies who were ostensibly there to provide service X, but in practice they were there to make the management think that they were making all the right choices
I adopted Bulma, but not for the flexbox aspect. It's nice to use Bulma's CSS components, easy to tweak via SASS and in general a much more pleasurable experience for me compared to Bootstrap.

I think a lot of the components in Bulma use Flexbox, but I consider this an implantation detail I don't care about.
One thing you can try to do with very hard problems with very sparse rewards is to suppose a slope of incremental rewards which lead toward the goal. Then you don't have to figure out how to get to the goal. You can just collect the rewards on the slope. Figuring out how to take the next step is much easier to do than figuring out the full path. So its a much more tractable problem. It does require treating problem-specific advice as if it were true, since that lets you infer a gradient you haven't figured out for yourself.

Another approach that can be taken when dealing with hard problems is to start with the easiest possible version of that problem and solve that problem. Then to complicate it ever so slightly and solve that problem. Through doing this repeatedly you can move along a path of increasing understanding related to the problem you are solving. Upon reaching the most complicated problem which you struggled with previously, the problem is now an incremental addition of complexity to a problem you already know how to solve, rather than a problem which you don't know how to solve. This reduces the amount which needs to be learned to make a successful step. Which makes the problem of taking that step much easier.
Firmware for OSVR HDK microcontroller finally Open Sourced
> cannot allow downloads of free software from your website (like Oracle JRE)

The Oracle JRE contains strong cryptography which is illegal to export to certain sanctioned countries. It being free doesn't change anything about that. That one is actually legitimate.
By tech, I presume you mean programmable devices. I mean, everything in your life is from some sort of technology!

In my part of the world, wild blue berries and huckle berries are in season. Go find some woods and seek them out.

Try camping! Or volunteering at a farm.

Build a book case with them. Or a loft bed. Or something simpler like a bird house.
Mostly Namecheap for domains, digitalocean for virtual servers, and cloudflare for DNS/Caching
Software is honestly cheaper and easier to test, other kinds of engineering tests run far more expensive in time and materials, and simulations aren't perfect and can't replicate all real world conditions.

Definitely agree on the explicitly bad choices though, and since software's impact is often very subtle it might really be impossible to gauge exactly how bad some of those choices end up being.
Grid is not meant to replace Flexbox. I like to think of Grid as CSS’s 2D layout system, while Flexbox is its 1D layout system.

I do agree that it seems pointless to adopt a Flexbox based framework to do what is more clearly expressed in Grid. (People often like using frameworks for the pre-styled components, so that may be one factor...)
I use both extensively, how have you completely replaced flexbox with grid? From my perspective they serve different purposes where grid works well at page layout and flexbox makes smaller section layouts easier (esp. rows)
> He’s s still evaluating bottom-line costs.

Four days to assemble, how many days did it take to build, in China?

What about the energy loss in transport? How much carbon was generated by this project versus if it had been built with modernist techniques. More interesting if had been been built with pre 20th century techniques.

Watch the Amish build a complex barn in ten hours https://sploid.gizmodo.com/watch-the-amish-build-an-entire-b...
My only financial stake is the $2k in reservations currently in Tesla’s bank account. I’m a raving fan, but skeptical that corporate CEOs are going to divulge the true financial state of their companies. What data exists to refute my hypothesis?
Kudos on your Wikipedia research, but I don't think this has anything to do with my comment.
Road trip!

Watch waves at the ocean.

Look up at a really tall tree.

Hike up a steep mountain ridge.
Well I mean you can use only the CSS/SASS part of Bootstrap if you want :)

Having said that I'm not totally a fan of Bootstrap v4 (over v3) so I might give Bulma a chance.
Yeah, but I do have data to back up the fallacy of the perfect C programmer that writes secure C code.

https://www.cvedetails.com/vulnerability-list/opmemc-1/memor...

Apparently reviewing code before merging into mainline isn't of much help, but lets keep this myth of secure C code alive.

Σ (Logic errors in safe language) < Σ(Logic errors in C + Memory Corruption in C)
There's an organization trying to fight back against these kinds of abusive companies. See https://aftaus.com/afta-goes-to-dc-guest-blog-post-by-afta-i... and http://mattcolvin.com/fighting-back-against-bogus-claims-wit...

I'm sure they'd accept help from the EFF if it was offered.
> Because a divisor cannot exist unless it is a multiplicative inverse. Therefore 0 is not a divisor.

So there are two separate issues here. One is whether we can extend the definition of the "/" operator, and the other is whether we call it "division".

I'm not interested in what we call it. I'm interested in the claim that extending "/" will break the field.

The dichotomy you're talking about is wrong. The two options are not "multiplicative inverse" and "does not interact with anything". "1/0 = 0" interacts with plenty! If I make a system where it's an axiom, I can calculate things like "1/0 + 5" or "sqrt(1/0)" or "7/0 + x = 7". I can't use it to cancel out a 0, but I can do a lot with it.

> It boggles my mind that there are people in this thread still fighting an idea in earnest which has been settled for over a century.

Remember, the question is not "should this be an axiom in 'normal' math?", the question is "does this actually conflict with the axioms of a field?"

> You can't just add another axiom to a field and call it a field.

Yes you can. There is an entire hierarchy of algebraic structures. Adding non-conflicting axioms to an X does not make it stop being an X.
I am personally more concerned with software engineers and network engineers aiding and abetting the imprisonment, torture and execution of people by repressive regimes, by enabling surveillance technology and fucking with internet traffic analysis. Way more people are going to be hurt in the near term by that than by therac-25 type mistakes.

For example if you're a Chinese network engineer, and you can avoid it, don't take a job setting up tracking and database of Uyghur people. That is an ethical issue just as important as the therac-25 type problem.
Child sexual abuse case reignites data retention debate in Germany
Financial Lifestyle Startup
I have an idea for a startup and would love some feedback!

I plan to start a company that focuses on these four ideals:
1. Reducing/Managing Debt

2. Increasing Savings (at least the 10% of income recommended by experts)

3. Income Growth

4. Investing

At a very small fee (think, $10/month or so), the service my company provides allows you, as the customer, to essentially outsource having to tackle the above four necessities to achieve financial freedom.

Of course everyone's situation is different. We would do a routine financial health checkup for every new client, devise a strategy tailor-made for you, and then seek to optimize as many (if not all) of the above ideals for you with very little effort on your part.

What're your thoughts on this idea? For you personally, what service in particular do you feel would be of great benefit to your financial health, whether planning for a short term goal, long term retirement, not having to deal with the headache of financial matters (which is a leading cause of divorce and other societal issues), etc.?

I am open to any and all suggestions or criticisms.
> The languages that provide memory safety also incur GC pauses

This is incorrect, you can have memory safety without a gc. An example is Ada, and more recently Rust.
Cathode is a fully customizable terminal app inspired by classic computers
It's a huge case of Stockholm Syndrome, end users have been conditioned over years to accept these things as normal and have become engaged in an abusive relationship with their captors who will withhold the little help they are prepared to give if the users dare to complain.

No other industry has ever gotten away with this. But with 'software eating the world' change is just around the corner, the first software bug that will kill a few thousand people will be a very rude wake up call that something needs to be done.

The only industry that really gets it is aviation, medical tries hard but is still a mess, with the exception of devices, in general those are engineered reasonably well.

In a way all these SaaS products are setting the stage for some real liability, after all, if the end user doesn't have even a modicum of control over what happens with their data then the other party should assume liability, even if they try real hard to disclaim that.

Open source might get exempted, if not then I suspect that a lot of open source projects will fold.
> We have skin and other barriers that protect the cells.

This disregards the fact that Roundup can easily be inhaled or absorbed through food consumption or through skin-to-mouth contact.

It's literally sprayed. And when it's on food, it can easily be consumed.
Did any of the people in decision making positions today work under the old guard? That might suggest a corporate culture that's been perpetuated.
>Watch the Amish build a complex barn in ten hours

But that's made out of wood!

>Four days to assemble, how many days did it take to build, in China?

Depends if they were shipping complete panels with infill, hollow panels, or just precut frame parts, but in all cases it should still be economical to bring stuff across the pacific.
* a persecution of all people poor

This difference is important because, while Democrats express plenty of concern for racial issues, “there's just very little reason for politicians to care about an issue that both parties largely agree on”. In this case, the issue being sidestepped is economic inequality, and by misidentifying this, you’re hurting the brown people who you’re trying to help.

To be clear, the result of misidentifying the problem is the persistent evidence of racial disparities, despite so much apparent effort to address it, because brown people in America have always been at an economic disadvantage (see slavery, Jim Crow). They weren’t just made this way because of an uptick in racial discrimination. Rather, they are staying this way because of a drop in economic mobility at the hands of “both parties”. Of course there is simply far more evidence to the latter than the former, so we should take note.

Of course, the wider issue is social mobility, which is contingent on economic mobility. Scapegoating the economic part is a dirty game and ultimately a losing proposition.
Almost certainly intentional. Caplan is very close to the rationalist community, and rationalists quickly embraced his idea of the ITT - and occasionally ran public ones:

http://www.patheos.com/blogs/unequallyyoked/ideological-turi...
In general, companies can be extremely abusive if they don't want their stuff being sold online. I know multiple people who have bought directly from companies, and later had the company claim to Amazon that they were infringing IP. The listing goes down, sometimes the entire account as well, till you send in invoices and convince Amazon to accept them and reinstate the listing, which takes time.
Is it possible that neither chemical is toxic alone but when used together they are?
Dear green team: Could we please have less tutorials and more documentation?
I don't disagree with you, but there's a LOT of people in Canada calling themselves software engineers or network engineers who don't have a degree qualified to wear the iron ring.
> As a company you just disclaim liability in your terms of service.

Judges might disagree.

> Jurisdictions that try and override this, simply get excluded from the customer base.

Until the customer base is the EU or the US.

> The market is still the ultimate decider for quality; if you build a crappy product, expect to get innovated out.

The market has utterly failed to decide for quality, the market is mostly interested in price and marketing power, quality has never been a very large factor, though in a mature market it might allow some manufacturers to charge a premium for their products.
I've never seen this before, this is really interesting. Thank you for the link!