Hacker News: jose_zap

New comment by jose_zap in "Haskell Foundation 2026 Update"

jose_zap — Thu, 21 May 2026 10:40:26 +0000

> 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 advanced than many others.

New comment by jose_zap in "Statecharts: hierarchical state machines"

jose_zap — Sun, 26 Apr 2026 20:41:23 +0000

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 back to after years.

The library is open source too:

https://github.com/kronor-io/statecharts

New comment by jose_zap in "What canceled my Go context?"

jose_zap — Sat, 07 Mar 2026 09:10:25 +0000

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

Using Haskell in Production

jose_zap — Tue, 09 Sep 2025 18:11:39 +0000

Article URL: https://agentultra.com/blog/using-haskell-in-production/

Comments URL: https://news.ycombinator.com/item?id=45185995

Points: 22

# Comments: 0

New comment by jose_zap in "Go is still not good"

jose_zap — Fri, 22 Aug 2025 19:56:41 +0000

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

New comment by jose_zap in "Solving `Passport Application` with Haskell"

jose_zap — Sun, 29 Jun 2025 06:30:26 +0000

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 checker, and much more.

That’s just what is provided by external tooling. Then, it also has everything the compiler has to offer, which is bit more than what most languages do. For example, you can now compile to JavaScript or WASM.

New comment by jose_zap in "OpenAI: Scaling PostgreSQL to the Next Level"

jose_zap — Sun, 25 May 2025 17:17:21 +0000

> 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.

New comment by jose_zap in "Silly job interview questions in Haskell"

jose_zap — Fri, 23 May 2025 18:36:30 +0000

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

New comment by jose_zap in "Ask HN: Is there any programming language that doesn't have WTFs?"

jose_zap — Mon, 21 Apr 2025 21:42:31 +0000

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

New comment by jose_zap in "Pipelining might be my favorite programming language feature"

jose_zap — Mon, 21 Apr 2025 14:46:49 +0000

Haskell has & which goes the other way:

    users
      & map validate
      & catMaybes
      & mapM persist

New comment by jose_zap in "Goodbye API. Hello RSQL"

jose_zap — Sat, 28 Sep 2024 15:39:04 +0000

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.

New comment by jose_zap in "Why Haskell?"

jose_zap — Thu, 12 Sep 2024 18:09:00 +0000

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 unwrap the values as an and b, but if one of the results is Left, the computation is aborted, returning the Left value.

This is one just of the many techniques available to make error checking linear.

New comment by jose_zap in "Why Haskell?"

jose_zap — Thu, 12 Sep 2024 15:08:07 +0000

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

New comment by jose_zap in "Venezuela's Supreme Court certifies Maduro's claims he won presidential election"

jose_zap — Thu, 22 Aug 2024 18:48:49 +0000

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/1826624015097888919

New comment by jose_zap in "Go is my hammer, and everything is a nail"

jose_zap — Fri, 16 Aug 2024 17:38:48 +0000

> 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 use it in pure code too.

New comment by jose_zap in "Suspicious data pattern in recent Venezuelan election"

jose_zap — Fri, 02 Aug 2024 12:08:05 +0000

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 to calculate the hash.

The code and the keys are stored in a database that is audited by political parties before the election. What I’m not certain about is whether they have access to it at this time.

Proving the validity of the acts should be trivial, especially for any party who had access to the audited database. There is little point in forging fake ones.

New comment by jose_zap in "Suspicious data pattern in recent Venezuelan election"

jose_zap — Fri, 02 Aug 2024 07:52:13 +0000

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 at the bottom of the receipt.

New comment by jose_zap in "Suspicious data pattern in recent Venezuelan election"

jose_zap — Thu, 01 Aug 2024 10:27:50 +0000

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

New comment by jose_zap in "Suspicious data pattern in recent Venezuelan election"

jose_zap — Thu, 01 Aug 2024 10:25:45 +0000

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.

New comment by jose_zap in "Suspicious data pattern in recent Venezuelan election"

jose_zap — Thu, 01 Aug 2024 07:13:47 +0000

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 several others are given to witnesses representing different political parties.

Each copy must be signed by all the witnesses, including the representative from the CNE.

The opposition candidate gathered as much as 80% of the total printouts and made them available for everyone to see and analyze.

Printouts can be validated because the result is digitally signed with a key that is known to the political parties and other organizations. The signature is at the end of each printout.