edwcross

10 ms·

91.
by edwcross 4y ago
Maybe some day Software Heritage ( https://www.softwareheritage.org/ ) will expose enough metadata between repositories so that people will be able to train their own recommenders for better discovery.
92.
by edwcross 4y ago
In theory , you are possibly right, but in practice , that is not always the case. For instance, in France, currently some departments have a fixed number of interview slots per month, meaning people either have to hack their way into fin
93.
by edwcross 4y ago
Unfortunately pCon.planner is Windows-only. I wonder if the file format is standard and compatible with other software?
94.
by edwcross 4y ago
There are probably others, but this is one such startup: https://trust-in-soft.com/
95.
by edwcross 4y ago
In practice, it's not that easy; fuzzers tend to be more effective for that. Usually, the time required to properly setup and understand and refine the analysis will take most of the trial period. These tools are better thought of in t
96.
by edwcross 4y ago
Also Frama-C/Eva: https://www.frama-c.com/fc-plugins/eva.html
97.
by edwcross 4y ago
Note that Astrée was developed in France, by researchers from Inria. AbsInt sells it packaged as a product (with support, etc), but the bulk of the research was done in the 2000's by researchers such as Cousot. This is also the case wi
98.
by edwcross 4y ago
As an outsider, this description resembles that of Trump, except with less "tiny hands", and more "tech". Has Elon Musk considered doing politics?
99.
by edwcross 4y ago
The theory I heard worked in the other direction: if we assume scammers have a finite amount of time, it could be in their interest to minimize the amount of "likely good targets" in order to increase the amount of " very li
100.
by edwcross 4y ago
Could it be for driver comfort? I sometimes have the impression that buses have their temperature tuned for the driver, who's staying in the bus for hours and has everyone's safety at least partially related to their comfort. But
101.
by edwcross 4y ago
QuickDic (from F-Droid, with offline dictionaries) works for me.
102.
by edwcross 4y ago
On the one hand, I agree that paying attention to the spammer is bad; on the other, I do believe there might be some use in publicly stating that such PRs will never be merged and are frowned upon; hopefully other people reading (many of th
103.
by edwcross 4y ago
The patch itself is indeed worse than useless, it's the kind of rephrasing just to say "I did something", but which actually makes it worse (adds useless words and English mistakes). If the "kid" is ready to send th
104.
by edwcross 4y ago
I tried using it several times in recent years, and whenever trying to upload files, I had lots of issues. Filed some bugs, never got them resolved, and ended up giving up after several of my photos and descriptions were lost (or never prop
105.
by edwcross 5y ago
A junior explorer pocket microscope ( https://opentinkers.com/collections/toddlers/products/junior... ) is about 10$ and comes without light, but the transparent plastic allows using a phone flashlight. In the
106.
by edwcross 5y ago
We transitioned from a "high-trust society" (where software, Internet, etc, did not need to take into account so many security considerations, protect itself from enemies everywhere) into a "low-trust society" (encryptio
107.
by edwcross 5y ago
To be honest, USB 3 was already a loss in some aspects: USB 2 allowed for extremely thin USB drives (as thick as the inner part of the plug); several keyboards had plugs, cables were thin, all sorts of gadgets were made. With USB 3, the ext
108.
by edwcross 5y ago
C is a pig of a language, so tools that show just how horrible it is, how many bugs are unwittingly written, and how hard it is to make its code safe, could also help pushing people towards better languages. These tools are more like puttin
109.
by edwcross 5y ago
It would be interesting to know if at least part of the work could somehow be integrated into Software Heritage ( https://www.softwareheritage.org/ ) or CodeMeta ( https://codemeta.github.io ).
110.
by edwcross 5y ago
Isn't that kind of what Brazil did in 1994 with URV? From Wikipedia: "URVs were quoted in cruzeiros reais and its intrinsic value was pegged to three price indices and had a fixed parity of 1-to-1 to the daily U.S. dollar exchange
111.
by edwcross 5y ago
Frama-C works at the C semantic level, without knowledge about processor instruction-level details (expect for some extended assembly syntax, and a few details here and there). If you are talking about unspecified sequences of C statements,
112.
by edwcross 5y ago
This seems mostly a guide from a 42 School student towards other 42 School students. It shows one of the issues of having previous-year students teaching younger students: they don't always have enough experience to know the best way t
113.
by edwcross 5y ago
The Cartier Foundation for contemporary art had an exhibit on "geometric art" from South America some time ago, and there remains a 7-minute video (in French only, but the automatically-translated subtitles seem fine) on Youtube a
114.
by edwcross 5y ago
Counterpoint: when using a system with hybrid graphics which required me to use proprietary video drivers, switching to the latest Fedora version often brings issues with suspend, or random freezes, or lack of external HDMI output... After
115.
by edwcross 5y ago
In Paris and other French cities, you have "game cafés", where you pay per hour (or you buy food which is worth a "1-hour ticket"), and they bring you the games, so you don't have to own them. Good for trying out ne
116.
by edwcross 5y ago
Besides, standardized DSLs are often better suited for static analysis due to the restricted forms of control flow and less esoteric constructions (fewer or no pointers, dynamic allocation, etc). If only vendors didn't force users into
117.
by edwcross 5y ago
Crystal ( https://en.wikipedia.org/wiki/Lead_glass ) does contain lead, but apparently "crystal glass" does not. So, by default, "glass" is indeed lead-free, unless you're talking about some fanc
118.
by edwcross 5y ago
At least on the story front, Alpha Centauri seems to owe much more to Brian Reynolds than to Sid Meier, according to [1]. Unless you mean he was the "strong single author" there (instead of Sid Meier), I'd argue there were at
119.
by edwcross 5y ago
It does allow reaching some companies which have by now shut down most other forms of communication, and only react to public outrage. So, it Twitter ceased to exist, these companies would be forced to reinstate another form of client servi
120.
by edwcross 5y ago
I can't speak for milk itself, but ghee (which is often used in India), for instance, is virtually lactose-free, so even lactose intolerant people can eat it. That also happens with cheese and other dairy products; so they are not ent

More ›