yaantc

27 ms·

211.
by yaantc 7y ago
Yes. Toward the end there is an example of the kind of effect their model gives: "As an example, for the Australian Stingless Bee (mass = 2.5 mg) a P abs of 3 × 10–8 W is estimated for an incident field strength of 1 V/m at 60 GHz
212.
by yaantc 7y ago
> For the life of me I can’t figure out how to override certain key settings in KDE > like “windows” key pulling up the kde menu Do this from a shell: kwriteconfig5 --file ~/.config/kwinrc --group ModifierOnlyShortcuts
213.
by yaantc 8y ago
The focus today for 5G is fixed wireless access and smartphones, not IoT. 5G covers 3 variants: 1) massive broadband (with mmWave in particular); 2) URLLC - Ultra Reliable and Low Latency Communications; 3) massive IoT. The current focus
214.
by yaantc 8y ago
Agreed. Local DoS is a complicated way to get the same result as jamming. The approach has merits and value, but the novelty here is doing a LTE fuzzer and finding implementation bugs IMHO. Which is very useful, but the title may lead peo
215.
by yaantc 8y ago
Although it's very brief, they touch this topic in the intro: "OCaml does a great job of clarifying and simplifying the essence of functional programming in a way that other languages that blend functional and imperative programmi
216.
by yaantc 8y ago
Few people use it overall, yes. That doesn't mean it's not a differentiator in some areas. You can often find a Prolog system behind complex scheduling and resource planning systems for example. It's no longer pure Prolog now
217.
by yaantc 8y ago
ECLiPSe CLP [1] (no relation with the IDE) is a Prolog implementation with constraint logic programming support and interfaces to lots of solvers, including MIP ones [2]. So I guess the answer is yes, although you may not find lots of publi
218.
by yaantc 8y ago
> LTE was a huge battery drain at first because they weren't integrated No, the modem/SoC integration is not a big factor. Having an internal communication inside a single SoC will always be a bit better than going through an e
219.
by yaantc 8y ago
> ARM could be leapfrogged by RISC-V For the low-end deeply embedded space, I could see RISC V becoming a significant player in the next 5 years. ARM is relatively expensive there (it's cheap compared to Intel for servers, but at th
220.
by yaantc 8y ago
Julia as hygienic macros. From their documentation [1]: "The strongest legacy of Lisp in the Julia language is its metaprogramming support. Like Lisp, Julia represents its own code as a data structure of the language itself." Part
221.
by yaantc 8y ago
Thanks a lot! I did miss something new ;)
222.
by yaantc 8y ago
Unless I missed something, if it works it'll be with the SBC codec and it's not very good. For music the BT profile is the Advanced Audio Distribution Profile (A2DP). But this is just a transport, and on top of it there can be man
223.
by yaantc 8y ago
Ok, thanks for the clarification. Even with this new understanding 3G will eventually go. Coverage depends on several things: 1) deployed infrastructure, 2) frequency used and 3) waveform / standard efficiency. 3G can have a temporary
224.
by yaantc 8y ago
You can have LTE voice even if you've maxed your data cap, from a technical point of view. For 2G/3G it's true that those standards support pretty independent CS (voice) and PS (data) connection, so it's natural to decou
225.
by yaantc 8y ago
Yes, there's hype and confusion around latency and 5G. Already with LTE most of the latency you're seeing comes from the network side, not from the radio link itself. And LTE latency can be low enough for customer application as y
226.
by yaantc 8y ago
You can check Feedbro as an alternative to Brief: https://addons.mozilla.org/en-US/firefox/addon/feedbroreader I was a long time user of Brief but moved away during the transition to webextensions. Although
227.
by yaantc 8y ago
I'm not sure this is Thinkpad specific. I have a Dell Latitude 7490, same generation as the X1 gen 6, and I often see "Package temperature above threshold, cpu clock throttled", same as on my 6th gen X1 at home. And I don&#x2
228.
by yaantc 8y ago
You could use xbacklight to have a finer control of the display brightness. You can also rebind the brightness keys to shell scripts that use "xbacklight -inc <percent>" or -dec, with a finer resolution.
229.
by yaantc 8y ago
It's impossible to create a solver that is efficient on any and all NP-complete problems. That applies to any solver. Still, it is possible to create efficient solvers for some subset of the NP-complete problem space. They will work fi
230.
by yaantc 8y ago
Z3 has a python interface. This said, SMT is an extension of SAT, and you're likely to use a SMT solver even for "just" SAT problems. Most SMT solvers support the SMT-LIB [1] file format, which is easy to generate from python
231.
by yaantc 8y ago
Latency will go down with 5G if you pay for it. How much is the big question. There are 3 sides to 5G: - eMBB: massive boradband --- high throughput, mmWaves; - URLLC: ultra reliable and low latency, for industrial applications typically;
232.
by yaantc 8y ago
This issue is likely to be bufferbloat [1] and not directly related to LTE. If you can put a properly configured router in front of the modem that may help. I haven't looked into it but it seems recent OpenWRT have the necessary suppor
233.
by yaantc 8y ago
Yes, see [1] for details. The "syphoning" exists, but it's not as bad as in a one round system where each vote on a small party is in practice lost. With two rounds, we usually have two "big" parties, flanked by two
234.
by yaantc 8y ago
Yes, there' the same in France. It's the most efficient way to get started really, otherwise you'd waste too much time learning the process. And as you say, once you've done it a few times it can be done internally.
235.
by yaantc 8y ago
It's even more complex. It's not only the predictor state that would need switching/indexing, it's the result of any prediction. A speculative load in cache is global today, and that leads to a possible side channel atta
236.
by yaantc 8y ago
Yes, a modern Prolog with CLP(FD) is very well suited to solve logic puzzles. There are many examples on the web, but you can look at this book on ECLiPSe CLP (nothing to do with the IDE, it's a Prolog system with good constraints supp
237.
by yaantc 8y ago
> - There are some open source tools but until recently they were unable to parse the latest > language features used in LTE. > I am convinced it is designed to be hard to parse to protect the encumbents I don't think so, a
238.
by yaantc 8y ago
A nitpick. At top level: > Haskell/OCaml/Ada/F#/Coq (ML family of languages?) Then: > Languages like Ada might be better for experimental type stuff? It seems to me there's a confusion between Ada [1] and Agda
239.
by yaantc 8y ago
Bluetooth class 3 is 1 mW peak power, class 2 is 2.5 mW peak power. Those are the most relevant for a headset. For a cell phone, the peak power for 2G is 2W, while for 4G/LTE it's 200 mW. Those are peak transmit power. In practice
240.
by yaantc 8y ago
Thanks for your interest in local email clients, more choice there is welcome! In the description it is said one can file email with a key, by associating folders to keys. Keyboard operation is very important to me. However direct key/

More ›