lapinot

20 ms·

181.
by lapinot 4y ago
The myth that program synthesis is hard and should be done using general-purpose tools like genetic/ml/smt has to die. Program synthesis is everywhere. Program synthesis is far more tractable (as in, with complete or otherwise pri
182.
by lapinot 4y ago
> literally nobody wants to be in the business of defining the exact boundaries of allowed speech That's because there shouldn't be one global boundary enforced centrally. This kind of problem is a direct consequence of the sca
183.
by lapinot 4y ago
"don't be monopolistic assholes" is in the constitution and laws of several countries, it should not be an appeal to morality. The real problem is that at any point anybody does a move constraining internet corps, they get mo
184.
by lapinot 4y ago
Thank you cadence for all the hard work and inspiration. This wasn't for nothing. I would bet on a newleaf-style reboot (with gallery-dl, to tackle onto a bigger community) if i had to. I might try my hand at it at some point but i&#x2
185.
by lapinot 4y ago
I think GP is not talking about git in general, but about choosing a free-tier hosting by an american commercial entity, and not by the project itself or some other umbrella organization.
186.
by lapinot 4y ago
> I think the bigger picture here is the migration to Git Is it tho? Why wouldn't they just install git on their server? Now there is not many mainstream successful social hosting for svn. They acknowledge the choice of github is to
187.
by lapinot 4y ago
If the serious ad-blockers would stop supporting chrome, then all the shady freemium/quasi-malware stuff would be more than happy to be the only option. Most people don't "really" choose their browser, they just use what
188.
by lapinot 4y ago
GP is correct afaik: the request categories for dynamic rules in ublock are image, 3p, inline-script, 1p-script, 3p-script, 3p-frame. The 3p vs 1p vs inline is kinda weird in itself since it's contextual and not relating to the content
189.
by lapinot 4y ago
Ah right, now i remember. Yes that would be de-googled-chromium then.
190.
by lapinot 4y ago
I use firefox so i don't know much about chrome vs chromium politics, but if the chromium people have one thing to do now, it would be to maintain manifest v2 in their fork..
191.
by lapinot 4y ago
aka how ad-dollars will transform bullshit.
192.
by lapinot 4y ago
?? how is tauri a response to electron criticism? Imho the main criticism of electron is a criticism of using a webview for a desktop application where you could've used something far more simple. An alternative which would make electr
193.
by lapinot 4y ago
> But running software that fit in kilobytes of RAM was never the goal of software engineering. The goal was providing value to your users. By this definition of the goal you are indeed obviously right. So it's pretty clear that Blo
194.
by lapinot 4y ago
Definitely not only perceived. There still no sight of mustard in the condiment section of supermarkets around here (leaving mayonnaise and ketchup surrounding empty shelves with a handful of jars of savora). Although i have seen some at or
195.
by lapinot 4y ago
Not sure about the disclosure, having a grudge with djb is not particularly a minority thing.
196.
by lapinot 4y ago
To make things a bit more clear (hope that's what you meant!): One concrete angle is that interpreters and compilers are usually intertwined: interpreters commonly have an abstract machine which is some language a bit simpler to execut
197.
by lapinot 4y ago
Yeah, also this is not latin but french, with a typo even (i believe): should be "par expériences nombreuses et funestes" ("et" not "at"). (translation: by numerous and disastrous experiments)
198.
by lapinot 4y ago
Or ublock origin, in advanced mode. I took time to transition away from umatrix and i miss the interface but it's fine.
199.
by lapinot 4y ago
Yeah right, they barely have enough braincells to not basically do group sucide and have so much trouble behaving rationally, like you know posting cats on instagram. Dude. Everywhere in the world you can find people to organize elementary
200.
by lapinot 4y ago
Yeah.. hem tiktok youtube facebook hem instagram snapchat twitch.. This whole thing being discussed in the thread is not some abstract destiny, it's just that the social media lobby, ie the mass advertisement and marketing lobby is cru
201.
by lapinot 4y ago
Thanks for the heads up, i'll try again.
202.
by lapinot 4y ago
No, i mean like this https://archive.org/details/AK47AKMTechnicalDrawingsRussian/... ;) I'm joking a bit, but really, i'm not talking about teaching arithmetic and giving away pencils (which again, is so
203.
by lapinot 4y ago
I'm not sure if you're being falsely naive or not, but i'll assume the best and try to sum it up in a couple lines. But don't quote me on it, it's obviously gonna be butchered, this is a field of study and i'
204.
by lapinot 4y ago
Yeah, i agree, but still, i believe we should even aim for higher standards than what you propose: actually licensing current relevant IP is not enough. At least in the sense that we actually have to develop IP that is small-scale operable,
205.
by lapinot 4y ago
The real thing is materialistic independence and you give it away by educating skilled workers giving away IP and financing locally operated factories and other infrastructures. But global power have institutional safeguards against this
206.
by lapinot 4y ago
Well because it's the money and globalization talking. In the middle of all the conspiracy shit you find online, there is also a ton of subtle and well-documented journalistic work explaining how sure they've helped poor kids in a
207.
by lapinot 4y ago
Yeah, this kind of study is for me quite at the pinnacle of the western problem with science and medicine where mental health and subtle social well-being is just pushed under the rug. Do we get the same publicity towards antibiotics, which
208.
by lapinot 4y ago
What about user management? I only tried conduit for one day, the setup was fine, everything advertised seemingly worked. But i got really disappointed by the administrative interface. There is basically none, at least not without setting u
209.
by lapinot 4y ago
There is a really good paper on better notations for differentiation https://arxiv.org/abs/1801.09553 in such a way that algebraic manipulations of the "dx" etc have meaning. The main proposition is to stop c
210.
by lapinot 4y ago
Well OP link is paywalled but seems to me that arms are pretty much required for modern life. Quite natural to want some imho (at least one), i cannot imagine myself without mine.

More ›