lapinot

29 ms·

301.
by lapinot 5y ago
From experience, Free's ADSL+4G aggregation is stupid. The router needs ADSL to be up all the time and aggregation is unpredictable and opaque. Being the carrier for both ADSL and 4G would've enabled them to do multi-path magic an
302.
by lapinot 5y ago
https://sequoia-pgp.org/
303.
by lapinot 5y ago
I'd bet a lot that non-video-streaming web browsing is a tiny bit of "tech carbon consumption". What's consuming most is probably big DCs doing various backend compute stuff and high-speed/high-bandwidth streaming (
304.
by lapinot 5y ago
> a work stop was all of not opening laptops for 35-40% of the country Strikes are social events, you don't do it alone. There's usually a minority of agitators/organizers that are respected/trusted among workers and
305.
by lapinot 5y ago
Stuff like gocryptfs seem to push FUSE to quite high performance. There is still some latency but streaming read/write seem to go fast.
306.
by lapinot 5y ago
> It is incredibly common in mathematics to silently "convert" objects between different types. [..] silently identifying isomorphic objects Would you agree that correct instances of this pattern are exactly cases of considerin
307.
by lapinot 5y ago
:) i don't know about that theorem, don't remember having seen. Now i'm reading stuff about Brouwer! Since it seems to be about topology so i'd guess homotopy type theory folks would have written something about it. edit
308.
by lapinot 5y ago
> It turns out most people don’t want to work in foundations, and want to think of 1 and 2 as non-sets Which is to say most mathematicians prefer type theory to set theory :). Perhaps we should stop saying "maths is usually done in
309.
by lapinot 5y ago
Do you mean gitlab? :)
310.
by lapinot 5y ago
Related: https://sr.ht/~cadence/tube/ A reimplementation of the invidious api based on a youtube-dl backend, together with a js-light frontend. I'm working on something similar, but leveraging youtube-dl to a
311.
by lapinot 5y ago
Bad unions are bad and the sky is blue. It should be pretty self-explanatory that nobody is gonna defend unions which "screw over the workplace", it's a straw-man. But some people still defend unions.. so, a more honest quest
312.
by lapinot 5y ago
I'm not well-versed enough into "modern" web stack to troubleshoot, but there is something wrong with the scrolling on their website. Doesn't inspire much confidence into web audio. I'm not entirely sure why browser
313.
by lapinot 5y ago
Is it me or this website is unusable with slightly restrictive javascript policies? My fans start screaming, i'm getting disfunctional menus at the bottom and a scroller at the top. I deactivated decentraleyes and umatrix, only thing i
314.
by lapinot 5y ago
This kind of typing is quite cool, but i didn't found it so well explained. The general pattern is to type programs not only with a type, but also with some "quantity", that quantity putting constraints on what is inside. Usi
315.
by lapinot 5y ago
Is it? I didn't understand that. It's just a random tutorial on using a proxy for a specific domain.
316.
by lapinot 5y ago
ISP rarely do anything else than DNS censoring (censoring by ip blackholing is for really grave stuff). Also i don't understand why you'd be "better off" using encrypted connection to a 3rd party DNS which can still lie
317.
by lapinot 5y ago
Obviously another solution on linux is to install a local recursive DNS resolver and be done with it... I'm quite happy with knot-resolver (kresd).
318.
by lapinot 5y ago
Thing is, you don't need to actually convert if you want to pay, you can actually use the shares as a currency, a vehicule for value. Just like contemporary art. Not being spit dollars out is a problem for buying food, much less for ma
319.
by lapinot 5y ago
Respectful disagree, i believe you are factually wrong. Wikipedia already lists 2 paxos variants that have byzantine security. Not sure about their implementation, but in production there is also SCP, which is used for real-money transactio
320.
by lapinot 5y ago
Taking away the money part you'll probably want to replace "distributed chained ledger" with "distributed database" or "state-machine replication". There's actually a nice academic literature on this
321.
by lapinot 5y ago
What's your opinion on recent sequoia implementation? I've heard your arguments numerous times and was quite convinced, but that project and their offsprings (openpgp-ca, hagrid, ..) and other stuff like wkd seem to drag the ecosy
322.
by lapinot 5y ago
How would you reduce wealth inequality without directly or indirectly limiting the maximum amount of wealth? I believe the citation of Picketty is appropriate given that. I believe that the main solution is indeed limiting indirectly, but t
323.
by lapinot 5y ago
Yes, i too believe you are wrong and want to express it without substance.
324.
by lapinot 5y ago
forgot to answer about jobs: Jobs don't need to be "created". Either there's stuff to do for people to live correctly or there isn't. If there is, try to find people who'd like to do it. If nobody wants, either
325.
by lapinot 5y ago
> This is a terrible idea put forward by people with no grasp of either economics or history. Thanks for the compliment. I guess you must know better than Picketty (he doesn't exactly say what i said, but does promote very aggress
326.
by lapinot 5y ago
I think any wealth (not income!) over something like 1M should be confiscated. :) There's no reason to have that much money and there's no way you personally have generated that wealth, most likely you just invested money early en
327.
by lapinot 5y ago
> > What is closed source anyway? > This is asked as if there is no correct answer, but there is. > Open Source software is software where the source is made available under an OSI-approved Open Source licence. Closed source sof
328.
by lapinot 5y ago
Looking at java, rust or assembly i find this argument hard to swallow ;) It's really worth it to learn some sequent calculus basics to be able to read typing rules. Its mostly the same thing as a grammar, or a weird inductive type (&q
329.
by lapinot 5y ago
my personal favorite https://freesound.org/people/sirplus/sounds/90644/
330.
by lapinot 5y ago
Bullshit restructurations, as always. How is it even possible to "dismantle the research group" behind one of the current top notch applied os research project? The thing is already working and still promising. People with no scie

More ›