lapinot

45 ms·

421.
by lapinot 7y ago
Also called: https://en.wikipedia.org/wiki/Shifting_baseline
422.
by lapinot 7y ago
Imho this is not the right way to think of it. Experimental results aren't applications of any theorem, they are just measurements. And the fact that these measurements may or may not come from machines we know how to "perfectly&q
423.
by lapinot 7y ago
I do and you probably do too. Of course we can fantasize that these vulns have been planted, maybe even a couple have been. But most of them are probably just uncaught mistakes and subtle semantic errors. I believe in proving software (and
424.
by lapinot 7y ago
I'm not sure i completely agree with that, maybe you're right. Isn't bad design is at least partly linked to the fact that these are personal (non-utility) cars, which are for a large part used in (sub)urban areas, ie usage
425.
by lapinot 7y ago
I hear your point, i'm not offended. But you dismiss me as guilty by association, to some kind of superficial "hipster" who's hobby is to take part in gentrification. It's not rude, it's fallacious. For one gen
426.
by lapinot 7y ago
I was simply trying to have a broader thinking, not only about how current cars are bloated with hitech but about the place of cars. I care about technology and consumer goods getting more and more opaque, littered with useless electronics
427.
by lapinot 7y ago
Not sure about the downvotes, care to explain? I did not expect this would be seen as out of topic.
428.
by lapinot 7y ago
Privacy is not hiding, it's about controlling visibility. Most of the data we wish would be treated differently are not strictly private, we just don't assume they would be easily accessible (specifically by a private company). We
429.
by lapinot 7y ago
Are cars still a topic? Who owns a car here? I don't and i really don't plan to. Public transports, bus, subway, train, carpooling, stuff like that seems more than enough for me, here in europe (france) at least. I think we need t
430.
by lapinot 8y ago
I empathize, it's hard realizing that bureaucracy is stronger than you are, even tho you're so much smarter and ethically stronger than all of it's constituents (and that your plan is dead simple `do what's right, no qa&
431.
by lapinot 8y ago
Is this an achievement of the locals or an achievement of Orange, Vodafone, MTN and Maroc Telecom, eg mostly non-african mega-corps vampirizing the market? Mobile networks are notoriously much more monopolistic and efficient at keeping out
432.
by lapinot 8y ago
Future historians don't care about who was in line in the bakery this morning etc. Data that should legitimately be obscure is about personal/small scale everyday actions that could be identifying given a small sample. I'm th
433.
by lapinot 8y ago
`Sound' does not mean `complete'. Don't forget that no false positive or negative isn't all, the solver might just give up.
434.
by lapinot 8y ago
Turing completeness as the ultimate measure of expressiveness for programing/logical systems is a myth. I argue every interesting program you may want to write is either terminating, co-terminating or step-indexed. Terminating programs
435.
by lapinot 8y ago
I'm surprised there is no name dropping of `Hoare logic' here or in the article so i'm gonna do it. Hoare logic is made of triplets (precondition, command, postcondition). A whole bunch of things are based on that. To go furt
436.
by lapinot 8y ago
Ok folks, i think we found the guy that started the fire in paris tonight. https://news.ycombinator.com/item?id=19666991
437.
by lapinot 8y ago
So you prefer being serviced by a machine that records everything you say, do, think, than bearing an interaction with a living human being which may or may not be quite different and interest, question, amuse or revolt you? I must say i do
438.
by lapinot 8y ago
Depends on education and social circles imho. It's not about caring, it's about confronting with the question, which may involve communication, research, experience.
439.
by lapinot 8y ago
Yeah right, i'm sure BK is really putting a lot of money into small family businesses with diversified farming light on the ecosystems using no herbicides/insecticides, and not mega food-industry with fields that have thousand of
440.
by lapinot 8y ago
Relevant info being > Warp+ premium service > enterprise VPN space > So the more people who install Warp, the more valuable Cloudflare’s core services become. The last one being the key: they acknowledge they will run it even if it
441.
by lapinot 8y ago
https://en.wikipedia.org/wiki/Cross_subsidization They don't make money, they just want to gain market leverage. This will make their network more interesting because of crowd effect. Akin to fb letting people cre
442.
by lapinot 8y ago
(1) i never talked about text mode (2) i never talked about smartphones, which specifically occur in other threads. It's easy demolishing straw-men. Yet i don't want a car with a screen, i fridge with a clock, a watch with a micro
443.
by lapinot 8y ago
I don't think bash is feature rich: you have to call a program to do arithmetic! It's BASIC with pipes. If you really want to script in a unix-traditional way you should go for perl i guess. Also: i didn't want to imply going
444.
by lapinot 8y ago
Someone discovered unix philosophy. (1) do one thing and do it well; (2) promote composition (write primitives, let people script). To add a pessimistic tone tho, bloat is benefic because the more things you pack the quicker one will break,
445.
by lapinot 8y ago
There is in fact blind trust in blockchains. It's blind trust in stone-written legislature that has the aim of being universal. You can't change what trust means, it's a highly complex concept which already has a meaning for
446.
by lapinot 8y ago
Amplitude is about power, that what you want to minimize. If you can affect the amplitude of the noise, that means your signal has high amplitude: you have a high signal-to-noise ratio (SNR) and you already have won.
447.
by lapinot 8y ago
Uggh, 330e for a candybar phone. Oh right it has designer ringtones and it's monochrome icons have been drawn millimeter perfect. Let's be serious, one of the major feature people (or maybe let's say me) want when switching t
448.
by lapinot 8y ago
Adding more competition isn't an answer, because competition is about individual profit, thus monopoly. Neo-liberalism, global free market etc do encourage a world-wide competition: it's already the current trend. What you probabl
449.
by lapinot 8y ago
This doesn't work if the peripheral manufacturers are themselves big players (which they are): they can already afford fighting to secure a place in the oligarchy of big players and it's not in their interest to open up space for
450.
by lapinot 8y ago
This would allow smaller players to step in and to start grinding some market shares of the big players. It would also turn the laptop market from a high margin market to a low margin one. Standardization is just not in the interest of any

More ›