yaantc

32 ms·

271.
by yaantc 9y ago
Seconded, and actually all the "We want to know" games had a lot of success with my kids. They loved the games, and they're really games first for them. I guess they'll only realize the math content in a few years ;) Per
272.
by yaantc 9y ago
Merlin [1] can provide type information for OCaml and integrates with emacs, vim and sublime (at least). One can easily select any expression and get its type. From experience, it's very convenient to spot mistakes leading to properly
273.
by yaantc 9y ago
> IIRC Occitan and French are not that compatible either. Maybe you're thinking about the Basque language instead? I'm from the south of France, Occitanie really. Occitan is certainly different from French, but not completely a
274.
by yaantc 9y ago
All the details in the spec: https://www.bluetooth.com/specifications/mesh-specifications I'm not following this too closely, but here's the summary as I understand it: it's a software evolution based
275.
by yaantc 9y ago
Red wines contain more tanin than white. Chilling reduces the taste (white wine are drunk chilled to reduce the effect of acidity for example). So if you take a low tanin red wine, a bit acid, and chill it, then yes it can be hard to tell i
276.
by yaantc 9y ago
There's been a call for strikes to protest against the labor code reforms by several syndicates and far left parties (PC, Mélenchon's Insoumis). Expect the usual circus, but I don't think it'll be too bad. There were alr
277.
by yaantc 9y ago
From a quick look at the doc ( http://llvm.org/docs/LibFuzzer.html ) this doesn't seem to be supported. Aborting from an assert deep in the code has some challenges: unwinding the stack is ok, but how one would avoi
278.
by yaantc 9y ago
You have two kinds of fuzzers: 1) out of process, like AFL: The application is launched for each test, and there's no problem handling a crash, whatever the cause (asserts are ok). But for each test there's the application start
279.
by yaantc 9y ago
HEADLINE: Smarter handling of icons files during updates DESCRIPTION: This is a nitpick/wishlist item really. I started using Stretch while in testing, and noticed that most updates would download rather large sets of icons (few MBs).
280.
by yaantc 9y ago
You may want to check the detailed reports using the "Add-on Compatibility Reporter" extension. I found that the default indication is very conservative, and I used several extensions that were initially marked as not compatible,
281.
by yaantc 9y ago
They are three different protocols allowing to tunnel encrypted traffic between two end points: - L2TP is the "layer 2 tunneling protocol", where the layer 2 is usually PPP, and an IETF standard; - IPsec is designed to tunnel IP o
282.
by yaantc 9y ago
Yes, I know. I was only replying to the second question of the parent really, pointing that there is no need to wait for 5G to see a 3GPP/3GPP2 merge. The fact that Sprint has decided to keep their voice on CDMA for a while will not st
283.
by yaantc 9y ago
LTE has made the distinction go away. LTE is the next generation for both the 3GPP camp (GSM, UMTS/HSPA) and the 3GPP2 camp (CDMA, EVDO). From LTE onward, it's 3GPP only.
284.
by yaantc 9y ago
You're right, but key words here are "At this date". What you said could have been said exactly in the same way about Linux against commercial Unices about 15 years ago. It's a long game here, and we're only in the
285.
by yaantc 9y ago
Apples and oranges. The companies that design the chips and pays royalties for IP are mostly fabless (with rare exceptions like Intel). The fabs are owned by separate entities like TSMC, Samsung, SMIC that specialize in the production itsel
286.
by yaantc 9y ago
Owner of a Thinkpad X1 3rd gen running Debian (started with Jessie, now Stretch), and my experience is quite different but there are some things to know. Let's trade anecdotes: > - Wifi is flaky (ier than on windows) No problem ther
287.
by yaantc 10y ago
Yes. The issue is mitigated by massive beam-forming. Thanks to the high frequency antennas are small and it's possible to use many of them to steer a narrow beam toward the device. The antenna gain compensates for the pretty tough link
288.
by yaantc 10y ago
Cellular IoT doesn't really have the problem seen with Mirai & co DDoS attacks. A cellular device is attached to a cellular network first, and for many application are not even on the Internet. In 3GPP cellular IoT (2G/GPRS, 3
289.
by yaantc 10y ago
> But the problem with that is that the market that really really > can't use GC is vanishingly tiny. It's huge, but specialized so may not be on your radar: small embedded devices. Think RAM size from 10s to 100s kB, and Fl
290.
by yaantc 10y ago
I guess it really depends on the company culture, and one shouldn't over-generalize. I have non-French colleagues who don't speak French (and made barely any progress from their French lessons, but hey it's clearly not their
291.
by yaantc 10y ago
LTE uses OFDMA, which has nothing to do with CDMA (no superposition and coding separation). OFDMA is a combination of frequency and time division: time wise, the allocation unit is a subframe of 1 ms (to be compared with a 2G GSM burst dura
292.
by yaantc 10y ago
Very different experience with a X1 3rd generation (Broadwell). Battery life is 10h+, touchpad is butter smooth (to my surprise, better under Linux than with the original Windows 8.1), fans are stopped most of the time and the laptop is ver
293.
by yaantc 10y ago
A good resource to learn Coq is "Software Foundation": https://www.cis.upenn.edu/~bcpierce/sf/current/index.html It teaches the foundation of software with simply typed lambda calculus, but also t
294.
by yaantc 10y ago
Then "Software Foundations" may be of interest: https://www.cis.upenn.edu/~bcpierce/sf/current/index.html It covers the foundation of functional languages with the simply typed lambda calculus, a
295.
by yaantc 10y ago
I see an interest in the deeply embedded space. ARM has a reputation of being cheap, and it certainly is compared to Intel. But when you go to the low end (mass volume basic IoT), it's not cheap anymore. And their portfolio may not hav
296.
by yaantc 10y ago
Code density used to be a problem at first for RISC, due to a fixed instruction size of 32 bits typically. But most RISC (or VLIW) ISA have solved the problem by introducing some level of variable size instructions encoding. It's Thumb
297.
by yaantc 10y ago
From memory, it's likely related to the presence of pilots / reference signals in the waveform. This helps initial acquisition in bad conditions, and also helps with multi-path handling (the problem with high rises / urban ca
298.
by yaantc 10y ago
Indeed it does depend, some languages are row major (C, C++) while others are column major (Fortran, and some common HPC libraries are in Fortran). https://en.wikipedia.org/wiki/Row-_and_column-major_order
299.
by yaantc 10y ago
The book "Algorithms to live by - The computer science of human decisions" [1] has an hypothesis on this in the chapter on explore vs exploit. It is that in the early part of life, we focus on exploration (extreme case: young kids
300.
by yaantc 10y ago
Nokia is the pacman of infra vendors: they acquired Siemens, then Motorola Networks (the infra part). Then recently they acquired ALU. ALU itself is the result of the acquisition by Alcatel of Lucent. And when Nortel went bankrupt, Alcatel

More ›