mindB

10 ms·

91.
by mindB 7y ago
It's going to be really neat to watch what the Julia package ecosystem comes up with now that they have access to truly composable parallelism at the language level. Up until now, most parallelism in the language had to live at the app
92.
by mindB 7y ago
Realized after submitting that the more useful link might be this one: https://leoeditor.com/preface.html
93.
Leo: IDE, personal information manager, and outliner(leoeditor.com)
2 points by mindB 7y ago|1 comments
94.
by mindB 7y ago
Did you read the article? One of the big issues that some cities are facing is finding real-estate for installing charging stations of sufficient capacity. It specifically cites Philadelphia as having run into this problem.
95.
by mindB 7y ago
If it's the same project I'm thinking of, Janet is actually by the same developer as fennel. Janet was kind of his followup project to fennel.
96.
Collective Code Construction Contract (ZeroMQ)(rfc.zeromq.org)
2 points by mindB 7y ago|1 comments
97.
GNU Parallel to hold parallel parties to celebrate 10 years(savannah.gnu.org)
3 points by mindB 7y ago|0 comments
98.
Open Steno Project: Bringing Stenography to Everyone(openstenoproject.org)
3 points by mindB 8y ago|0 comments
99.
by mindB 8y ago
Oh neat. Is the plan to write a proxy sitting between client and server and decrypting/encrypting all events so any client can be used in e2ee rooms?
100.
by mindB 8y ago
I was the original reporter of linked bug. In fairness to Riot team, it appears to be an upstream bug with their rte: https://github.com/ianstormtaylor/slate/issues/2612
101.
by mindB 8y ago
The server-to-server specification was only formally released on February 5 of this year. Before that, it was certainly necessary to do reverse-engineering of synapse in order to build a HS, but it no longer is. The lack of server implement
102.
by mindB 8y ago
The article devotes significant time toe discussing the effect of minimum wage policy under point 8. He makes a convincing argument that it doesn't explain much of the effect.
103.
by mindB 8y ago
He discusses this point in his conclusion. He was also expecting to find a single, clear factor but didn't. Even if multiple factors causing a single large change is relatively rare, we'd still expect to see it sometimes, and he&#
104.
Not only for technical computing: changing the narrative around Julia(discourse.julialang.org)
6 points by mindB 8y ago|0 comments
105.
by mindB 8y ago
I don't see how a cryptographic WoT system is necessary for that kind of concern. That sounds like more tooling needed around the language's basic packaging system.
106.
by mindB 8y ago
They get published per reviewer as a git repository on e.g. github, which is fine since you're not really supposed to be putting any value whatsoever on joe-random's reviews.
107.
by mindB 8y ago
Could you elaborate on what you mean by this? Were you wanting people to be able to publish proofs that they've reviewed the legal standing of the code as well as the code itself for problems?
108.
by mindB 8y ago
There's some more background and vision for this software in this blog post talking specifically about the Rust ecosystem: https://dpc.pw/cargo-crev-and-rust-2019-fearless-code-reuse It also has some nicer narrative ex
109.
A new concurrency system for Nim (2013)(nim-lang.org)
38 points by mindB 8y ago|0 comments
110.
Crev: dependency vetting with a web of trust(github.com)
190 points by mindB 8y ago|41 comments
111.
Matrix-client.el: A matrix.org client in emacs(github.com)
3 points by mindB 8y ago|0 comments
112.
The Lazy List(mikeinnes.github.io)
4 points by mindB 8y ago|0 comments
113.
by mindB 8y ago
Sounds good to me. Thanks!
114.
by mindB 8y ago
Could you change the title please? The project is called "qutebrowser". No dash and no capitalization.
115.
by mindB 8y ago
What you're describing sounds a lot like the indieweb movement. Worth checking out although they're getting significantly less momentum than activity-pub or any other number of protocol-first social networking projects. https:&#x
116.
by mindB 8y ago
Fair enough. :) I guess my stronger wording is because I don't understand workflows where being able to dump vast quantities of text to the terminal quickly is important. In general, a terminal emulator is for use by a human, and human
117.
by mindB 8y ago
These benchmarks miss the point in my opinion. When I'm choosing a terminal emulator, beyond features, the one "performance" metric that I'm interested in is latency; nothing else really affects my workflow (positively o
118.
by mindB 8y ago
I think you're probably right. The impressive thing here and the competitive advantage is probably the organizational ability and supervisional manpower to make effective use of extra manpower.
119.
by mindB 8y ago
That's interesting that the 40 hour thing came from OR. Will have to look into that. I'm working on my MS in OR right now. I had always just thought that it was based on the undeniable fact that work just kind of sucks after 40 ho
120.
by mindB 8y ago
The way he drives his workers is very different than a common orthodoxy I see around here: He demands 12 hour days, and he gets more efficiency than other contractors; definitely different than the view that there's some optimum level

More ›