yaantc

36 ms·

301.
by yaantc 10y ago
It's not Vodafone specific, it's really a generic property of cellular IoT. Any 3GPP technology (for IoT, primarily 2G and LTE) can provide private PDN connectivity, where the device is not put on the Internet but on a private LAN
302.
by yaantc 10y ago
Ada has the notion of attributes applying to types and variables, to access related properties. Among those, there are attributes to get the starting and ending indexes of an array. So it's possible to program completely generic array
303.
by yaantc 10y ago
See my comment above on the bad effect of CGNAT on latency and user experience when private IPv4 addresses are used. IPv6 solves this problem and provides the better user experience in this case.
304.
by yaantc 10y ago
The IPv4 address may be a private one, with a NAT box between you and the web site. This is very common on cellular networks (because of the large number of devices), even in developing countries with good allotment of IPv4 addresses. They
305.
by yaantc 10y ago
I can't compare to the 787 (haven't flied it yet), but I second GP opinion and I think it's mostly due to the 380 size. In turbulence size matters and the 380 is noticeably smoother than other planes like 330/777 from my
306.
by yaantc 10y ago
Not my feeling at all... As an employee filling taxes in France is super simple, just fill a web form with salary and banking pre-filled (just check). Done in under 15mn. Sometimes one can be in odd situation that don't fit well. It&#x
307.
by yaantc 10y ago
Can't you automatically get the same with Firefox Sync? And indeed, it seems to me the UI has changed recently. Anyway, if you have sync enabled on both desktop and device, you can see the other sync'd devices open tabs (if enable
308.
by yaantc 10y ago
Not even needed, just open the Preferences, select the Applications page and for PDF instead of using "Firefox preview" select any other application, or just "Ask each time". I use this to open PDF with an external PDF r
309.
by yaantc 10y ago
From the source on futurism.com: "This would legally only impact research supported by public and public-private funds". So if the team is funded partially by some European organization(s) it would apply to them, otherwise not.
310.
by yaantc 10y ago
Although Coq is using constructive logic by default, it is not limited to it. One can use classical logic results just by importing the "Classical" module. Or course one then loose the benefits of having a constructive proof (like
311.
by yaantc 10y ago
> ...is less bitter than the good stuff Bitterness matters here IMHO. One old anecdote: when I was in the US about 15 years ago, I was very surprised to see an Italian brand I knew with labels like "regular", "strong"
312.
by yaantc 10y ago
> Are there targets out there that gcc supports which aren't supported by LLVM? Probably not too many Plenty in the embedded space. Just compare the GCC backend list at https://gcc.gnu.org/backends.html to what LLV
313.
by yaantc 10y ago
I agree with the general sentiment, but their point here (as I understand it) is to show that the current trend cannot continue like this. The source paper has a poor choice of word in an appendix, saying "when the energy required for
314.
by yaantc 10y ago
Yes. Any IMAP client should work and I'm using K9 and TB successfully.
315.
by yaantc 10y ago
That may change for English. The problem is that learning a language, particularly when the accent is very different, requires a lot of practice with a good model. When you have a limited number of teachers, with a level not ideal, it'
316.
by yaantc 10y ago
I looked into this recently. Voice triggering is typically done on DSP and the digital processing power is typically already small compared to the microphone (which is not much itself). For power optimized applications the DSP implementatio
317.
by yaantc 10y ago
I played with Geode and Debian some time ago (over one year, which means in the hazy past as far as I'm concerned --- not good with dates ;), and they were not supported already. I forgot the details and when it happened exactly, but t
318.
by yaantc 10y ago
There's no single answer here. First, Moore's law is about the density of the least cost process doubling every N months (N changed over time ;). So cost is a key part of Moore's law. When you talk about cost, there are fix
319.
by yaantc 10y ago
Strictly speaking, Moore's original paper is not about transitors per chip but about transistors density for the least cost node. So first it's about transistor density, hence the relation to having smaller and smaller transistor.
320.
by yaantc 10y ago
The design cost is increasing. It's not as in software where you write high level code (Verilog for IC) and let the compiler do its job, and in most cases you're done. For IC design, there's a two part process: the front-end
321.
by yaantc 10y ago
No, it's not only for mixed-signal IPs (unfortunately). It's also for soft IPs, in Verilog. When you start from Verilog you still have to do the back-end work, to meet timing constraints. Only "hard macros" IPs requires
322.
by yaantc 11y ago
A soldered SIM, or eUICC (embedded Universal Integrated Circuit Card, it's official 3GPP name) is managed by a 3rd party, with a permanent secret inside it. It also has a resident provisioning profile, typically associated to a small c
323.
by yaantc 11y ago
Disclaimer: I work in telecommunications, but not at an operator. The operators have resisted this actually, as they fear it will bring more competition for them by making switching operators easier. To lock the device, they don't need
324.
by yaantc 11y ago
Not entirely true (I'm French BTW). In a lot of companies if you're engineer or similar you're "cadre", and not subject to the 35h/week limitation: you have flexible work day hours. There's still a maximum
325.
by yaantc 11y ago
Not so. Sigfox has a single operator model: they're the only operator for their proprietary technology. But LoRa is multi-operator: anyone can buy LoRa base station and deploy their network (it's in unlicensed spectrum). And it&#x
326.
by yaantc 11y ago
True for 2G, but for 3G and 4G most deployments are using full duplex (FDD) where reception and transmissions can happen concurrently and use different frequencies. The only exception for 3G is China with its TD-SCDMA standard. Everywhere e
327.
by yaantc 11y ago
When using a unikernel design there is no isolation between a single node software components like an OS can provide. All the code share the same memory space. Isolation can be useful. For example the Postfix email server (running on a Unix
328.
by yaantc 11y ago
> ... but I am not aware of actual (direct) use of Coq in the industry (but would be interested to learn of any). The first EAL7 certified smart card certification used coq, see: https://www.commoncriteriaportal.org/iccc&
329.
by yaantc 11y ago
To me it's not a question of CPU power, but form factor and user experience. Hybrids have for me two big drawbacks --- and it's really subjective: - I like small tablets and larger laptops (13.3 min, 14 prefered). So an hybrid is
330.
by yaantc 11y ago
Unfortunately, this is not set in law. And really, that's the level where this should be enforced. You can count on firms to pursue their own self interest to the extent allowed by the law. I'm not saying that's good, I'

More ›