yaantc

40 ms·

331.
by yaantc 11y ago
I'm sure the big operators are more than happy to limit possible competition, but that's not the primary reason why LTE-LAA is assisted. First, LTE-U with its fixed pattern is a quick n' dirty non standard proposal. It's
332.
by yaantc 11y ago
To provide a bit more context: the number of licenses is very limited. When sold by the state the license is cheap, but then it can be resold privately and then the price will skyrocket as there is a too limited offer. This creates lots of
333.
by yaantc 11y ago
You need to be a registered driver to pick up folks for money in France. So Uber or Uber X are lawful (professional drivers => ok), but Uber Pop is not. As for picking people via hail, IIRC you still need to be a taxi. For private driver
334.
by yaantc 11y ago
The typical way to prove that there is an infinity of primes is to do a reductio ad absurdum: you assume there is a finit number of primes, call the biggest P and build another bigger one that is prime. This is a contradiction, so you can c
335.
by yaantc 11y ago
Check dedukti: http://dedukti.gforge.inria.fr/ It's a different proof assistant that can convert Coq's (and other P.A.) proofs into its own language and check them. It's not a guarantee of course, both Coq
336.
by yaantc 11y ago
I note that companies who design their own cores (Apple, Qualcomm) tend to stick to a limited number of intermediate cores. Only companies tied to ARM implementations went the big.LITTLE way, the one that leads to more cores. And most strug
337.
by yaantc 12y ago
In a sense Moore's law is already over. It's not only about transistor density, there's an economic side too: the original paper talk about the density of the least cost process. So the law ends either when we can't in
338.
by yaantc 12y ago
ALU doesn't produce handsets anymore. Alcatel sold their handset business to TCL a while ago, and TCL has the rights to the brand for handsets. So even if the Alcatel name will disappear on the network side, it's likely to remain
339.
by yaantc 12y ago
Actually the Alcatel-Lucent they bought do not produce phones at all ;) A while ago Alcatel got with TCL, a Chinese company, to take care of the handset business through a joint-venture initially. Then TCL bought and integrated the JV, and
340.
by yaantc 12y ago
I have no experience with OS X and Alfred, but from what you describe it looks like krunner for the KDE desktop environment. krunner is a mini-CLI you can open with alt-F2 by default (customizable of course). It allows searching apps or the
341.
by yaantc 12y ago
Same, and I had the issue described in the article. It's just a result of the installation process and is documented on a bug page... somewhere. What happens is that if you install Jessie from USB, a line is added into /etc/f
342.
by yaantc 12y ago
The latest (5th) edition of "Computer Architecture: A Quantitative Approach" by Hennessy & Patterson covers GPU (among many other things). One chapter on data parallelism covers SIMD, vector processors and GPUs. Very good over
343.
by yaantc 12y ago
Honi soit qui mal y pense ;) A coq is a rooster in French, as can be seen from the coq logo. One of the author is called Coquand, the rooster is the emblem of France (where it comes from) and the coq language is called gallina (rooster in l
344.
by yaantc 12y ago
Making ARM chips for low/medium end tablets is a cut throat market. Rockchip did well initially but now Allwinner has passed them, and they seem to be in a challenging situation. Just look at Allwinner vs. Rockchip growth. Not to menti
345.
by yaantc 12y ago
I'm not sure that the Extremetech page allows concluding much on its own regarding MIPS efficiency vs. others as the implementations are pretty different and the only MIPS instance is an oddball: it's OoO and 4-wide as the i7, whi
346.
by yaantc 12y ago
There's a lot of PR / excitement aroung full duplex operation on the same channel (by opposition to what's usually called full duplex and use separate donwlink and uplink channels), so let me be the Grinch a bit here. The hig
347.
by yaantc 12y ago
I have the same display with Debian and no issue. So it's either introduced by Mint or Ubuntu (Mint is Ubuntu derived). Most likely by Mint, as the UI customization is very distro specific.
348.
by yaantc 12y ago
Then be happy: the result of the vote is a clear majority of Debian developers saying "no more politics on this init topic" (by rejecting this GR as uneeded). In all group of a given size there's bound to be some amount of po
349.
by yaantc 12y ago
I think this is the last vote related to systemd for a while. There can only be a single default init system obviously, so a vote was required there. It was a hot topic, no need to rehash this. The second vote, initiated by Ian Jackson, was
350.
by yaantc 12y ago
FYI, you're quoting an email from Russ Allbery, who voted for systemd: https://lists.debian.org/debian-ctte/2014/02/msg00283.html To quote Russ vote: "D U O V F", so systemd first and the curre
351.
by yaantc 12y ago
Dual SIM is working fine with 2G, but not well with always on data. What's important to understand is that those dual SIM devices only have a single radio, that must be shared between both SIMs. And that's not part of the standard
352.
by yaantc 12y ago
Hi Steve, First thanks a lot for Rust. I have a background in embedded development and the perspective to have a modern, safe by default language available in the future (it's a conservative domain ;) is very exciting! Cargo aside, the
353.
by yaantc 12y ago
The other interesting thing is that the NVidia Denver 64 bits core is also supposed to do some dynamic code optimization to map ARMv8 machine code to an optimized representation running over a very wide implementation. I'm sure the det
354.
by yaantc 12y ago
You can still use a keyscript (I do), it just need to be done in a different way. Instead of putting the configuration in /etc/crypttab, which confuses systemd indeed, you can still use the kernel cryptopts variable. For example,
355.
by yaantc 12y ago
This is too brutal, you have to consider the application domain. For physics simulations I would agree with you. For signal processing or graphics applications float is usually perfectly fine (and even overkill for many DSP applications). P
356.
by yaantc 12y ago
There's been no riots in Paris, there were in some parts of the suburbs of Paris. I've seen the coverage in the US of the Paris riots and it's true you could feel like Paris was on fire. But living in Paris itself or in the c
357.
by yaantc 12y ago
The rules have changed a bit a few years ago. It is now possible to negotiate a separation with the employer and still get the benefits of unemployment (sorry I don't have the details in mind). It was part of a set of changes intended
358.
by yaantc 12y ago
Indeed, and the children make a big difference. There's a lot of support related to raising kids in France, and as you point out the cost of education is widely different. When I considered staying in the Silicon Valley ~15 years ago I
359.
by yaantc 12y ago
It's more complicated than this. At a certain level of seniority, which most engineers are, the 35h/week rule do not apply anymore. There still are restrictions but it's really to avoid abuse (make sure you get enough sleep f
360.
by yaantc 12y ago
> Why do people seem to think Ada is painful? I have a possible explanation on this. A lot of people only know Ada in passing, from classes. For someone fluent in another language typically derived from C, the syntax is very new and frus

More ›