chalst

56 ms·

751.
Turnstile+: Dependent Type Systems as Macros(lambda-the-ultimate.org)
3 points by chalst 7y ago|0 comments
752.
by chalst 7y ago
It's also surprising to see this classed as racketeering. Has IP piracy ever been prosecuted under RICO laws before?
753.
by chalst 7y ago
Reverse engineering is a legal form of IP imitation everywhere.
754.
by chalst 7y ago
Also worth reading John Gruber's complaints, over and above bugs: > But I don’t know a single expert Mac user who is not seriously annoyed by the heavy-handed security design of Catalina. Not one. Every single expert user I know is
755.
by chalst 7y ago
> He had a profound influence on Ludwig Wittgenstein, persuading him to drop the quest for certainty, purity, and sparse metaphysical landscapes in the Tractatus and turn to ordinary language and human practices. Interesting. In the pref
756.
by chalst 7y ago
Good summary. Quibble: O(n + log n) = O(n).
757.
Everything you didn’t know about the Handshake naming system (2018)(hackernoon.com)
2 points by chalst 7y ago|0 comments
758.
by chalst 7y ago
Any recommendations for a Firefox alternative to Crackbook Revival?
759.
by chalst 7y ago
IANAL caveat aside: the GDPR says sites need to ask for consent for cookies that are not needed for site functionality. These sites are not doing that, so they are violating the GDPR, but by providing a warning of what they are doing, I gue
760.
by chalst 7y ago
There are people who know how to construct reliable software, Joe Armstrong having been one. I don't think this knowledge has crystalised into a profession yet.
761.
by chalst 7y ago
Eric Raymond argued for mandating suppliers provide source to firmware; this problem is harder, but somewhat similar. http://esr.ibiblio.org/?p=6860 (from 2015; excuse the grandiose tone, but the idea is interesting) Of cou
762.
by chalst 7y ago
> you can't add any additional information Well you could... map transforming_function (element:rest_of_list) = transforming_function element : map transforming_function rest_of_list ...but the cost in terms of loss of brev
763.
by chalst 7y ago
Upper bounds on per-user bandwidth would work. Implementing this is nontrivial, but it's an essentially easier problem than spam.
764.
by chalst 7y ago
Seymour Papert writes in the introduction Mindstorms about he was fascinated by gears as a child and spent much time playing with them, and what he learnt through play provided a valuable intellectual foundation for learning many elementary
765.
by chalst 7y ago
A lot of the ideas come from Common Lisp.
766.
by chalst 7y ago
Cloudflare took them to court, where the judge invalidated the patent. Blackbird appealed and lost. https://blog.cloudflare.com/winning-the-blackbird-battle/
767.
by chalst 7y ago
> It's literally impossible to write robust programs in it. It's hard, verbose, and littered with snafus, but it is also a solved problem. POSIX and C shell are a source of quoting difficulties. The semantics of Plan9's rc
768.
by chalst 7y ago
While I wouldn't call the Gulenist movement a cult, they certainly engaged in conspiracies. The irony was that their infiltration into the army and civil service was supported by Erdoğan earlier, as a counterweight to the Kemalist esta
769.
by chalst 7y ago
Handling uncertainty is difficult regardless; attaching probabilities to judgements did not ensure the social sciences avoided the replication crisis. I'm not sure what you mean by "low flexibility of interpretation": purely
770.
by chalst 7y ago
Process matters tremendously; it is essential to Wikipedia guarding against spam and bias. To use your hospital analogy, diagnostic quality might be the difference between a hospital that works well, and one that carries our mostly unnecess
771.
by chalst 7y ago
You quoted the key point: "idiomatic C++ code is difficult to use from C": most C++ libraries are useless in C programs. They want the productivity improvement of C++ without leaving behind 2-way compatibility.
772.
Building a CO2 Extraction Device: CO2 Stripper Postmortem Thoughts(lesswrong.com)
2 points by chalst 7y ago|0 comments
773.
by chalst 7y ago
They're certainly less fashionable than they were 20 years ago, and I'd not expect to see them talked about so much in job ads. It's a bit odd, to teach a language through design patterns: design patterns are really best-prac
774.
by chalst 7y ago
I should have checked Wikipedia at least, who link to a 2005 CNET story on the Where 2 acquisition. - https://www.cnet.com/news/google-mapper-take-browsers-to-the... It looks like a talent acquisition: the Where 2 code
775.
by chalst 7y ago
From https://dev.to/liyasthomas/i-created-postwoman-an-online-ope... the author stripped down Chromium for the UI in order to get something much lighter than an Electron app.
776.
by chalst 7y ago
Maps is a clear in-house success. Android and Docs/Drive/Sheets were two acquisitions. Google is certainly a contender in cloud computing services, but they have a market share of 4% in 2018 for a product category they were one of
777.
by chalst 7y ago
Maps counts, I think. But that's going back awhile.
778.
Senior Infosec Staffer Resigns, Says White House on Track to Be Hacked Again(forbes.com)
15 points by chalst 7y ago|0 comments
779.
by chalst 7y ago
At the most charitable, Kripke was not generous in acknowledging influences. http://linguafranca.mirror.theinfo.org/Archive/whose.html
780.
by chalst 7y ago
The Best Exotic Marigold Hotel is not exactly a plausible answer to your question, but it has some relevant wry humour. E.g., the entrepreneur's business plan: "And it is not just for the British, there are many other countries wh

More ›