skysight-inc/HackerNews huggingface dataset:
A lot of us think so. Assuming that uncoordinated market forces and powerful people seeking profit is the best way to care for human happiness comes off as absurd to a lot of people. I’m all for markets most of the time, but some good old fashioned coordination and cooperation seems lacking from bare capitalism. Luckily capitalism doesn’t prevent cooperation, we just need to get it in our heads to actually do it.
This is a course. Not necessarily a good way to an understanding of that line.
All of this smells like a prosecutor wanting a big case hit so he can advance his career.

All cyber-security firms said they never got hits for Kronos or UPAS-Kit.

The first Kronos detections came after his arrest. Go figure that! How do you charge someone for developing malware that never infected anyone?
The argument is that government, at any level, shouldn't be competing with the private sector. It should regulate the market, but shouldn't participate in it, because, on a practical level, it's often not too good at it, but also because it can create perverse incentives. For example, say municipal broadband became ubiquitous and popular enough that the income from it is now an important source of revenue for the authorities in these towns. Then they are incentivised to make things difficult for any commercial rival, even if the commercial offering is cheaper and better. Given how dysfunctional and kleptocratic municipal politics tends to be, almost everywhere, it's hard to say such concerns aren't entirely unfounded.

Of course, there are plenty of decent counter-arguments, and counter-counter-arguments. This is just one of those tensions that exists and is fundamentally irresolvable in any capitalist democracy.
How are they not viable businesses? Even if you remove the legal barriers there is a high cost to starting an ISP with the amount of physical capital that needs to be set up. Its not like its some business where a competitor can spin up on a whim and you're forced to deal with incredible amounts of competition.

Sure the ISPs profit would likely go down, but it wouldn't go to zero. Just like every other capital intensive business on the planet
> the subject of a full lecture

A WHOLE lecture? Wow. I bet you covered all the works of Mises in that time. Thanks for reinforcing my point.

I'm not suggesting that anybody is trying to erase Austrian economics, only that the industrial mills which turn out economics graduates deliberately chose to give it little to no attention as though to shrug it off as "this is what some people used to think, but we don't think this way anymore."

Of course they don't think that way. Keynes gave them the gift that keeps giving. Wouldn't want to throw that away.

You can make a good career following the system, and going over that way will make you an outcast. Wouldn't want to be an outcast, would you?

The earlier point is that Keynesian economics does not apply to Bitcoin, and cannot apply to bitcoin, because nobody holds the keys to tweak the monetary policy.

You are welcome to think that it won't succeed based on this. Be my guest.
You know, I would sell out Net Neutrality in a second if Charter would do what they said they would do, which is build out in New York State. Instead all they do is "fight for the right to not serve customers".
Stripe Atlas is awesome for C corps, which is great if you plan to raise outside capital. If you plan to bootstrap, you're better off creating an LLC in your home state. Atlas only offers LLC's in Delaware.
You may be interested in this paper too https://arxiv.org/abs/1711.10455

I think given a language with AD you already don't need to have a separate language for graph building and my understanding is that's one of the goals for the Julia team and I've seen other nice looking packages for AD in other languages

* https://fluxml.ai/2019/02/07/what-is-differentiable-programm...

* http://diffsharp.github.io/DiffSharp/examples-inversekinemat...

I'm also very excited about being able to design neural nets using ideas from functional programming. I love the Keras API but I don't think it's going to be the obvious API a couple of years down the line.
> Then are we kidding ourselves that capitalism is our best shot at a social system?

No you are kidding yourself if you think America is fair capitalism. It's closer to crony capitalism or welfare for the rich/private businesses
That feature was removed in python 3:

$ python2
>>> def f((a, b)):
... return a + b
...·
>>> f((1, 2))
3

$ python3
>>> def f((a, b)):
File "<stdin>", line 1
def f((a, b)):
^
SyntaxError: invalid syntax
Companies pay a yearly subscription fee for content creation and listing their profile on Key Values. I never charge software engineers and I don't charge companies any placement fees for the engineers they hire through Key Values.

Having a contingency model is definitely the more lucrative path, but I'm against it for two reasons: (1) I'm a dev, not a recruiter, and (2) I think placements fees are part of what's broken in recruiting. The incentives are misaligned among recruiters, candidates, and employers when recruiters only want to place someone just long enough to hit the 90-day mark.
As someone who voted for https://bouldercolorado.gov/connect-boulder/boulder-broadban..., I'm curious what the implications of Colorado's "Prohibitive Referendum Requirements" are?

EDIT: If I'm reading this correctly, then this point is no longer true for CO.

> As of 2018, the state is moving forward with a new bill (HB-1099) that will remove this problem. This bill is expected to pass in the coming months, but is not official at the time of this writing.

https://broadbandnow.com/report/municipal-broadband-roadbloc...
We’ve seen a couple of examples with BI and analytics, I think you can put them into two categories. Prediction and automation.

Prediction simply isn’t good enough. It may work well for google and Facebook, but that’s because failure is relatively harmless in advertising. No one dies just because you see a commercial for something you just bought. The failure rate is simply too high for us in the public sector, maybe that’ll change, but probably not. I say that because we’re severely limiting the access to data these years over privacy concerns. You could probably do some interesting things with medical data, but to get there, you’ll need to look at medical data and that’s just not happening in the current political climate.

Then there is the automation. IBM wanted to sell us Watson analytics on the premise that it could recognise patterns and build the BI models our dedicated team does. So we let them try, and none of the models they came up with was even remotely useful. I can see this changing, but when? And what will our analytics department look like by then? It’s hard to say.
"Punishing abusive employees is not illegal"

Certainly not.

But it's illegal to define abuse in terms of gender or race, though, i.e. the policy is to fire people who are abusing their 'privilege'. An HR busybody could feasibly interpret this to mean "a white person yelled at a black person, which is an abuse of racial privilege, ergo, we're condemning/firing them" - or something along those lines.

My point is that the definition of 'privilege' is going to be arbitrary, probably based on race, gender etc. and therefore illegal.

And it's certainly not illegal to decline an invitation to a conf., but it might be discriminatory to decline an invitation to some conference because they didn't adhere to some kind of ideological version of equality, i.e. 'we're not going to the gaming conf. because most of the speakers are men'.

These are important issues, we need nuance, I think that the chart I referred to lacks such nuance and is to intersectionally heavy handed.

We all want people to get along, but that doesn't mean any policy with that intent will have a positive effect.
Europe is big on protecting your privacy against private entities. But the government is another matter - it's almost as if the presumption is that it's valid for it to hold such data on the flimsiest of reasons, and it only becomes abusive if used for some sinister purpose. The possibility of such abuse in the future is not considered a valid justification to prevent data collection.

Conversely, in US, we place a lot of emphasis on preventing the government from collecting data that it could abuse, but then largely ignore the same issue with private entities.

(Note, I'm not saying that it's universally true in either place, only that it seems to be the majority consensus. There's certainly plenty people vocally dissenting from it.)
This guy fuchs.
Interfaces in TypeScript: What are they and how do we use them
This is too bad, Malwaretech does really good work; his blog is excellent. We've all done stupid things when we were young, myself included.
It may be professional deformation speaking, but they seem to be using "applied category theory" in a coherent and natural sense: they mean the theory of monoidal categories, (a) viewed as a generalization of linear algebra, and (b) omitting logic and programming language semantics as applications.

Given the centrality of linear algebra to applied mathematics (even in places where you wouldn't first expect, like the theory of regular expressions and finite automata), this seems like a perfectly sensible coinage.

(Even though I must admit I get my back up at the omission of categorical proof theory, it's perfectly natural as a sales pitch -- type theorists don't need to be convinced of the utility of category theory!)
Interfering trajectories in experimental quantum-enhanced stochastic simulation
> Being beholden to corporations for our operating systems is antithetical to freedom.

This may be an unpopular statement here but where do you think Linux comes from?

Corporations.

It's Open Source but the vast vast vast majority of funding comes from IBM, Google, etc.
If the majority genuinely want such laws, what's your solution?
They had hits, but they said they never registered US victims. Kronos, in its early days, was apparently seen only in Europe.
I think it's OK to judge in this case given the articles casual sexism and racism, inevitably alongside Godwin's Law.
I'd be open to selling my property management app Apt. (www.aptbykhaki.com)

Built the product but never moved forward with it.
I just found this paper related to that actually

https://arxiv.org/abs/1901.07849

From what I can find out seems like all the companies are using unreal or unity for rendering the graphics though.
That is exactly the category error I am calling out.

In a duck-typed language, type is defined by the willingness of a message receiver to receive that message. Class, inheritance, composition are all means to achieve this, but the type of an object is determined by its signature, not its ancestor chain.
If you buy modern hardware to do modern things, why not also buy a modern keyboard and monitor and cut the 800 out completely? Especially since modern web browsing pretty much requires more pixels and colors than the 800 can produce.
There's also people whose natural tendencies are thoroughly self destructive. For instance, I know a person who doesn't feel like themselves at home. Their favorite moment in the world is when, after speaking at a tech conference and getting praise from random attendees, they get blasted in the after party with something legal or illegal, and have unprotected sex with multiple partners, at least some of which they just met that day, and probably won't remember in the morning. Their quest to feel more like themselves leads them to dozens of trips a year, while their children ask why they have such a demanding job. In practice, they hold their job because they have relations with said CEO, as coworkers know that complaining about their coworker's lack of productivity will lead to termination.

And this is just one example. I have quite a few more of different flavors, all of which involve someone deciding that "being themselves" is all about destructive behavior. They don't lack EQ: In fact, I'd say almost all of them have very high EQs, but they are also either very damaged, or not very good people.
> I have a feeling this guilty plea is not actually a "guilty" plea, and more of "let's get it over with."

On what basis did you form this opinion? Presumably more than just the say-so of the accused.

> This isn't how a legal system is supposed to work. You don't take a guilty plea because you run out of money.

But that's not how it works. You have a right to be represented by an attorney. That's why the state and federal governments maintain a system of talented-if-overworked public defenders.
If someone wants to have a look at the code of a cutting-edge parser combinator framework with focus on features + usability, I'll plug this here (it's in Java)

https://github.com/norswap/autumn4

WIP but 1.0.0 will land somewhere within the next two months, with a full user-guide (half of it is already written and available).

Constructive feedback welcome!
"A sysadmin doesn’t want to automate his job and let the cloud provider manage what they can manage"

There may be some people like that, but I never said that I didn't want to automate my job. I'd rather automate as much as possible. I realize that in order to scale infrastructure, you can't be sitting around manually pressing buttons and running apt-get command to install software.
I watched a little less than the first half of Bartosz video lectures and I still don't see what the fuss is about from the perspective of an engineer that is looking to get better at engineering.

I can't find something there that would help me implement better systems. What I do see is an attempt to shoehorn a mathematical model onto certain programming paradigms in order to be able to say that these paradigms are instances of the model. In short, a lot of talk about abstractions (or "abstract nonsense") but very little of engineering significance. Please let me know if I'm missing something by listing concrete examples of how category theory can help me with engineering problems.

Disclaimer: I'm not a mathematician.
>Puzzle 2: The Lying Legislators

I believe this is the same question as the Blue Eyes one from XKCD [1], though with a more coherent premise.

1. https://xkcd.com/blue_eyes.html
"This is engineering, having something fail is not acceptable."

No. Engineering is not about 'zero failure' at all. It's about characterizing the failure properly.

Have you ever had the pleasure of working on a physical, manufactured product? There is no such thing as a perfect run. There are always defects, there are always failures for any product at scale.

100% of Apple products have a measurable failure rate.

The only Eng. problem where we shoot for 0 failures are a) Space Systems and b) Nuclear tech. Maybe some other things.

But even in Space and Nuclear ... there's still a tolerance!

We launch people into space with some kind of estimate as to the likelihood they will all die.
I very much like my MBP keyboard and touchbar as well. And I know plenty of people that share the sentiment.
Money, votes, influence in local businesses, college admission for their kids, trust funds.

America is more corrupt than one thinks
It doesn't seem like it'd be THAT different than the fold design, but could be done with less extreme bends... would just need a lock when open option.

The main grip could hold the actual battery, and the screen part would only need to be the screen. It could be like a micro tablet.. when used as a phone, it could be collapsed to something reasonable to hold against your head... open for video/chat etc.
Nice, now I can have sole video lectures to accompany my self printed copy of “Seven Sketches in Composability”
I built https://flowcrypt.com solo for the first two years. I would have preferred a partner, but nobody committed.

Today 3+ years later it's a three person team. Maybe in another year I can have reasonable work life balance again. Maybe.
Assange Smeared Seth Rich to Cover Russia
I liked the opening of "The Gods Must Be Crazy", in particular when they say "But he didn't know when to stop."

Here's the part of the script comparing the simple lives of the native bushmen of the Kalahari desert to "civilized man":

These Bushmen have never seen a stone or a rock in their lives.
The hardest things they know are wood and bone.
They live in a gentle world, where nothing is as hard as rock, steel or concrete.

Only miles to the south, there's a vast city.
And here you find civilized man.
Civilized man refused to adapt himself to his environment.
Instead he adapted his environment to suit him.
So he built cities, roads, vehicles, machinery.
And he put up power lines to run his labour-saving devices.

But he didn't know when to stop.

The more he improved his surroundings to make life easier...
...the more complicated he made it.
Now his children are sentenced to years of school, to learn...
...how to survive in this complex and hazardous habitat.
And civilized man, who refused to adapt to his surroundings...
...now finds he has to adapt and re-adapt...
...every hour of the day to his self-created environment.
The iPhone 3G is pretty much the archetype for all modern smartphones, but it's still not a pleasant experience by modern standards.

Contra the "firmware bloat is deliberately making old devices useless" argument, a 3GS on the original firmware is miserably sluggish and laggy. With modern eyes, you become painfully aware of how Apple used animated UI transitions to disguise a fundamentally very slow device. The original iOS 3.0 firmware is also strikingly primitive - at launch, the exciting new feature was copy and paste.

3G connectivity is woefully, miserably slow when you're used to 4G. A 480x320 LCD is visibly pixelated, even when it's only 3.5". It feels like peering through a broken telescope. There's no front-facing camera, the main camera is terrible, the battery life is atrocious even with a new battery, the GPS receiver takes an eternity to get a location fix.

Try one out for ten minutes, try out the cheapest of contemporary Chinese smartphones and I guarantee that you'd prefer to keep the no-name Android phone.
Imagine if you took a mathematical construct and replaced all of the familiar terminology with gensyms. For example:

"A florb is brazzle of carnatious snoggles. A florb is itself a snoggle and so can be a fnizzle of another florb."

This is actually the definition of what is normally called (in English) a SET, under the following mapping of vocabulary:

florb = set

brazzle = collection

carnatious = distinct

snoggle = object

fnizzle = member

Category theory is about extracting the fundamental structure of mathematical definitions so that these kinds of equivalences can be studied with mathematical rigor.
That's simply not correct, kronos was well documented before his arrest.

https://securityintelligence.com/the-father-of-zeus-kronos-m...

https://myonlinesecurity.co.uk/an-employee-has-been-terminat... 2016 post referencing kronos with samples

https://www.virustotal.com/en/file/2ba17c2fbdd4127d7a63951b3... 2014 sample tagged as kronos

https://www.virustotal.com/en/file/3bd4b8caf9ae975bd41dbee1f... another 2014 kronos sample
intent determines if a thing is illegal. If you intend to use that bong for weed it’s pariphinalia and a felony, if you intend to use it for sheesha it’s fine.

if you intend to use that power tool or crowbar to break into a house it’s “possession of burgular tools” and a felony, if you’re a contractor there to install some drywall it’s not.
Neither- I believe you present a false dichotomy. Delivery services entrust drivers with tens of thousands of dollars worth of merchandise. This is a way to improve trust for drivers who might otherwise be untrustworthy.
When I saw the title I suspect that this would be David Spivak, and happily it is, I am also please to learn that he now has a new co-conspirator in the form of Brendan Fong. I first encountered Spivak's work via Category Theory for Scientists [0] which inspired me to try to come up with ways to use it for documenting scientific protocols. My chief complaint at the time was that someone had not already implemented many of the ideas expressed in his work. Despite the usual treatment of category theory as something mystical and opaque, I find Spivak's work to bring such clarity to communicating complex ideas. Those ideas are always going to be complex, but the way we communicate about them does not have to be. From a quick skim Sketches will provide further inspiration.

0. http://math.mit.edu/~dspivak/teaching/sp13/CT4S.pdf
Yeah I fucked around with random internet-accessible systems (late 90s, early 2000s). However, I never wrote malware to steal credentials or the like. That strikes me as fairly targeted.
I kind of got in a shit storm with Sun Microsystems back in the day about this...

One of their servlets had a query parameter like

/servlet/com.sun.projectname.SuperCrazyServlet?url=some_url_encoded_param

and I found out that it accepted file:// URLs.

They had the daemon running as root and I could read everything on the box.

Anyway. I sent them an email to webmaster and to a few PMs I new but heard nothing back.

About a week later I got a REALLY nasty legal as apparently they thought my email was an attempt to extort them and not just a nice guy trying to point out the problem.

I think they thought I downloaded source code ...

The PMs I emailed had to step in and vouch for me but I think that without their help I would have ended up with a really shitty lawsuit.
> regulate the market

Right, when regulation of market is prevented by vested commercial interests, the government (or the community) needs to step in
I absolutely love my touchbar, and would hate to see it go. I know per context where each key I need is.
When I upvote this, I feel like I'm hitting the FB 'like' button and it does nothing really to make it better.
I'm aware of the "lift and shift" mentality that some people have. I know several people who work at another company that decided to just uplift their on-prem VM-based software stack into AWS. It went very poorly.
What about art? I draw and play music, and every moment feels like I'm 5 again then.
Matthew Walker Interview with Peter Attia: Sleep's Impact on Alzheimer
+1 to this advice. Don't incorporate until you're already paying yourself a good salary. The wrong structure can easily cost you thousands per year in taxes and fees.
This isn't an official statement from Google. If you're interested in Android's OS update story (keywords: Project Treble, APEX [0], GenericSystemImages [1]), then the thread [2] has some interesting pointers.

--

[0] https://www.xda-developers.com/android-q-apex-biggest-thing-...

[1] https://developer.android.com/preview/gsi-release-notes

[2] mirror: https://threadreaderapp.com/thread/1119206658423558144.html
Why not set up a Delaware LLC? Makes sense if you're doing business online
No, because those are real things, based on actual classifiable
actions and behaviour.

Micro-aggressions are just made up offenses in the mind of the receiver.
Why the mid-afternoon slump kicks in and how to fight it