Ralf Vogler

doing static analysis of C in OCaml

[Ralf Vogler @voglerr]

@uni051921 @DeadCatBounceX Bekommt doch wsl eh nur 10-20% davon zugeteilt bei Trade Republic.

[Ralf Vogler @voglerr]

@scarborough @snzerox @trakt Actually, no need for API. Could get all my data from local storage:
https://t.co/Z14HyF0lpU

[Ralf Vogler @voglerr]

@DennisRas @trakt @morhac Was curious. Looks like everything's there for me🙂

[Ralf Vogler @voglerr]

@scarborough @snzerox @trakt Of course. Don't know why you overinterpret my reply. Just pointed it out as an option since many people are not aware. I'll wait for the rest and then export via their API.

[Ralf Vogler @voglerr]

@DennisRas @trakt @morhac Was curious. Looks like everything's there for me🙂

[Ralf Vogler @voglerr]

@AlissonSteffens @stringsoft1 @trakt EU residents can do a GDPR request to get their data.
You should be able to get everything via their API as well. You can try this: https://t.co/pturfnqyvx

[Ralf Vogler @voglerr]

@morhac @trakt Yea, just also tried to check what's there, but don't know how it's encoded.

[Ralf Vogler @voglerr]

@trakt @Marchallada Are the times also cached? Then I'd try to backup some data before using the website. How can I decode this?

[Ralf Vogler @voglerr]

@snzerox @trakt EU residents can do a GDPR request. Don't know how they'd respond to it, but I think they'd have to give you your data.

[Ralf Vogler @voglerr]

@stringsoft1 @AlissonSteffens @trakt Not true for free accounts. I tried exactly a month ago and didn't want to spend 30$ for VIP to get *my* data. Better should have apparently😑 Could have made a GDPR request as well🙄
At least I imported everything to https://t.co/RqIPYQWmWV, maybe I can get the data from there.

[Ralf Vogler @voglerr]

@EYakawitz @great_vc @trakt I wanted to some time ago, but didn't see any export in the free version :(

[Ralf Vogler @voglerr]

@Unbanne51959852 @trakt I tried https://t.co/zRcx47yAJO, but didn't like the interface. Imported everything from trakt.

[Ralf Vogler @voglerr]

@Google My #Pixel5 just randomly died while using it - 1 week over warranty 😭 Now I see that I lost hundreds of open tabs in Chrome. How can you not save this data? 🤯 'Tabs from other devices' just shows a few tabs. Takeout just has history data. #fail Don't want a #Pixel7 now.

[Anastasia Isychev @izycheva]

Next time I answer the question “which underrepresented group you identify with?” I’m gonna put “formal methods community” right next to “women in CS”

[Paul Shen @_paulshen]

demo of code explorer 02
• panes always open to the right
• pane only shows semantic unit (eg function)
• find references
• drag panes around

Try it https://t.co/ysdgWPs7UA

[Ralf Vogler @voglerr]

@DerekNonGeneric @liagason Why no runtime? C# needs the .NET runtime, no? Probably faster than nodejs, but IMO bad performance will more likely be due to the wrong data structures than the language.

[Ralf Vogler @voglerr]

@HaraldZe @ghost_berlin @LageNation @philipbanse @vieuxrenard Wir drehen uns im Kreis. Wenn jemand eh nicht vorhat sich daran zu halten, wird er/sie die App wohl nicht installieren. Zwang ist nicht sinnvoll und auch gar nicht umsetzbar. Wird sich dann ja zeigen wie viele mitmachen. Zweifeln kann man viel, bringt halt nichts.

[Ralf Vogler @voglerr]

@HaraldZe @ghost_berlin @LageNation @philipbanse @vieuxrenard Schon die App allein bringt laut dem Paper halt einfach sehr viel (>60% Nutzung für R<1).
R = 2 = 0.9 präsymptomatisch + 0.8 symptomatisch + 0.2 Umwelt + 0.1 asymptomatisch.
https://t.co/7CzEsj0E4D

[Ralf Vogler @voglerr]

@HaraldZe @ghost_berlin @LageNation @philipbanse @vieuxrenard Muss ich das jetzt erklären? Je mehr R durch App/Masken/Vernunft/whatever gedrückt wird desto mehr Freiheit hat man an anderer Stelle. Ich denke den Peak bei der Vernunft haben wir überschritten.
Kontaktverfolgung ohne App ist zu langsam weil ~50% der Infektionen vor Symptomen.