Readit News logoReadit News
tazjin commented on I tried Gleam for Advent of Code   blog.tymscar.com/posts/gl... · Posted by u/tymscar
lpil · 6 days ago
Hi, I’m the creator of Gleam!

The comment you are replying to is correct, and you are incorrect.

All OTP APIs are usable as normal within Gleam, the language is designed with it in mind, and there’s an additional set of Gleam specific additions to OTP (which you have linked there).

Gleam does not have access to only a subset of OTP, and it does not have its own distinct OTP inspired OTP. It uses the OTP framework.

tazjin · 6 days ago
(I know Erlang well, but haven't used Gleam)

The library the parent links to says this:

> Not all Erlang/OTP functionality is included in this library. Some is not possible to represent in a type safe way, so it is not included.

Does this mean in practice that you can use all parts of OTP, but you might lose type checking for the parts the library doesn't cover?

tazjin commented on Cloudflare outage on December 5, 2025   blog.cloudflare.com/5-dec... · Posted by u/meetpateltech
wat10000 · 14 days ago
That’s fine if it’s just some random office workers. What if every airline goes down at the same time because they all rely on the same backend providers? What if every power generator shuts off? “Everything goes down simultaneously” is not, in general, something to aim for.
tazjin · 13 days ago
That is literally how a large fraction of airlines work. It's called Amadeus, and it did have a big global outage not too long ago.
tazjin commented on Show HN: Build the habit of writing meaningful commit messages   github.com/arpxspace/smar... · Posted by u/Aplikethewatch
pxc · a month ago
> the day i have to explore history is the day i quit.

Huh? I do that all the time, and it's really useful. What is difficult or problematic about it?

tazjin · a month ago
One particular cynical reading of that could be "the day I'm held responsible for my code is the day I quit".
tazjin commented on Sustainable memristors from shiitake mycelium for high-frequency bioelectronics   journals.plos.org/plosone... · Posted by u/PaulHoule
jdiff · 2 months ago
There's an interactive story that has elements of this[0]. Many of the simpler objects don't have much capacity to think or feel on their own, but the corru equivalent of elevators are fully sentient beings capable of conversation and problem solving, and they're just kind of built to be quite satisfied helping move people around. Corru computers are capable of hosting entire communities of distinct intelligences, each program sentient and (mostly) dedicated to its role. Not all of them can be chatted up, the authorization/access control program understandably isn't very chatty, but it is an intelligent being.

It's a pretty enjoyable experience, and all of the graphics are ordinary HTML elements with 3D CSS transformations, which makes it super hackable and fun to crack open in an inspector.

All that to say, if the best chairs required intelligence, it'd be in everyone's best interest to make that intelligence real thrilled about ass.

[0] http://corru.observer/

tazjin · 2 months ago
In one of the Hitchhiker's Guide to the Galaxy books there was a bit about the company that makes Marvin, the depressed robot, also making sentient elevators. These elevators had issues with getting depression, and the companies using them in their office buildings would hire psychology students to talk to them on the basement levels and convince them to go up again.
tazjin commented on TigerBeetle and Synadia pledge $512k to the Zig Software Foundation   tigerbeetle.com/blog/2025... · Posted by u/jorangreef
tm11zz · 2 months ago
> We run a fuzzing fleet of 1,000 dedicated CPU cores 24/7.

that a lot

tazjin · 2 months ago
Assuming they're being economical (and considering the level of thinking TigerBeetle seems to put into stuff - they probably are) this might be only a few beefy physical servers.

For them it seems safety and QA is a large part of the sales pitch, so that seems worth it.

tazjin commented on Claude Haiku 4.5   anthropic.com/news/claude... · Posted by u/adocomplete
criemen · 2 months ago
But that doesn't make sense? Why would they keep the cache persistent in the VRAM of the GPU nodes, which are needed for model weights? Shouldn't they be able to swap in/out the kvcache of your prompt when you actually use it?
tazjin · 2 months ago
Your intuition is correct and the sibling comments are wrong. Modern LLM inference servers support hierarchical caches (where data moves to slower storage tiers), often with pluggable backends. A popular open-source backend for the "slow" tier is Mooncake: https://github.com/kvcache-ai/Mooncake
tazjin commented on Benefits of choosing email over messaging   spinellis.gr/blog/2025092... · Posted by u/iparaskev
elliotto · 2 months ago
I've often thought about building a messaging platform aggregator that takes conversations from Whatsapp/messenger/discord/Instagram DMs/etc and provides a unified interface for them. I suspect there's a bunch of legal and annoying auth things that make this impossible. But at its core these things are just arrays of strings
tazjin · 2 months ago
This used to be fairly common, back in the old days. Programs like Pidgin unified many messengers into a single app.

For a while, many messengers actually shared underlying protocols (e.g. Google Talk & Facebook were both using XMPP at some point, and you could even cross-message).

Nowadays this is much harder. There's some exceptions (Telegram) with open client protocols, but I wouldn't wanna try and implement something like Discord, it'll be a never-ending tarpit.

tazjin commented on Old Stockholm Telephone Tower   en.wikipedia.org/wiki/Old... · Posted by u/ZeljkoS
cpach · 3 months ago
What kind of solutions were employed in other cities? Does anyone know? Cities like London and New York etc must have had much more telephone lines.
tazjin · 3 months ago
At this early time (this is not long after the invention of the phone itself) - none, really. Stockholm had a much higher number of telephones per home, but not very long after this operators put the cables underground and that was that.
tazjin commented on An opinionated critique of Duolingo   isomorphism.xyz/blog/2025... · Posted by u/agnishom
duothrowaway99 · 3 months ago
Both of my parents are teachers of a European language. They both have phd's in linguistics, and rate very highly with students (who basically adore them).

All of this context to say that not once has anyone using Duolingo been able to "test out" of the first ("101") class that they teach. Duolingo self-learners come in with a very unequal mix of vocabulary and... not much else. Unable to use declension properly [0], unaware of most rules around gender, verb tenses, etc.

I'm sure (and I should look it up) that there have been academic papers written on these quite different methods/approaches: gamified learning vs "academic" learning, immersion by moving to a country, etc.

But in my parents' experience of teaching (which spans ~40 yrs), Duolingo students pretty much all became disappointed in the app: these students thought that they had developed skills when it turns out they mostly got addicted to a game that overpromised useful learning over entertainment.

---

Imho, the ugly truth is that language learning as an adult is deeply hard and requires a tremendous amount of effort and "tricks" to keep yourself motivated. People who watch native media with subtitles, play with AI apps (such as the YC backed https://www.issen.com/ which is quite nice), take a mix of "classic" classes, spend time in a country where the language is spoken and force themselves into situations where they "have" to speak, etc. all do much better. But it's a ton of effort.

[0] https://en.wikipedia.org/wiki/Declension

tazjin · 3 months ago
Personally I like Babbel. It looks a bit dated (or did the last time I used it), but its content is really good and it helped me bootstrap 3 out of the 5 languages I speak fluently.

There's no gamification like in Duolingo, you have to bring your own motivation and endure the UI, but it really does get you to the level where you can continue on your own.

tazjin commented on F-Droid and Google’s developer registration decree   f-droid.org/2025/09/29/go... · Posted by u/gumby271
benrutter · 3 months ago
I agree with the first point! On the second- how do you access apps tied to services like banking, utilities, transport, etc?

This is one of the main things keeping me tied to the Google ecosystem, a lot of services require me to have an app that's only available on the play store.

tazjin · 3 months ago
(GrapheneOS user, no Google services)

My bank provides the APK of their app directly on their website, and it supports updating itself after that. Actually a surprising amount of apps do this!

Other proprietary stuff I either get from RuStore (Russia-specific), or occasionally from APK mirrors / Aurora. At the moment I have no such apps (they're usually for some specific thing, e.g. an airline app that I need for a day or two).

u/tazjin

KarmaCake day4685March 16, 2013
About
Architect of Yandex Taxi in Moscow. Previously Google/DeepMind, Spotify and others.

I kicked off TVL (https://tvl.fyi), a community mostly around monorepo tooling and Nix.

You can find my personal stuff at https://tazj.in/

TVL's open-source work is on https://code.tvl.fyi/

View Original