lapinot

33 ms·

331.
by lapinot 5y ago
Possession of stolen good is equally punishable as theft..
332.
by lapinot 5y ago
My personal worries about keybase are more about the coin-bs and unwanted features creeping in. There's no way keybase can be a contender to CAs if it has chat and file sync, it just needed to be a barebones toolkit that can be integra
333.
by lapinot 5y ago
This makes so much sense since every identity exists in the context of some authority, some common referential. You're never completely alone as the pgp-classic web of trust implies, instead you're trusting some centrally managed
334.
by lapinot 5y ago
Had an NXT2.0 as kid and my first language was thus labview! Quite fun stuff indeed. If you want more DIY stuff or have old (lego) servos lying around, check out brickpi [0], a rpi hat for driving the lego i2c servos/sensors. Also, alt
335.
by lapinot 6y ago
My guess: general software multiplication is usually costlier than addition: it will pay off if you go for divide-and-conquer and your items are themselves matrices, or if they are arbitrary precision integers, or fractions, or elements of
336.
by lapinot 6y ago
These parts being? I'm gonna need some more details to prove you wrong ;)
337.
by lapinot 6y ago
I do! I understand your position but i believe it's illusory. I would define charity by it's free-willingness and the fact it's done by the people of means towards the more helpless (i believe helping among your peers is self
338.
by lapinot 6y ago
Some is nice, up until the gratuitous references to christian religion. Lots of asceticism and charity, which is very not social by nature. Importantly there is almost nothing on evilness of power structures (how surprising). My personal ta
339.
by lapinot 6y ago
I'm not sure i get what you mean by "hav[ing] to be compiled separately", but as far as i understand, the flambda intermediate representation of the ocaml backend has no (notable) distinction between a functor and a function
340.
by lapinot 6y ago
This. Big part of the most high-performance code (like crypto, linear-algebra or fft kernels) are even generated: you build a program that will generate a program that will get compiled (or is already asm). One can arguably say that the gen
341.
by lapinot 6y ago
See flambda, the recent evolution of the ocaml inliner. https://caml.inria.fr/pub/docs/manual-ocaml/flambda.html https://blog.janestreet.com/flambda/
342.
by lapinot 6y ago
None of the example languages (C,C++,java) have serious type systems (in the sense of mathematically well-behaved and expressive). I'll look at OCaml since that's the one i know best (and it's more low-level/perf-oriente
343.
by lapinot 6y ago
It's obvious that energy sources based on local meteo conditions don't have 24/7 reliability. The question is: how much of that reliability do we need? What would be possible if we did forgo some? Most of our industrial proce
344.
by lapinot 6y ago
I would go even further and say that these prestigious institutions don't need any execs. They are just a pressure tool for corporate interests. There's no shutting down needed, just dismantling their bureaucracy. If there is one
345.
by lapinot 6y ago
There is nothing "trustless". Our world is social by structure, all our actions contribute to various kinds of trust. Blockchains aren't trustless they're just unable to internally express trust relationship: there is al
346.
by lapinot 6y ago
For anyone wondering, there's https://delta.chat/en/ . Discussed here days ago https://news.ycombinator.com/item?id=25893626 .
347.
by lapinot 6y ago
> It's a fundamentally different approach. Is it? (genuinely curious) Can't one see the matrix server-server state synchronization protocol as a transport layer for MAM archives? And pubsub nodes in XMPP are very matrix-room-li
348.
by lapinot 6y ago
> I never really understood why Matrix invented their own thing instead of building on an already existing IETF Internet Protocol. Indeed. For sure XMPP has ugly corners (disclaimer I never implemented anything, mostly read some XEPs). I
349.
by lapinot 6y ago
My 2cts: It would be ok to soft-block huge servers: making them opt-in only, on user-by-user basis. Ie you could follow from/to twitter on some other AP server, but no notification on (unrequested) mention, shared #tag searching, etc.
350.
by lapinot 6y ago
> it had a fairly substantial amount of input lag I use sway since ~2 years and i never experienced such thing. I you can still reproduce you should definitely look into it and email the maintainers, i'm sure it's a bug. Right
351.
by lapinot 6y ago
XMPP anyone? I mean seriously why not? Signal has nothing for itself apart from having advanced the state of the art in chat encryption. XMPP has clients running everywhere (very much decent), lightweight servers you can run on any toaster
352.
by lapinot 6y ago
Right. Disgusting to see these states crushing random corps that try keeping afloat.. oh, or did i mean to say these corps crushing random states that try keeping afloat?
353.
by lapinot 6y ago
Only flacs&opus sir!
354.
by lapinot 6y ago
OTOH if you happen to live in a house with a decent sized garden it's really nice to get chickens. You will treat them with cooking waste (and cereals and ground seashell) and they give you deep orange eggs. Chances are you can save to
355.
by lapinot 6y ago
I have experience with a bit of beer or old leftover sour dough for the same use (slightly thicker and fluffier crêpes).
356.
by lapinot 6y ago
Waw, i'm surprised almonds are more expensive than hazelnuts where you are! I didn't check but i believe that in france hazelnuts are cheaper. What is sure is that the tree is far more common (in personal gardens).
357.
by lapinot 6y ago
Any experience on how well do these kind of ports age? I never had one but i'd suspect it to be fragile.
358.
by lapinot 6y ago
Isn't MIT (publisher of article) supposedly funded by public money (or even if it's not it's probably some kind of non-profit/charity)? This has already been paid for. Imho journalism shouldn't be gated by money sin
359.
by lapinot 6y ago
> It's possible though that not all aspects of security can be addressed by formal methods. Well, one can always devise some well-defined model in which you can prove stuff. So nothing is ever unreachable. > There's the issu
360.
by lapinot 6y ago
Do you realize that you're plain in what Dijkstra criticizes? All you say is being contered in the talk. > [..] way too big to test every possible code path He disregards tests. Most are futile. Maybe automated testing could make so

More ›