Viewing profile — jose_zap

Si by by

> the tooling is decades behind, say, Rust or Go That's definitely not true, even if that was true maybe 6 years ago. As someone who's uses Haskell daily and also many other langua…

We have been using statecharts at our company for all business processes after I wrote an interpreter for them inside Postgres. It has been a great experience so darn it makes proc…

No, it can be any pure function or IO. Both will get interrupted.

Haskell would be one of them. It features transactional memory, which frees the programmer from having to think about explicitly locking.

That was definitely true many years ago. Nowadays Haskell has some really good tooling. It has a feature-rich LSP, code formatter, package manager, dead-code checker, configurable …

> Postgres offers strictly serializable isolation indeed, but IIUC it's basically a form of read locking so will tank performance. It will not. We use it at work for all transactio…

Interestingly, the naive solution presented in this article is O(n) thanks to laziness.

That’s floating point, though. Not Double. Floating point has the same gotchas in all languages because it is a defined standard.

Haskell has & which goes the other way: users & map validate & catMaybes & mapM persist

The screenshot looks like a copy of the hasura web console. The same looks also similar to Hasura’s internal RQL. I wonder if this is just a coincidence.

Yes, it is possible to linearize it. You can, for example use do notation: result In the above example the do notation will unwrap the values as an and b, but if one of the results…

We do that at our company, it's been great

The UN Human Rights Council issued a warning that its independent fact finding mission found that the Supreme Court lacks independence, and therefore cannot be trusted in this matt…

> imagine being able to insert `print(a)` into your program to see what's in the `a` variable at a specific time. Hey, I know that's not pure, but it's still damn useful. In Haskel…

Here’s a FAQ about the security features of the voting machines https://www.smartmatic.com/wp-content/uploads/2022/11/FAQ_Cy... I also agree the parties should disclose the public …

Witnesses representing political parties are entitled by law to a copy of the tally before the machine sends its results to a central server. Each copy must be signed by all witnes…

There is no need to do any difficult OCR, the QR code contains the tally in machine-readable format. You just need a phone and copy the result to a csv file

The images can be corroborated by the random string that is printed at the bottom. It’s a digitally signed hash of the tally for that machine. Political parties have access to the …

The electoral system in Venezuela mandates electronic voting. By law, each machine must print its results before sending the tally to a central server. Multiple copies are printed.…

We use https://sqitch.org/ and we’re fairly happy with it. Sqitch manages the files to deploy which are applied fits to a local database. We use GitHub actions for deployment and d…

Researchers should tick a checkbox “I swear I did not hack the data” before submitting a paper to a peer-reviewed journal to prevent this kind of misconduct.

Yes, it has happened to me on Spotify multiple times. More often, they change a song with a different version (e.g. same song from a different album or recorded live performance)