archi42

87 ms·

1. 871.▲
   by archi42 7y ago

   Hm, not wanting Google on my device? ;-) But yeah, I could probably use it.
2. 872.▲
   by archi42 7y ago

   I'm using this on a HTC 10 for 9 to 12 months now (on an inofficial LineageOS build). Only major quality of life issue is the lack of system-wide weather data (e.g. Garmin Connect is unable to display weather on my fitness tracker). Mi
3. 873.▲
   by archi42 7y ago

   IMHO to support Ruben's cause, we should all request our data from Facebook. At least those of us who are eligible for that "privilege". A hand full of people are just an annoyance and can be easily stalled. But to stall many
4. 874.▲
   by archi42 7y ago

   I feel the same, but fondly remember the old last.fm recommendations. Those were pretty good (I hope that's not just nostalgia speaking). Plus browsing scrobbles [=playback history] of people with similar tastes was a good way to find
5. 875.▲
   by archi42 7y ago

   I think clementine (based on/inspired by Amarok 1.4) supports spotify - at least they say so on their website. However, I (used to) use it only for my local music and switching to spotify for, well, spotify. https://www.clem
6. 876.▲
   by archi42 8y ago

   I have to strongly agree with the first part regarding the so called "out of control costs": Yeah, electricity is much cheaper in the US than here, but so what? Often people on HN (especially those in the states) make claims like
7. 877.▲
   by archi42 8y ago

   The Civic is indeed renown for needing few repairs. The stuff I listed still has decent odds of breaking for most cars - while many/most of these parts are not present for BEVs. The 100k claim is of course utter BS for a modern car (or
8. 878.▲
   by archi42 8y ago

   https://isitdownorjust.me/reddit.com/ there are plenty of these services, why ask on HN? o0
9. 879.▲
   by archi42 8y ago

   And various belts replaced, fluids changed, ignition plugs swapped, starters break, climate compressor (or its clutch) sometimes break... Also turbos, [automatic] transmissions and [manual] clutches are prone to cause trouble. Electric syst
10. 880.▲
    by archi42 8y ago

    Exactly! We are using this in our compiler test farm for the quick test runs. Sadly, the release prior to 4.0.0 broke floating point handling of NaN on (at least) PowerPC e5500 :( I'm looking forward to test qemu 4.0.0 once I'm ba
11. 881.▲
    by archi42 8y ago

    I found fatigue mostly depends on the other traffic. In my 2003 Volvo S60 I can do 800km [500mi] of Autobahn with virtually zero fatigue (basic cruise control and better seats than in my living room) -- with little traffic and mostly cruis
12. 882.▲
    by archi42 8y ago

    I've heard the same for law studies at several German universities. Sometimes a few pages are ripped out or important paragraphs blackened. The intention is to put your fellow students at a disadvantage in the exams.
13. 883.▲
    by archi42 8y ago

    I believe GP wanted to say that Symbolic Execution is a subset of Abstract Interpretation; because here the prolog expert is wrong: SE is not strictly equal to AI (though I'd gladly believe he didn't actually meant to say that). A
14. 884.▲
    by archi42 8y ago

    Uhm, you know how Xerox got famous only a few years ago for messing up when scanning some characters? E.g. 9 and 6, or 8 and 0. Of course things should be good with that method. But they should also be good with some proper crypto.
15. 885.▲
    by archi42 8y ago

    That doesn't solve the > [...] my expert says your expert is wrong and so it is/isn't fraud.
16. 886.▲
    by archi42 8y ago

    Hey, I just checked. The course is still offered, but the lecture notes are only available from within the university network.
17. 887.▲
    by archi42 8y ago

    No. Neither is it an error in the article, since they use the same term in their paper: https://people.eng.unimelb.edu.au/vjteague/UniversalVerifiab... It seems there is a class of commitment schemes that's called
18. 888.▲
    by archi42 8y ago

    In my crypto lecture we did automatic protocol verification using proverif. Since here the implementation is at fault, and not the protocol, the next thing seems to be a (proven) compiler from the (proven) protocol specification to an imple
19. 889.▲
    by archi42 8y ago

    I'm running LineageOS + MicroG on mobile, Firefox with DuckDuckGo as default search (both mobile and desktop). My Firefox on desktop has heavy tracking and JS blocking. Temporarily whitelisting every domain in NoScript is a bit annoyin
20. 890.▲
    by archi42 8y ago

    This really depends on what you're doing. I suppose most of the code I've written in the last two decades wouldn't have profited from using coq. BUT then there's CompCert, an optimizing compiler written in coq [I'm
21. 891.▲
    by archi42 8y ago

    While you're right, I can't help but notice: It's important to know the difference between "composition" and "symposium" ;-)
22. 892.▲
    by archi42 8y ago

    1st thought: Reminds me of inetd Clicked link: This is inetd ;-) Inetd on wikipedia: https://en.wikipedia.org/wiki/Inetd Inetd on NVD: https://nvd.nist.gov/vuln/search/statistics?form_type=Bas
23. 893.▲
    by archi42 8y ago

    Look at kickstarter for hugely overfunded projects. I think of the typical "If we get 50,000 US$ we build you a 3D printer for 400 US$". And then, some time later: "whoops, we burned through the 10,000,000US$ we made on KickS
24. 894.▲
    by archi42 8y ago

    Here in Germany we have an ongoing issues with the whole VW (and others) cheating on emission tests with their diesel engines; this leads to some cities banning older diesel cars (usually Euro 5 emission rating and lower) from some areas or
25. 895.▲
    by archi42 8y ago

    The most valuable point for me: Gamification! A friend of mine wrote his master's thesis on that topic. And yeah, turns out it works really well if done right ;-) Regarding the rest of the text: I wonder what value people using these a
26. 896.▲
    by archi42 8y ago

    Uhm, I can see what they're aiming at. But there a lot of legacy videos which have useful information in the annotations. I think 80% of the car repair videos I watched the last month had annotations with nice details, and I can see th
27. 897.▲
    by archi42 8y ago

    We do "kind of that": Our source is split across various cpp files to keep it well organized. Our build scripts then generates a single cpp file with ~30 #includes. Compilation of the 11Mb object file takes about 30s and requires
28. 898.▲
    by archi42 8y ago

    I used NanoDroid - worked quite well :) I'd still prefer to build a LOS with MicroG integrated, but it's difficult to get the required information from the folks at xda-dev...
29. 899.▲
    by archi42 8y ago

    The problem is not Google itself, the problem are the Google Services coming with every phone (often plus two Facebook Apps, plus Instagram, plus some manufacturer specific stuff - mine was spamming me once a month with "Why don't
30. 900.▲
    by archi42 8y ago

    Thanks :), but as I said: > If you already have a LineageOS-supported device, you can grab a prebuilt LineageOS+MicroG image from the MicroG site. I redacted a lengthy part of my comment since I felt it wouldn't add anything to the