lapinot

9 ms·

61.
by lapinot 3y ago
I completely agree it's a real thing. But couldn't we say the same thing about homo sapiens? Isn't the amount of domestic cats basically tied to the number of humans across history? "The ecological dangers are so critica
62.
by lapinot 3y ago
I completely agree that in terms of nefariousness of industrial facilities, wind turbines are quite ok (in comparison with other energy infrastructure). But since you're talking about what they replace , i can't help but mention
63.
by lapinot 3y ago
It's definitely a genuine concern, at least for some people (let's say degrowth ecologists). (not to say oil companies aren't using these in bad faith too) Usually this argument exist in the framework of explaining how large
64.
by lapinot 3y ago
I'm not convinced by this part too, but it doesn't invalidate the actual argument that these are partly disjoint.
65.
by lapinot 3y ago
> Note that you can today depend on git repos [..] Yes! That's what i'm doing and my whole argumentation is that this should be the encouraged default. Because cargo is already well designed and crates.io (or any custom cargo r
66.
by lapinot 3y ago
I'm not talking about self-hosting, i'm just saying that most people will have their source already on some stable location (typically a hosted forge). I'm not so sure why crates.io should be any different than the typical so
67.
by lapinot 3y ago
This being a gordian knot is exactly why it shouldn't exist (or more precisely it shouldn't be such an important/official/recommended thing). Providing an unified build system and tooling for rust "crates", wit
68.
by lapinot 3y ago
Note that this problem of squatting (like many others security problems) is mostly a consequence of unmanaged repositories where developers publish themselves (like crates.io here, npm, pypi or the various "app stores"). Well-tend
69.
by lapinot 3y ago
For me it's not the same notion. Imho a proof is by "abstract nonsense" when it is a relatively short sequence of seemingly uninteresting steps that end up proving something non-trivial in the end. And you're left wonder
70.
by lapinot 3y ago
Nice one! Very neat.
71.
by lapinot 3y ago
They chose the option that did not imply sharing too much information with discord. The fact that it's hard is mainly because it's not discord's preferred option. So no, it's a perfectly valid choice to make and discord
72.
by lapinot 3y ago
OP doesn't like mastodon for the same reasons [they] didn't like Twitter . That would be mostly: - "It's not really possible to use Twitter without at least a little bit of doomscrolling" - "I think that the c
73.
by lapinot 3y ago
Not the same mechanism but another simple single-motor/continuous-motion walker in lego https://www.youtube.com/watch?v=Nt2DszsjmQM .. The guy has a couple other walkers..
74.
by lapinot 3y ago
Church-encodings are cute but closures take space, more specifically an unbounded amount of it (for the code, unless you defunctionalize it)! Hence it is much more practical to have a primitive notion of inert data that can be inspected a
75.
by lapinot 3y ago
Local unprivileged shell is not an unreasonable thing to get on linux since most people are building random software regularly. Among the things i know i should be doing but i don't: using a dedicated user for building everything; sand
76.
by lapinot 3y ago
Basically afaik the default C API (`Python.h`) is matched to CPython's internal representations, hence it's a pain to support it for alternative implementations and incurs cost penalties. The preferred way to interact with C code
77.
by lapinot 3y ago
It's a nice read, an important topic, that of not trusting blindly formal proofs. No theorem ever applies to real world objects, it can only say facts about ideas. It's good to keep that in mind but at the same time that's al
78.
by lapinot 3y ago
This is a particular teddit instance shutting down, not teddit the software project. Stuff is moving a lot currently and there is a bumpy road ahead, but there are several courses of action already being mapped out (scraping html, r-e the p
79.
by lapinot 3y ago
> It is a dialect, written form is German. Both things are wrong. It's not a dialect in the sense that it is not the same language with special intonation, some new words and new idiomatic sentences. It has its own (much simpler) co
80.
by lapinot 3y ago
It does not, supply chain attack is not that afaik. This is to defend against npm executing arbitrary nefarious code as your user on install of a compromised package. Also sandoxing npm really means sandboxing node running npm (which is js)
81.
by lapinot 3y ago
Ever tried flarum? It's my preferred option in the "modern" forum realm, still pretty lightweight (even degrades gracefully without js).
82.
by lapinot 3y ago
Also if 3) if you have the energy to write and maintain some stateful thingy that manages this dynamic peer information you need to pass around. And while doable, a hack in bash won't cut it if you want reliability and the occasional i
83.
by lapinot 3y ago
I'd be more interested in the reverse, that is compiler and PL techniques applied to machine learning.
84.
by lapinot 3y ago
The important point here was given infinite space .
85.
by lapinot 3y ago
> The beauty of the Web stack is that all of what you are describing is optional. The problem is not that you cannot write lightweight accessible and beautiful websites, you can. The problem is that this is now all part of the "def
86.
by lapinot 3y ago
Nothing you say is wrong per se. But what GP is saying i believe is that most website should not need these features to provide value to users. And indeed most website useful to me are still mildly interactive documents. The problem is th
87.
by lapinot 3y ago
Comparing wikipedia to facebook or twitter is ludicrous. They don't do any kind of data analysis (apart from some full-text indexing, which you can do easily on a laptop, it's a basic demo from FTS tools to index wikipedia). Sure
88.
by lapinot 3y ago
I'm quite surprised to read what feels like a cloudflare ad from THC..
89.
by lapinot 3y ago
Indeed, most likely the question of paying or not wasn't even asked properly and this is just the norm.. In any case my point is that the problem of this capture from some scientific publishers is much deeper than just a problem of how
90.
by lapinot 3y ago
Might be of interest: the ocaml interpreter runs on some kind of ZINC machine iirc, which is implemented here: https://github.com/ocaml/ocaml/blob/trunk/runtime/interp.c

More ›