i think typescript is also one of the only languages where there can be two libraries with the same api shape, but different typings
there could theoretically be (much worse) versions of drizzle, aisdk, etc. with the same functions exposed but none of the typed goodness
23.01.2025 20:26 β π 0 π 0 π¬ 0 π 0
this is the most insane part.
o3's architecture is a Alpha-Zero-style search applied to natural language, ARC-AGI's speculates in their public blog post.
20.12.2024 19:20 β π 2 π 0 π¬ 0 π 0
ai tools like devin could spur the adoption of stricter languages like reasonml/effect-ts.
much of the perceived overhead is handled by ai and the extra guardrails help devin navigate towards a working solution.
11.12.2024 22:08 β π 2 π 0 π¬ 0 π 0
one the best things react has done for software engineering as a whole is significantly speed up the mainstream adoption of functional programming paradigms
11.12.2024 14:24 β π 2 π 0 π¬ 0 π 0
side note: one approach which we'd completely overlooked was planetscale's sharding features. given our concerns on cost at the time, offloading was a more suitable fit for us. but we would be dumb not to combine offloading + sharding in the future. shows how much we still have to learn!
10.12.2024 08:41 β π 0 π 0 π¬ 0 π 0
in hindsight, this is a little obvious, but it's the kind of thing that you may never realize without experience in building these systems before. it also made me realize how little you actually learn about scaling at big companies.
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
with more granular offloading strategies of user objects, we found that we could cut our db size down dramatically (nearly 90%). we'd need a system to handle the process of offloading/restoring data, but that is a tiny amount of additional complexity for the amount of scalability we've unlocked.
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
the reality is, when you really think about it, only a fraction of the data in your database is truly "active". this is especially true of b2c apps where 90% of user content is never touched again after a week (or even a day) of being created.
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
we weren't making any stupid mistakes (using our DB for images/videos/huge blobs of text or data), so the idea of even more granular offloading never crossed our minds. relatedly, while we all come from big companies, problems like these were abstracted away to dedicated teams.
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
around the same time, i stumbled upon a message in the Replicache discord about limiting your database size to 100GB. that's when I started to think more about what we truly need to store in our database.
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
essentially, we needed a way to unlock scalability without resorting to techniques that are only maintainable by companies hundreds of times larger than us.
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
but as we were going deeper and deeper down the rabbit hole, in the back of our minds, we knew that this was just going to cause us even more trouble than what we'd started with.
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
our first instinct was to start researching how massive b2c apps like twitter or whatsapp are architected. we started drawing up complicated plans on migrating certain tables to Dynamo/Scylla, doing all sorts of denormalization, and so on.
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
none of these is individually fatal, but together they eventually became too much to bear, and we started to look for solutions.
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
- deploying db branch changes take 13+ hrs, if they even work at all
- backups take forever (1-2hrs+)
- restoring from backups takes forever
- costs for storage/backups skyrocket
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
- at scale, random things become unusable/unavailable, e.g., Planetscale support told us to stop using Boost
- weekly mysql version upgrades start to cause a noticeable downtime blip, requiring special retry handling
- schema migrations become more complex operationally
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
well, we quickly started to realize that was a mistake. while our queries were blazing fast as ever (thanks to Planetscale), we ran into a number of other problems:
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
for a mid-sized company, this is just another day at the office; however, for a team of 3 and a product less than a year old, this can come with challenges.
at first, we didn't exercise much caution. we were using PlanetScale, which scales ~infinitely, so we figured, what's the harm?
10.12.2024 08:41 β π 0 π 0 π¬ 1 π 0
a major b2c lesson I've learned recently: be ruthless about only using your database for "active data"
backstory:
we've grown quickly over the last few months. we reached over 1B user posts, and our DB size was measured in TBs.
10.12.2024 08:41 β π 1 π 0 π¬ 1 π 0
vultr is decent
08.12.2024 06:43 β π 0 π 0 π¬ 0 π 0
The more I read about ATproto, the more I come to appreciate the craft that went into BlueSky's UX.
There are a lot rough edges that had to be smoothed over to achieve the UX that it has, e.g. running a PDS node on behalf of the user as a default, domain verification without PDS self hosting, etc.
03.12.2024 15:50 β π 1 π 0 π¬ 0 π 0
One thing that kinda sucks is that animated JXL support is like another order of magnitude worse than still JXL support.
03.12.2024 00:21 β π 1 π 0 π¬ 1 π 0
ah yea makes sense. was thinking in the context of an Expo app that is mobile + web.
03.12.2024 00:20 β π 0 π 0 π¬ 1 π 0
Is there a good way to render them? Around a week ago was coincidentally looking to add JXL to a mobile app I'm working on but couldn't find anything viable. Best cross-platform option seems to be webview + WASM polyfill.
02.12.2024 23:54 β π 1 π 0 π¬ 1 π 0
hi
02.12.2024 04:08 β π 0 π 0 π¬ 0 π 0
Cheating on Advent of Code w/ AI - a lot of people are talking about this.
It dawned on me that a cool concept would be an alternate version specifically *for* AI.
Imagine: everyone submits agents that race to complete the problem as soon as it's released.
I would participate in this.
01.12.2024 23:43 β π 3 π 0 π¬ 0 π 1
fwiw I agree with you, but also: users enjoying software without knowing the particulars of how it works is actually a pretty bullish sign. it means it's found its way out of niche tech circles and into mainstream adoption. i didn't expect it to get that far tbh.
28.11.2024 22:01 β π 1 π 0 π¬ 2 π 0
One takeaway from the data scraping saga:
The majority of BlueSky users how no clue platform works. And that's a good thing.
It means it's achieved normie adoption.
28.11.2024 21:54 β π 7 π 0 π¬ 0 π 0
This is slightly confused by the fact that they're delayed on releasing 3.5-Opus despite having already released 3.5-Haiku and 3.5-Sonnet.
28.11.2024 21:48 β π 2 π 0 π¬ 0 π 0
Anthropic releases three sizes of models (Haiku/Sonnet/Opus) for each numbered edition.
The 3.5 edition of models are so much better than the 3.0 edition of models that even the mid-size 3.5 (i.e. 3.5-Sonnet) beats out the large-size 3.0 (i.e. 3.0-Opus)
3.0-Opus is kept around for backwards compat
28.11.2024 21:47 β π 5 π 0 π¬ 1 π 1
Open-Source Cloudflare Workers: https://git.new/rivet
Durable Objects on any cloud: https://git.new/actor-core
YC W23, SR002
Javascript and Les Pauls. Building http://partykit.io/
Software Engineer @vercel β² β’ Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 β’ http://github.com/dmmulroy β’ http://twitch.tv/dmmulroy
AI, robotics, and other stuff. Currently AI @ agility robotics
Former Hello Robot, NVIDIA, Meta.
Writing about robots https://itcanthink.substack.com/
All opinions my own
Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
Sakana AI is an AI R&D company based in Tokyo, Japan. πΌπ§
https://sakana.ai/careers
I work at Sakana AI ππ π‘ β @sakanaai.bsky.social
https://sakana.ai/careers
independent writer of citationneeded.news and @web3isgoinggreat.com β’ tech researcher and cryptocurrency industry critic β’ software engineer β’ wikipedian
support my work: citationneeded.news/signup
links: mollywhite.net/linktree
Weβre an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS π«
Techno - Gauntlet - Robot Ventures - Risk Daddy
navigating the library of babel
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.
Co-founder IFP // scientific, technological, and industrial progress
NYT Columnist, visiting professor at Lipscomb University, Chautauqua Perry Fellow in Democracy. Married to @nancyfrench.bsky.social.
Iraq vet, Grizzlies fan, born in War Eagle Country and raised in Big Blue Nation.
bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
Head of Engineering at @ourworldindata.org; likes nuanced discourse, weird creatures and programming languages with ADTs
Some kind of nerd by day and goblin by night.
CS-gas {,injections} knower / Cyclophosphamide my beloved.
π Glasgow, Scotland
π’ FR/EN/DE
π¨ Avatar by @chordbug.bsky.social
See also:
π mastodon.social/@kit_ty_kate
π https://cohost.org/kit-ty-kate
Research and data to make progress against the worldβs largest problems. Based out of Oxford University (@ox.ac.uk), founded by @maxroser.bsky.social.