mmalone

23 ms·

151.
by mmalone 9y ago
I'm with you on this. I've never thought of JWTs as a session storage mechanism; rather, I've always thought of them as a simpler (JSON-based) alternative to technologies like X.509 attribute certificates and SAML assertions.
152.
by mmalone 9y ago
This. There are three (and arguably only three) common programming paradigms: imperative programming, functional programming, and logic programming with lineages back to Turing machines, lambda calculus, and formal logic / proof search
153.
by mmalone 9y ago
I'm curious... is it really true that an inconsistency would invalidate all proofs? Wouldn't this only affect non-constructive proofs (i.e., proofs that rely on the law of the excluded middle)? According to Wikipedia intuitionists
154.
by mmalone 10y ago
> especially in the context of the space industry generally. You mean the industry that landed a man on the moon inside of ten years?
155.
by mmalone 10y ago
You don't need to send a live person to ensure the survival of the species. I agree, it's not about that.
156.
by mmalone 10y ago
I actually agree, for the most part. I'm not advocating for Haskell or any of the other languages I mentioned, per se. I've spent time with lots of languages and there are things I like and don't like about all of them. If yo
157.
by mmalone 10y ago
I'm still pretty new to Haskell, but I think there are several ways. The equivalent to your addone3 would be some sort of Template Haskell incantation. Template Haskell gives you lisp-style hygienic macros that are expanded and type ch
158.
by mmalone 10y ago
Pownce, represent.
159.
by mmalone 10y ago
It's also interesting how infrequently this is actually enforced by employers. Outside of extreme cases (like the current waymo/uber litigation) I've never heard of it being enforced -- even when it's pretty obvious that
160.
by mmalone 10y ago
Yes, patent reform is needed. I do what I can to support that effort. In the meantime I have a business to run and I need to work within the existing legal framework to keep it protected. Access to patents for defensive purposes / pate
161.
by mmalone 10y ago
I agree. Unfortunately, the US patent system doesn't.
162.
by mmalone 10y ago
It's complicated. FWIW, if I was the CEO I probably would have fought.
163.
by mmalone 10y ago
I'm not as interested in the part about indemnifying use of open source software. It's not worthless though: Google did something similar for Android developers when Oracle started suing (which is a much more recent example than S
164.
by mmalone 10y ago
Upon closer inspection it appears that you are correct. I interpreted "raised" as "extorted." That still may be the case (the cited source is a dead link) but I think you are right... particularly since some of the names
165.
by mmalone 10y ago
Ha. I'm sure you're SOL if that's the case.
166.
by mmalone 10y ago
Subsection 4.17a$19 in terms: we reserve the right to not license you any patent if you do that thing you just described. Seriously though, hopefully there's some mechanism covering this sort of abuse. Even if there's not, if I we
167.
by mmalone 10y ago
I did too until I realized that the alternative had a high probability of ending in bankruptcy resulting in loss of employment for two dozen employees. I'm fine taking a moral stand when I'm the only one who stands to lose. It&#x2
168.
by mmalone 10y ago
The point wasn't to establish IP credibility, it was to establish myself as "not a shill for Microsoft." Every F100 company has done bad things with patents. How's this: I've been a student of patent law since the l
169.
by mmalone 10y ago
Obviously, but yours was also an unfair characterization. I maintain that this is a good idea and that other companies (Google and Amazon) should follow suit regardless of Microsoft's behavior around patent litigation. If it does turn
170.
by mmalone 10y ago
Ok, it was started by a former MS exec and funded by Gates... that's shitty, but Microsoft has lots of former employees and I'm sure Gates invests in lots of things. For all we know it was a family office investment that he wasn&#
171.
by mmalone 10y ago
Wow, way to blame the victim. The first two times the decision was made above my head. The third time I was in the C-suite and it was a joint decision. I had a heart-to-heart with our lawyers because I _did not_ want to settle. Our head IP
172.
by mmalone 10y ago
Or... like how insurance companies offer insurance if the mob burns your house down and will prosecute the culprits on your behalf.
173.
by mmalone 10y ago
They can push for reform _and_ provide legal protection like this. They're not mutually exclusive. I'm assuming by IV you mean Intellectual Ventures..? Are they tied to Microsoft? I thought they had _sued_ Microsoft..?
174.
by mmalone 10y ago
I feel like I'm starting to sound like a shill in this thread... I don't work for MS, don't use Azure, and am generally considered an "Apple fan boy." So, with those bona fides out of the way... I disagree. The real
175.
by mmalone 10y ago
That may have been true in the past but, as far as I know, Microsoft hasn't been that way for years. Every large tech company has a patent portfolio. Hell, Google bought Motorola to get their patent portfolio to use defensively in suit
176.
by mmalone 10y ago
In my experience there's definitely value here. Companies get sued on the regular for bullshit like this. I've had to deal with three patent suits at startups. They were all bullshit, and they all ended in settlements of ~$10,000
177.
by mmalone 10y ago
I'm not a lawyer, but I have dealt with patents a fair amount... so here's a quick ELI5... 1. Uncapped indemnification: this one is pretty simple. If you're sued for using some tech that powers Azure, Microsoft will cover any
178.
by mmalone 10y ago
Linux doesn't scale down very well though. I really don't need the full Linux API for a lightbulb. Most embedded OSs are microkernels for this reason. If any mega-trend has a chance of unseating Linux and generally disrupting the
179.
by mmalone 10y ago
The article is light on details, but based on the way they talked about it ("impossible to hack in principle") it's likely that they actually can _prove_ that it's more secure than a Linux distro dedicated to security in
180.
by mmalone 10y ago
There was talk recently about how "a lot of Macedonian teenagers" were creating clickbait fake news sites to make a dime on Facebook. They figured out the formula that excited a certain cohort into lots of shares & clicks and

More ›