yaantc

20 ms·

151.
by yaantc 6y ago
As said by @dwohnitmok it depends on the domain you consider. If you have a proposition quantifying over objects and functions operating on said objects, it's second order. But if you have a proposition considering only said functions
152.
by yaantc 6y ago
Normal practice is not that formal (except for logicians ;), but would definitely be second order logic. It's common to quantify over "all functions such that..." or over set of sets for example. Second order logic is more ex
153.
by yaantc 6y ago
In first order logic one can only quantify over objects of the domain: in "for all x such that ..." the variable "x" represent an object. In second order logic, one can quantify over relations (and functions, sets...): &
154.
by yaantc 6y ago
In Ubuntu and Debian the dependency from pandoc to texlive is of the "suggests" type, not "required". So you do not have to install texlive to use pandoc. You may use an interactive front-end like aptitude and simply des
155.
by yaantc 6y ago
The mobile (UE) IP anchor is not the S-GW but the P-GW in the core network. For an established PDU session the IP address is fixed, and does not change during a handover. For information MIP is used between S-GW and P-GW (PMIP IIRC), so the
156.
by yaantc 6y ago
No, it's actually 521. I had some people helpfully trying to "correct" this to 512 in the past, it's a common attitude when seeing this for the first time ;) See for reference section G.1.4 page 58: https:/&#x2F
157.
by yaantc 6y ago
Yes, all the "eSIM" over-the-air management uses the STK for example. But to be fair, the user interface part is no longer used. The part of the STK still in use is what is required to support remote management functions between t
158.
by yaantc 6y ago
MIPS has excellent cores in the middle range (The "I class"). They can't compete at the high end with ARM, as high end need to be optimized for the latest processes in close cooperation with the leading fabs (TSMC and Samsung
159.
by yaantc 6y ago
Getting excellent battery life on Linux nowadays should be as simple as installing the "tlp" (the laptop project) package. I can't compare to a Mac, but I use both Thinkpad and Latitude and on both get better battery life on
160.
by yaantc 6y ago
Yes, and it reminds me of another effect: I don't have the reference at hand, but I read about a study showing that to "feel full" you need a lower intake of strong taste food versus bland food. Then the Roquefort definitely
161.
by yaantc 6y ago
As a French, that seems a very reasonable amount to me. The article says this amount covers one or two servings, and it seems about right although I don't have a balance at hand to check it ;) Use small helpings, of tasty cheese. One p
162.
by yaantc 6y ago
After several Win10 upgrades nuked grub on a dual boot system, I have found a much simpler process. Create a rEFInd [1] USB boot key once and for all. Then whenever grub is hosed, boot on this key: rEFInd will find the Debian partition and
163.
by yaantc 6y ago
I don't see an English translation for "jardinage", which is a colloquial term used for a software memory corruption. I've seen many native French speaker translate it directly and talking of "gardening", but i
164.
by yaantc 6y ago
Make sure TLP is installed, and it should be fine. I'm using mainstream laptops (Thinkpad, Latitude) and with TLP I have a better battery life with Linux than with Windows 10. https://linrunner.de/tlp/
165.
by yaantc 6y ago
This time is different ;) Look at the end of the GP link on multi-core Ocaml progress report: everything under the "OCaml" title is work on the upstream compiler. It's still limited, but the upstreaming process has started.
166.
TSMC Ariz Fab a Tangled Web(eetimes.com)
12 points by yaantc 6y ago|0 comments
167.
by yaantc 6y ago
This new fab capacity will only be a small fraction of TSMC total capacity, and nowhere near enough to serve the US domestic needs. So it won't really change the economic dependency on Taiwan fabs. It will provide some local US support
168.
by yaantc 6y ago
Some distros have significant Emacs start-up configurations, which have an impact on start-up time. Using "-Q" skips this too. It's the case for Debian, so Ubuntu too I guess. I used to use "jed" as a close to Emacs
169.
by yaantc 6y ago
In the Emacs manual, read the "Saving Emacs Sessions" chapter (or get there from the 'desktop-save-mode' function documentation). Emacs can save and restore your current session, with opened files and windows layout, and
170.
by yaantc 6y ago
The distributed operation I consider necessary for something to be called blockchain technology. Git is an example of a Merkle tree [1], which definitely is a key component of a blockchain but not enough on its own. One also need a distribu
171.
by yaantc 7y ago
According to Phoronix it's in: https://www.phoronix.com/scan.php?page=news_item&px=Firefox-...
172.
by yaantc 7y ago
> and some of them do indeed require mathematical proof of correctness > (EAL6+ being a key standard) Nitpick: EAL6 is still semi-formal, EAL7 is formally verified design and tested. EAL7 is very rare, on the CC certified products pag
173.
by yaantc 7y ago
Eclipse CLP (no relation to the IDE ;) has good built-in support and can also interface to many external solvers. It's open source. https://eclipseclp.org/
174.
by yaantc 7y ago
MiniZinc is a purely declarative problem description language. It's a way to describe a problem once, and feed it to different solvers easily. You can provide hints for the search, but there is no more control on the solving process. P
175.
by yaantc 7y ago
> For example, take the best programmer at your workplace and compare > how much better people like Fabrice Bellard are? In other words, what's > the Bellard ratio of your co-worker? 2x? 3x? Are five fingers enough o
176.
by yaantc 7y ago
No, it's the same bug. From the article: "... advising users to update to Firefox 72.0.1, which fixes the vulnerability".
177.
by yaantc 7y ago
Regarding TDMA only: it's part of IEEE time sensitive networking (TSN), which is intended to make Ethernet suitable for industrial application where short latencies and deterministic behavior are critical, and not guaranteed with stock
178.
by yaantc 7y ago
The Japan government has a huge debt. But it is mostly owned by Japanese people and firms. If you look at the whole Japan country, state, people and companies together Japan is not in debt, but is a net creditor. So very different from th
179.
by yaantc 7y ago
Not really, it's a commonly used scheme. Read on gap buffers: https://en.wikipedia.org/wiki/Gap_buffer It's really an array with a gap at the cursor location. Used by emacs and others for decades.
180.
by yaantc 7y ago
Yes, listing alternatives is a really good thing. Another alternative (not from me, just an user): https://github.com/NoraCodes/charpicker It's just shell and rofi, and from an IDE can easily be hooked to a key

More ›