giovannibajo1

12 ms·

1. 61.▲
   by giovannibajo1 6y ago

   I’d like proof that humans are better at recollecting two weeks of random encounters on the streets, compared to an imprecise Bluetooth app. Immuni (Italian app) has been analyzed and certified as GDPR compliant by the Italian privacy watch
2. 62.▲
   by giovannibajo1 6y ago

   It's not under an open source license, though. Any idea why?
3. 63.▲
   by giovannibajo1 6y ago

   Looks nice! Why is "SAP" holding the copyright? In Italy, the government acquired the copyright of the app (it was donated by the company that won the tender to develop it).
4. 64.▲
   by giovannibajo1 6y ago

   This shows the application and gives an overview of how the product works for the citizen: https://github.com/immuni-app/immuni-documentation/blob/mast... This the main technical documentation document: http
5. 65.▲
   The Italian Covid contact-tracing app is now developed in open source(github.com)

   443 points by giovannibajo1 6y ago|147 comments
6. 66.▲
   by giovannibajo1 6y ago

   Actually, setc is the idiomatic way, and doesn’t depend on the previous value of the destination register so it’s much faster to execute because it has no dependencies
7. 67.▲
   by giovannibajo1 6y ago

   Google please, do not screw up Meet. It’s a good product, it works, it’s stable, it has hardware support, it has POTS integration. Please please please.
8. 68.▲
   by giovannibajo1 6y ago

   unsafe lets you exit the small subset of code patterns whose safety the compiler can prove. Not everything that you write in unsafe is necessarily unsafe: it only means that the compiler can't prove it. Another way of thinking: if unsa
9. 69.▲
   by giovannibajo1 7y ago

   Nice. It reminds me of how compilers generate the optimal sequence of ADD+MUL for a division by a constant; in that case, the algorithm is simpler and has been synthesized in closed form, so the compiler can simply implement the logic (it d
10. 70.▲
    by giovannibajo1 7y ago

    The DMA transfers 64-bit words per each bus clock cycle between the main shared memory (RDRAM) and the internal RSP 4K DMEM (or IMEM, to transfer code). So it's quite fast, but you need to remember that the main RDRAM is shared among t
11. 71.▲
    by giovannibajo1 7y ago

    Meet has a 10-letters ID for meetings over HTTP and a 9-numbers ID (like zoom) for phoning in. It sounds complicated but in practice every Meet invitation has a single-tap phone link that dials the correct number and input the conference
12. 72.▲
    by giovannibajo1 7y ago

    For H264? Basically everything. Vector registers are 8 lanes, signed 16-bit, so they map quite well to per-pixel calculations on each plane (YUV), which is what video codecs do, as you can process 8 pixels at a time, and you have 16-bit pre
13. 73.▲
    by giovannibajo1 7y ago

    Yes unfortunately they're very specific of MPEG1, so they're not really useful for other codecs in the MPEG family. I'm not using them in my H264 implementation (see sibling answer).
14. 74.▲
    by giovannibajo1 7y ago

    Hi, I'm the guy working on that. I've actually since moved to port a H264 implementation to N64. It's been a long journey and I'm now at around 18 FPS, after nights of manual RSP assembly optimizations, vectorizing most
15. 75.▲
    by giovannibajo1 7y ago

    Before that, when they had the shady web server, the zoom application would pop up immediately connected to the right meaning, as your browser would be “waking it up” via http. It looks like they still haven’t fixed this after they removed
16. 76.▲
    by giovannibajo1 7y ago

    There’s a chrome extension to do tiling: https://chrome.google.com/webstore/detail/google-meet-grid-v... Which is even more infuriating because it shows that missing tiling in Meet is just a frontend issue. I’m co
17. 77.▲
    by giovannibajo1 7y ago

    Lids are thin, much thinner than a phone. You can’t really feel bigger optic in there.
18. 78.▲
    by giovannibajo1 7y ago

    Then how can Macs be charged if they are fully exhausted?
19. 79.▲
    by giovannibajo1 7y ago

    I’m writing a largish (~15k) hobby program in Rust. I’ll focus on negative points, there are many positive. Compilation time is terrible, I need something between 20 and 40 seconds for edit-compile-cycle (MacBook Pro 2016, i7, 16gb ram) whi
20. 80.▲
    by giovannibajo1 7y ago

    I think TYPE would also treat ^Z as a terminator of the file. I think it was common in DOS to have binary files with a textual header followed by ^Z, that would hide the binary part.
21. 81.▲
    by giovannibajo1 7y ago

    Mortality rates are low because hospitals are working. Intensive care beds in Italy are projected to be full in less than 10 days. You’ll see the rate grow by then.
22. 82.▲
    by giovannibajo1 7y ago

    Thanks, exactly what I was looking for!
23. 83.▲
    by giovannibajo1 7y ago

    Is there any explanation of this? Specifically i would like to understand how a single mutable reference is required for correctness in a single thread scenario. I’ve googled everywhere but I can’t find a single source of information that c
24. 84.▲
    by giovannibajo1 7y ago

    I think .replace() is a mistake, and it shouldn't exist in the first place. The way dates work, replacing a single component is almost always going to create problems in specific cases.
25. 85.▲
    by giovannibajo1 7y ago

    Automated renewal doesn’t mean that you don’t need to have monitoring. I’ve seen many letsencrypt-baked servers generating certificate errors because the automated renewal system broke (misconfigurations, borked updates, corporate-level fir
26. 86.▲
    by giovannibajo1 7y ago

    The big difference is that in Rust control flow is still explicit. All functions returning errors must declare so with Result, which in turns makes it impossible to forget to handle it on the call site. This forces you to think: what should
27. 87.▲
    by giovannibajo1 7y ago

    My company has been a Qt partner for 10 years now. It’s embarrassing how many companies we met that were not complaining with the open source license — most of them did comply after they talked to us though. Our market (Italy) is specially
28. 88.▲
    by giovannibajo1 7y ago

    This seems a method for enterprise administrators that centrally manage Chrome installation. That page doesn't seem to show a way for third-party software providers to bundle extensions into installers.
29. 89.▲
    by giovannibajo1 7y ago

    I haven’t followed closely, but Chrome took many steps over the years to make sure software installers couldn’t sneakily install extensions. How is this possible?
30. 90.▲
    by giovannibajo1 7y ago

    Impressive achievement!