HN user

federicoponzi

2,910 karma

Computer scientist. Interested in [distributed|operating] systems, system programming and nerd stuff. http://fponzi.me

Posts299
Comments88
View on HN
iquilezles.org 1y ago

Inigo Quilez: computer graphics, mathematics, shaders, fractals, demoscene

federicoponzi
349pts29
morsecode.world 1y ago

Morse Code Timing – Morse Code World

federicoponzi
2pts0
devblogs.microsoft.com 1y ago

Working through things on other OSS – .NET Blog

federicoponzi
1pts0
tooslowexception.com 1y ago

Why should you care about .NET GC? – TooSlowException

federicoponzi
3pts1
www.research.autodesk.com 1y ago

Same Stats, Different Graphs: Generating Datasets with Varied Appearance

federicoponzi
1pts0
docs.tlapl.us 1y ago

TLA+ Official Wiki

federicoponzi
3pts0
trillian.mit.edu 1y ago

The /bin/true Command and Copyright

federicoponzi
3pts0
blog.fponzi.me 2y ago

Distributed Snapshots: Chandy-Lamport Protocol

federicoponzi
72pts4
blog.fponzi.me 2y ago

Lateral Thinking: examples of creative solutions

federicoponzi
1pts0
blog.fponzi.me 2y ago

Lamport Clocks

federicoponzi
2pts0
blog.fponzi.me 2y ago

Wolf, goat and cabbage problem TLA+ modeling

federicoponzi
2pts0
blog.fponzi.me 2y ago

TLA+ is easy if you know how to abstract

federicoponzi
3pts0
tayfunkayhan.wordpress.com 2y ago

Barer Metal Space Invaders – Tayfun Kayhan

federicoponzi
2pts0
paxosjokes.com 2y ago

Paxos Jokes

federicoponzi
2pts0
blog.fponzi.me 2y ago

Bare Metal Space Invaders

federicoponzi
2pts0
blog.fponzi.me 3y ago

Experiments with eBPF: Snitchrs

federicoponzi
6pts2
blog.fponzi.me 3y ago

One Complex Setup

federicoponzi
1pts0
brooker.co.za 3y ago

Surprising Scalability of Multitenancy

federicoponzi
75pts39
6min.zama.ai 3y ago

A 6 minute introduction to homomorphic encryption

federicoponzi
2pts0
arxiv.org 3y ago

Incompleteness Ex Machina

federicoponzi
3pts0
www.cs.cornell.edu 3y ago

Something You Know, Have, or Are (2005)

federicoponzi
1pts0
www.singlestore.com 3y ago

SingleStore’s Skiplist Indexes (2014)

federicoponzi
43pts4
fsgeek.ca 3y ago

Graph File Systems – A File Systems Geek

federicoponzi
5pts0
harelang.org 4y ago

The Hare Programming Language

federicoponzi
5pts0
blog.geomblog.org 4y ago

The Geomblog: A meta-proof about P=?NP

federicoponzi
2pts0
boredzo.org 4y ago

Everything you need to know about pointers in C

federicoponzi
4pts0
vale.dev 4y ago

Comparing Vale, JavaScript, C++, and Rust

federicoponzi
2pts0
math.andrej.com 4y ago

Seemingly impossible functional programs (2007)

federicoponzi
191pts45
docs.microsoft.com 4y ago

Hungarian Notation – Microsoft Docs

federicoponzi
3pts0
www.moserware.com 5y ago

A Stick Figure Guide to the Advanced Encryption Standard (AES)

federicoponzi
4pts0

Maybe it's because of the covid situation, but if you read the content of the email they sent to me (I've posted it in another comment) I probably didn't even have the chance to talk with a real human being. This is why I've reached out to HN. Hopefully I eventually be able to talk with someone though, thanks for the advice.

Is it, though? I assume they tried to reach out to him, and he just said "no I'm real and not spam thanks bye".

WRT your second suggestion, I disregard that option because:

1. Even though I own the trademark, I'm not selling anything. I wanted to own the trademark to avoid these kind of situation from happening.

2. IMO It's just not fair that I have to challange a scammer in this race, since he doesn't even have the right to be there in the first place. Google should just fix their broken process.

I don't think this is the "correct" path. Google should be more open to requests, and try to be more understanding on users' requests.

Anyway, as I wrote in another comment the person behind this is either a normal person using his home address or someone working for another company located at that address.

This means that Google has assigned the ownership to him already. I couldn't find any way for requesting the ownership to the entry, but only a "ask the owner access to this entry" page.

Also, a business might exists in that address, but it's certainly not called like my blog.

This is one of the things that got myself very mad at Google. They didn't even bother to put my name / surname in the response email they sent. The follow up response to my response, was a subset of the first response, and still without my name after "Sig. ".

In my last email with no response (4 days ago) I've asked to be called on the phone. They probably have a special place in /dev/null for emails sent by my address.

I cannot update my post anymore, but I already wrote it in another reply. The edit suggestions goes directly to the business owner. They can accept / deny the update request. I've also asked friends and colleagues to ask for the same edit and to report the listing as non existent but nothing happened.

The answer from the Google support I'm referring to in my post, is from a legal request I've sent to them.

This is the full response in Italian (this is the reason why I didn't attach it to the post):

    Gentile Sig.

    La ringraziamo per il suo messaggio.

    Le facciamo presente che Google è un fornitore di informazioni, non un mediatore. Forniamo informazioni su luoghi, attività commerciali e altre informazioni relative ad una particolare parola di ricerca di ricerca, ma non rivendichiamo alcun diritto sulle etichette associate a tali contenuti. Per ulteriori informazioni, la invitiamo a consultare i nostri Termini di servizio all'indirizzo https://www.google.com/policies/terms/. Per questioni riguardanti il marchio, la preghiamo di rivolgersi direttamente al proprietario della scheda o del luogo in questione. Se il proprietario dei contenuti in questione decide di modificare eventuali informazioni in seguito alla tua richiesta, tale modifica si rifletterà nella scheda la prossima volta che i robot di Google eseguono la scansione del relativo materiale di origine.

    Se ritiene che informazioni personali come il suo numero di telefono vengano visualizzate nei risultati di ricerca relativi a un'attività o a una località, può segnalare il problema tramite Google Maps seguendo le istruzioni riportate in questa pagina: https://support.google.com/business/answer/6163683

    Cordiali saluti,
    Il team di Google

Please notice that Sig. doesn't include my name in the email I've received.

This is google translate:

    We would like to point out that Google is an information provider, not a broker. We provide information about places, businesses, and other information related to a particular search word, but we do not claim any rights on the labels associated with that content. For further information, please consult our Terms of Service at https://www.google.com/policies/terms/. For trademark issues, please contact the owner of the listing or location directly. If the owner of the content in question decides to change any information following your request, this change will be reflected in the tab the next time Google's robots scan its source material.

    If you believe that personal information such as your phone number appears in search results for an activity or location, you can report the problem via Google Maps by following the instructions on this page:

I am the holder of the trademark, but I'm not sure it will be that easy unfortunately. The issue is that according to my research, there are no tech business located at that address. So maybe it's a private person or someone working in other businessess at that address. Also, since I have a feeling that there is a scammer behind this, I'm not sure if a robber will care about this kind of threaten. Of course it might be worth a shot, but I think it's incredible that google is allowing these kind of things to happen leaving users powerless. And I'm also kind of lucky because I hold the trademark (something valued zero at google, but it might help me getting out of this) but think about people not even knowing their website is associated to other businessess.

I like strongly typed and functional programming. But I would rather use a "pythonic" approach to solve problems in python. OFC there might be some cases where for example one of your dependency is python, and you still want to be able to write correct code. But in general, If you want types and functional constructs, IMO you should use something else.

It's definitely possible that there are more infected then reported. The issue is Italy is testing only people who are suspected to be sick in the first place.

Most of the people who got covid, are asymptomatic thus they probably won't be tested and added to the count.

This means that 10% is taken from a population of people who are both sick and symptomatic.

Since China is testing asymptomatic people as well, they should have a more precise ratio.

Thanks for the prompt response! Book-wise do you have any suggestions? I would be interested in acquiring some more knowledge on circuit prototyping and so on. As a side, was this your first design / iteration?

I'm writing a supervisor / init system in Rust, called Horust (from Horus "the one from the above" + Rust). It's inspired by supervisord, you define a service in toml with a bunch of properties (like start delay, restart strategies, start after another service and so on) and then you just let horust manage the system.

I've designed it with the use case of running multiple processes in a single container in mind. I know this is not a nice thing to do, but still people do it. I've not tried using it as an init system (yet) but it should be possible with the current features.

It's not released yet (https://federicoponzi.github.io/Horust/) but I hope to release it this week (MIT license). If anyone with some knowledge in Rust / Linux want to join the fun, feel free to hit me with a message @federico_ponzi.

Really interesting comment thanks! Do you have any more tips for improving in technical writing? Do you know of any other good book / course on this matter?

First of all - I kind of like the design of the website! It sucks a bit the broken back button though.

Also, a kind of funny thing: open dev tools, network tab, start monitoring, click on a tag or search for something and boom:

    location: "toronto"
    companyId: "cf4dc3ce-07b0-4c73-94ca-e6b0b05298d3"
    config: {isHighlighted: true, hasLogo: false, isPromoted: false, hasSocialMedia: true}
    status: "active"
    companyNameLower: ".."
    createdAt: "2020-01-20T02:25:08.078Z"
    views: 114
    text: "test automation engineergit, python, selenium, java, sentry, redistorontofull-time"
    expiresAt: "2020-02-20T02:25:08.040Z"
    updatedAt: "2020-02-04T15:26:41.590Z"
    desiredPosition: "Test Automation Engineer"
    amount: 59
    jobType: "full-time"
    applyUrl: "https://docs.google.com/forms/d/e/viewform?entry.1432237434=c7dd38b9&entry.1192563077=cfc6f88f"
    description: "....."
    id: "4c7ad16a-eecc-482c-a6a1"
    timesApplyClicked: 3
    productId: "ca731006-d129-4623-9991"
    tags: "git, python, selenium, java, sentry, redis"
    totalVotes: 0
    logo: false
    
Kind of TMI, like "views" or "timesApplyClicked". Not sure this was meant to be public.

edit: formatting

Update: there are also information about the company itself, which looks kind of sensitive data.

This is a 2014 article, the links points to an "authors correction" section and it's an update from 01 October 2019. They wanted to add very relevant references not listed in the original paper. Because scientists usually have to back their statements. And while in the linked article we have independent groups coming to the same conclusion (which doesn't necessarily make it right, but enhances the chances), I don't see you citing your sources.

I'm too lazy to back with some links my following statement, but usually in industry diversity is good. There are many frameworks and libraries, that have overlapping use cases. But with more choice it's easier to get the right tool for the job. Also maybe this framework is solving the same problem in a more clever way. So: yes, it's good to have smart developers contributing instead of starting new projects, but it's also good to have more diverse frameworks to choose from.