the_french

6 ms·

1.
by the_french 5y ago
> But we know how that goes and nobody actually will care about the scooter enough to return or take care of it. Looking at countries like the Netherlands this is not true. Train stations have rentable bikes which are always available in
2.
by the_french 5y ago
if I recall correctly, the fine scales up as time goes on up some (2?) percentage of company revenue. Like most people I would be happier seeing them get a several billion dollar fine right off the bat but so long as it eventually becomes u
3.
by the_french 5y ago
I don’t think most theoretical physicists are seeking wealth, they tend to have deeper intellectual motivations.
4.
by the_french 5y ago
This is an interesting idea but is there any description of the soundness of this approach? Any functionality capable of subsuming not just inductive types but higher-inductive types is going to be very subtle. I looked around on the repo
5.
by the_french 5y ago
> Some programs in the Simply Typed Lambda Calculus [^1] have no type—i.e. diverging programs. Nitpick, because those programs have no type they are not members of the Simply Typed Lambda Calculus but only of the underlying untyped cal
6.
by the_french 5y ago
The french government has actively promoted the growth of forests / their management for over a century. Today, there are more acres of forests than at the turn of the twentieth century for example.
7.
by the_french 5y ago
from the cursory read of the documentation on the openbsd site it doesn't seem to support TPMs. Setting up the encryption of a disk paritition does seem easier though.
8.
by the_french 5y ago
On some fronts it even feels like things have regressed . Trying to resize an encrypted partition is way, way too difficult. And it seems like GParted doesn't handle LUKS so you're back to manually typing block offsets on the com
9.
by the_french 5y ago
This may be rather naive but wouldn't using an energy storage mechanism for structural purposes be a bad idea? That could mean that every fender bender now risks igniting the hood of your car.
10.
by the_french 6y ago
a law which was democratically approved, with public oversight, a mechanism for undoing it and not at the whim of private shareholders.
11.
by the_french 6y ago
I think that building a competitor on top of facebook is against their terms of service. You wouldn't be able to build an 'alternative facebook client', legally at least.
12.
by the_french 6y ago
This approach ignores all the aspects that made whatsapp / chat services popular in the first place. A short list: - Contact Discovery - Group chats - History / Log - Shared message order - Communication beyond text (e
13.
by the_french 6y ago
The vast majority of cars in the streets of paris are not from suburban commuters but from people in the 15th and 16th (read: wealthy) neighborhoods preferring to drive than to mingle with the rest. Besides, removing cars from the road mean
14.
by the_french 6y ago
I think it's misleading to say ITERs technology is 30 years behind. A lot of the tech that has been going into the ITER design didn't exist 30 years ago! They didn't anticipate developments in super conductors but this is by
15.
by the_french 6y ago
It's a design we've modelled and predicted should work. Since we've never actually built anything close to it, we have no way of knowing whether those models were even close. If ITER shows results that are even close to bre
16.
by the_french 6y ago
the yt recommendation algorithm is probably the worst among all the major platforms. It will pigeonhole you into the same 10 videos, which you will never escape. I listen to music on youtube relatively frequently but then it will always go
17.
by the_french 6y ago
Part of that pressure comes from the lack of funding though. When you have to fight against 100 other applications for a grant showing you have a recent track record of well-cited papers helps you stand out. If researchers had steadier acce
18.
by the_french 6y ago
I think you would be interested in Noether, a full language design based around this principle: https://tahoe-lafs.org/~davidsarah/noether-friam4.pdf . I've always been sad that an implementation was never created.
19.
by the_french 6y ago
I honestly have never wanted to receive mail from anyone other than a real human being. There is not a single 'account update' or marketing mail, etc.. that I am happy to see, nor has there ever been. Does anyone actually enjoy th
20.
by the_french 6y ago
I think replicating RoR in Haskell is explicitly the goal of IHP. I don't have a problem with them making opinionated choices for projects, I really don't want to have to wade through library choices and configuration each time I
21.
by the_french 6y ago
I'm starting my PhD under the supervision of one of the Frama-C authors, if you have questions I can relay them. In general I've found deductive verification techniques interesting / promising because they free engineers of a
22.
by the_french 7y ago
Is there a tool that works for the limited subset of PDFs generated by Latex? Do those documents have more structure than the average PDF? Less? It'd be nice to extract text from scientific articles at least.
23.
by the_french 7y ago
The city / region has been working on that by decentralizing major government and business institutions. By pushing them out of the core in to neighboring suburbs it allows those employees a real chance at living near work in more than
24.
by the_french 7y ago
Even worse, a major French bank removed their perfectly fine password requirements and replaced it with a 6 digit PIN that you have to enter via an on-screen numpad. They explicitly block password managers from autofilling too! And I had ju
25.
by the_french 10y ago
Its no huge surprise that spreadsheets implement a form of FRP . Specifically, you can look at loeb's function [1] as an example of the relation. Being able to focus on the data itself while easily composing operations is definitely fu
26.
by the_french 11y ago
In the same vein what would happen if Apple decided to destroy their master key and all backups? While that would completely screw over iphone updates I would honestly prefer that to the FBI getting source and signing capabilities. If Apple
27.
by the_french 11y ago
Is there anyway to achieve something similar to Quicktime? Or is that what you mean by a 'dark' titlebar? I'd love if the titlebar would fade away when not mousing over it.
28.
by the_french 11y ago
I've never had to produce soap even during extended sieges. The only instance it would have helped in was with a FB that had poisonous blood (and killed half my fortress). I always felt that the medical aspects were a bit too easy.
29.
by the_french 11y ago
I suppose it depends tremendously on the application you are developing but combining Haskell with things like Haxl[1] and opaleye-sot[2] can help simplify the database aspect of things tremendously. Once you've abstracted away the per
30.
by the_french 11y ago
The vast majority of European travellers use trains or roads, not air travel.

More ›