jose_zap

6 ms·

1.
by jose_zap 5d ago
That’s funny. I reported that same ad last week to Google and got an email this morning saying that they were not violating any terms.
2.
by jose_zap 18d ago
That’s how perception works. We only see what we want to see, and discard or explain away the rest.
3.
by jose_zap 2mo ago
Si by by
4.
by jose_zap 4mo ago
> 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 languages, I can see Haskell's tooling as more
5.
by jose_zap 5mo ago
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 processes very resilient against change and very easy to come ba
6.
by jose_zap 6mo ago
No, it can be any pure function or IO. Both will get interrupted.
7.
Using Haskell in Production(agentultra.com)
22 points by jose_zap 1y ago|0 comments
8.
by jose_zap 1y ago
Haskell would be one of them. It features transactional memory, which frees the programmer from having to think about explicitly locking.
9.
by jose_zap 1y ago
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 linter, thread debugger, memory debugger, vulnerabilities ch
10.
by jose_zap 1y ago
> 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 transactions and its is very performant.
11.
by jose_zap 1y ago
Interestingly, the naive solution presented in this article is O(n) thanks to laziness.
12.
by jose_zap 1y ago
That’s floating point, though. Not Double. Floating point has the same gotchas in all languages because it is a defined standard.
13.
by jose_zap 1y ago
Haskell has & which goes the other way: users & map validate & catMaybes & mapM persist
14.
by jose_zap 2y ago
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.
15.
by jose_zap 2y ago
Yes, it is possible to linearize it. You can, for example use do notation: result <- do a <- someEitherValue b <- anotherEitherValue return (doStuff a b) In the above example the do notation will un
16.
by jose_zap 2y ago
We do that at our company, it's been great
17.
by jose_zap 2y ago
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 matter. https://x.com/UN_HRC/status/18
18.
by jose_zap 2y ago
> 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 Haskell that’s Debug.Trace.traceShow. You can us
19.
by jose_zap 2y ago
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 key and the parameters
20.
by jose_zap 2y ago
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 witnesses and also contains a digitally-signed hash of the tally a
21.
by jose_zap 2y ago
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
22.
by jose_zap 2y ago
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 signing key and can verify that the signature matches.
23.
by jose_zap 2y ago
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. One goes to the CNE, another goes to the military, and seve
24.
by jose_zap 2y ago
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 database migrations are just one step of the
25.
by jose_zap 3y ago
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.
26.
by jose_zap 3y ago
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)
27.
by jose_zap 3y ago
The service looks very interesting
28.
by jose_zap 3y ago
Haskell. It has a bigger ecosystem, although nowhere close to python’s
29.
by jose_zap 3y ago
That’s how Haskell async works. You mark the call as async, not the function itself.
30.
by jose_zap 3y ago
I work at one of those fintech companies using Haskell in production. Hiring was actually Haskell’s strong side. I managed to hire 6 engineers in only one month. There were more than 50 applicants to the position. Just the idea of using Has

More ›