chalst

47 ms·

481.
by chalst 5y ago
Some of the core ideas of SICL have been written up in a digestible form in a 2019 paper, 'Bootstrapping Common Lisp using Common Lisp' https://hal.archives-ouvertes.fr/hal-02417646/document
482.
by chalst 5y ago
I have a very underpowered Macos machine (2010 Mac mini) which faces latency problems with most things. Except Emacs. E.g., Eshell is much snappier for issuing shell commands than bash on iTerm2.
483.
by chalst 5y ago
Orwell wrote that review at pretty much the same time as the Bretton Woods system of international monetary exchange was implemented, which the largest single piece of the Keynesian economic foundations for 25 years of economic growth with
484.
by chalst 5y ago
I can well imagine Zulip failing for FOSS for as stupid a reason as users finding juggling user accounts tiresome, but the Zulip codebase offers servers plenty of flexibility in authentication options. https://fmcthanos.zulip.com
485.
by chalst 5y ago
> But scientists generally prefer not to share. Data, after all, is a kind of currency: it helps generate findings, which lead to jobs, money, and professional recognition. Researchers are loath to simply give away a commodity they worke
486.
by chalst 5y ago
I hope someone rolls by and answers: I am at the stage of following enough to be interested in the concept of integrating all the parts of a DOM engine with a proper GPU-friendly compositor in a modular way, but not at the stage of understa
487.
by chalst 5y ago
If you're going to move from IRC, give Zulip a look. https://news.ycombinator.com/item?id=27149123
488.
by chalst 5y ago
The FAQ entry talks of their being a basic interface: the point is that these two engines have code that realises this interface. Other engines could also provide implementations of this interface. I'd be pleased if a Servo hacker step
489.
by chalst 5y ago
"that"? The account given of the effect of demutualisation in the article I linked to is not controversial. Obviously my claim that the policy of a political party was immoral is, but I know Tories who agree with me about this.
490.
by chalst 5y ago
Wikipedia doesn't make such claims in so-called 'in-wiki voice', since they are contested. Rail privatisation was enormously complex. If you want to see a clear example of Tories using economic liberalisation to achieve polit
491.
by chalst 5y ago
Capability-based security can be done flexibly: look at EROS and E: http://www.erights.org/related.html
492.
by chalst 5y ago
I partly agree. There's a skill and a moral quality internal to moderation, which means that good moderators will exclude the content they judge the community doesn't want without letting this judgement be swayed by their personal
493.
by chalst 5y ago
My experience of road travel in the south was that delays were too frequent for journeys crossing the M25 for me to depend on it. That's from before good consumer traffic analysis apps; maybe those improve things enough.
494.
by chalst 5y ago
Indeed. At the time of privatisation, I commuted to Oxford from a small village that was 20 min train ride away. Privatisation encouraged me to make the switch to the 45 minute cycle ride, which I suppose was good for me. I do remember seei
495.
by chalst 5y ago
Don't expect the people who lined their pockets during privatisation to lose any money. Do expect Tory party donors to do well in whatever actually happens.
496.
by chalst 5y ago
There's no doubt these forces whose interests lie in suppressing content accessible via RSS exist and are powerful. But, despite what you say about Netflix, I don't see that these forces are becoming stronger. It's not just s
497.
by chalst 5y ago
Yes, there was an empirical study done some time back. https://en.wikipedia.org/wiki/The_Time_Machine#Plot
498.
by chalst 5y ago
> FreeBSD has similar stuff and it is also super complicated and basically unused.. Are you talking about Capsicum? It's definitely not unused. Unloved, maybe. There was a Reddit thread where some people talked about the possibility
499.
by chalst 5y ago
Lobbying is primarily aimed at lawmakers.
500.
by chalst 5y ago
> As written, it sounds like the production assistant is separate from the person. Of course you are the best judge of what English usage is ambiguous to you, but your suggestion of introducing a comma there is at odds with the conventio
501.
by chalst 5y ago
> And moreover it's clear from the story that Crick and Watson's fierce nerdiness was integral to their success. I dare say PG's analysis of the psychology of Crick & Watson is correct, but one should not take only Wat
502.
by chalst 5y ago
I have a few disagreements with the MMT crowd, but on this one point they are transparently correct: the exact level of taxation has little relationship to government ability to spend. Talk of "giving more capital" to governments
503.
by chalst 5y ago
It doesn't have a price because it's not for sale. A value investor might say that a company's worth is the net present value of its future revenue, but this formula typically undershoots the market capitalisation of enterpri
504.
Turrets: Smart Contract Protocol for Stellar(tss.stellar.org)
1 points by chalst 5y ago|0 comments
505.
by chalst 5y ago
> Even moreso if variable names are replaced by De Bruijn indices. De Bruijn indices are not simply variable names: they vary dynamically depending where in the term (i.e. under how many binders) they occur, which is why beta reduction i
506.
by chalst 5y ago
I checked, and not only did they sue but they reached a settlement, in Delaware of all places, the state least friendly to these kinds of claims. But the settlement had nothing to do with Yahoo failing to reach an agreement with Microsoft;
507.
by chalst 5y ago
The answer to the puzzle is that the rule about fiduciary duty really is only relevant to who the beneficiaries are of financial transactions; it pretty much does not have anything to say about regular business decisions. No doubt some shar
508.
by chalst 5y ago
Dave Herman has been a high signal-to-noise contributor to Lambda the Ultimate over the years; if you want to get an idea as to where he is coming from, looking at his contributions there [1], his slightly active blog [2], and on his now pr
509.
by chalst 5y ago
The title is somewhat misleading, but if Google do not come up with a compelling reason to use the widely hated AMP, its future sure doesn't look rosy.
510.
by chalst 5y ago
Not having to do this is a good reason to use another search engine than Google's as your default.

More ›