giovannibonetti

8 ms·

1.
by giovannibonetti 15d ago
For frontend web development, Elm enforces a pure core (pure > deterministic).
2.
by giovannibonetti 15d ago
I have been trying to tell the folks at work the same thing. Ideally, using a language that goes in that direction. For frontend web development, for example, there is Elm, which is pure and functional.
3.
by giovannibonetti 29d ago
Maybe learn Rust as a middle ground between ML and C, then? It has sum types like ML and teaches you memory management like C.
4.
by giovannibonetti 1mo ago
Shotout to PowerSync for enabling companies to go in the opposite direction and build offline-first apps. My company is a (production) customer, and we recommend it.
5.
by giovannibonetti 2mo ago
> Companies want everything to be push instead of pull. This reminds me of Instagram's search page, which is full of animated videos jumping at you to dissuade you from completing the search you wanted and just click on what they wa
6.
by giovannibonetti 2mo ago
Disappointed, since I was expecting they would rewrite the implementation from C++ to Zig. I bet that would increase the number of positive pull requests they get, since most developers prefer to stay away from C++ nowadays.
7.
by giovannibonetti 2mo ago
I see many comments comparing PgBouncer with application connection poolers without addressing the conceptual difference between them. Here it is: 1. Most application connection poolers follow a first-in-first-out (FIFO) algorithm, which is
8.
by giovannibonetti 2mo ago
Not necessarily. You design your data model to prioritize (1) correctness and (2) performance. It doesn't have to resemble the UI at all, as long as the UI can fit on top of it with some abstractions. Some examples that come to mind: -
9.
by giovannibonetti 2mo ago
E2E encryption means that if the user loses the keys, there is no way to recover that even if they contact support and prove the data belongs to them.
10.
by giovannibonetti 2mo ago
In some romantic languages less and fewer are the same word, so it is a common mistake for people that have them as their mother tongue.
11.
by giovannibonetti 2mo ago
I wonder how we could handle that in a simpler way with durable workflows (e.g. Temporal, Restante, DBOS) – which are similar to Erlang processes but with persistent disk storage. This could avoid the need to maintain the 1000 row inventory
12.
by giovannibonetti 2mo ago
Instead of spending all of this effort trying to optimize an OLAP data lake for an OLTP use case, why not ust use a regular OLTP database like Postgres or MySQL? Even if the data size is "infinite" you can put it on PlanetScale or
13.
by giovannibonetti 2mo ago
> For example, for 360p video at 30 fps, where H.264 requires 1 Mbps, MLVC requires roughly 122 kbps for equivalent quality — about one-eight the bitrate under real-time conditions. The inference compute was kept approximately equal for
14.
by giovannibonetti 2mo ago
> It is just a really awful system overall. You mean for the user. It is great for the insurance companies, though, since tying health insurance to employment indirectly keeps the average user age lower, thus making the overall scheme mo
15.
by giovannibonetti 3mo ago
> FOR UPDATE SKIP LOCKED > The best way to think about this Postgres feature is that it reserves the rows that you’re selecting for use in your transaction without interfering with other queries. We use it primarily for implementing o
16.
by giovannibonetti 3mo ago
> The reason I think it’s useful to view queries as binary—they either seq scan or they don’t seq scan—is: the more you micro-optimize a query, the more of a risk you take that the query planner goes rogue. If you stick to querying by pr
17.
by giovannibonetti 3mo ago
> Because of all these connection footguns, external connection poolers like pgbouncer are great! If you can’t add this for whatever reason, in-memory connection poolers are a great second option. For example, because Hatchet is open-sou
18.
by giovannibonetti 3mo ago
This reminds me of the Flix programming language [1], which has annotated effects like so: def main(): Unit \ { Clock, Http, Logger, IO } = ... [1] https://flix.dev/
19.
by giovannibonetti 3mo ago
This reminds me of this Bjarne Stroustrup's Rule (creator of C++): - For new features, people insist on loud, explicit syntax. - For established features, people want terse notation Hillel Wayne [1] argues that the same applies for the
20.
by giovannibonetti 3mo ago
> That's fewer moving parts, one load-bearing system instead of two... When I saw "load-bearing" I remembered the other discussion in the frontpage explaining how to prevent Claude from saying that so often.
21.
by giovannibonetti 3mo ago
Perhaps what is missing is a better memory/caching layer to avoid doing the same for explorations over and over again.
22.
by giovannibonetti 3mo ago
I wish LaunchDarkly and other feature flag providers supported protocol buffers to MN define the feature flag schema. It would be a game changer when you have complex variations and end up reaching for untyped JSON.
23.
by giovannibonetti 3mo ago
Property testing and deterministic simulation seem like good alternatives.
24.
by giovannibonetti 3mo ago
Shout-out to PowerSync for making it easier to develop fast offline-first mobile apps. It pushes data from Postgres/MySQL/SQL Server subscriptions to a SQLite into the user's mobile device, avoiding the need for many loading
25.
by giovannibonetti 3mo ago
It would be even cooler if it was made with a Lisp and took advantage of it being homoiconic.
26.
by giovannibonetti 3mo ago
Those looking for a more mature solution in this space will probably enjoy SQLc [1]. It was initially developed for Go applications, but over the years it got pluggins for many other languages, including JavaScript/Typescript. [1] htt
27.
by giovannibonetti 4mo ago
> but seeing how Lustre does HTML templating versus how Phoenix does Heex was my deciding factor to try the latter. My understanding is this is because of a current lack of any macro system. When I worked with Ruby on Rails I was "a
28.
by giovannibonetti 4mo ago
For those of you a similar SPA-type app with more type safety – which is even more useful for writing code with AI – you may want to have a look at the Gleam language and the Lustre web framework [1]. It combines the best of Elixir and Elm.
29.
by giovannibonetti 4mo ago
Given that it has only two commits, where the first one is just "done", I would guess a substantial amount.
30.
by giovannibonetti 5mo ago
If it's going to be read-only, why not make it a Parquet file instead? It should result in a smaller file size due to columnar compression. DuckDB has built-in capability to read Parquet files with HTTP range requests.

More ›