Tikhon Jelvis
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions. Based in Berkeley, CA
Qualcomm released the compiler for their IDL used for "FastRPC", called QAIC, and it is written in Haskell? good to see some people still have taste! github.com/qualcomm/QAIC
GitHub - qualcomm/QAIC
Contribute to qualcomm/QAIC development by creating an account on GitHub.
github.com
"but as the map recursively improves, eventually it becomes..." *clicks to final slide in the pitch deck* "...the territory!"
we can use AI as an excuse to build the next 700 programming languages
I added \tm to my Emacs TeX input mode exclusively to use the symbol ironically
depths of wikipedia@depthsofwikipedia.bsky.social · last wk.
You know, honestly, more than monetary donations, if somebody worked at a company that had access to a lot of 18 terabyte and larger hard drives and could talk to us, that's where we are really suffering. The internet archive has no special priority in buying hard drives and those things are insane.
Jason Scott@textfiles.com · 2w agoThe ongoing 429 errors are due to a variety of infrastructure issues and repairs being done on Wayback. Sorry, folks
As it becomes clear that language models—like humans—love passing notes to each other on message boards, I’m starting to think the thing we need to worry about is not the “alignment” of an isolated model but, like, the fluid dynamics of a language slurry.
It is a pity that the BBC never mention these details and stories of people on welfare when discussions related to welfare arise.
What if our ears were like our eyes, and only had three (types of) receptors? Interestingly speech is still more or less intelligible, but not much else to me this shows how much more discriminating of frequencies our hearing is than our vision. Of course our vision has much more spatial resolution
Just been reminded of this. Newer friends and followers may not know of that type 11 years ago when I was writing for the Guardian and finally snapped at their ludicrous image archive setup and it got published on the actual site. #cake #breakdown
an OCaml datalog engine ought to be called dat-o-log or, better yet, dat'o'log, so that it's a valid OCaml variable name :)
I wanted to say something witty about this but couldn't come up with the perfect bon marmot. www.wsj.com/lifestyle/tr...
Marmots Are Terrorizing California Hikers and Stealing Their Shoes
The cute but destructive rodents are criminal masterminds, easily circumventing humans’ meager defenses.
wsj.com
all linux distros are just piles of bash scripts except for nixos, which is configured using an advanced lazy functional programming language... ...which evaluates to a pile of bash scripts
I feel intensely disappointed whenever I see people building systems that replicate (mediocre!) people management processes for LLMs—just a painful lack of imagination or insight. Here we have some fundamentally novel technology, and you're trying to Scrum it?
Turns out California ground squirrels hunt and eat voles. (Note: some potentially disturbing pictures in the article!) www.ucdavis.edu/climate/news...
Carnivorous Squirrels Documented in California
California ground squirrels hunt, kill and eat voles, reveals a study by UC Davis and UW-Eau Claire, sharing the first evidence of widespread carnivorous behavior among squirrels.
ucdavis.edu
at o9, we have a proprietary query language (as one does), and I've been writing a typed PureScript library for it PureScript is great and row types are fucking amazing I've long maintained that row types are the biggest thing Haskell is missing, and I'm even more convinced now
my hotel put up a bunch of pictures from a high school art contest this amazing dog band should have gotten 1st place, I absolutely love it too bad I could not get a photo without a bunch of glare :(
too many places put "comfortable with ambiguity" in job descriptions, and then can't handle it when you join and you're ambiguous about what you're working on, when :P those leaders should not have hired themselves
apropos of nothing, Jane Street's sexplib format is still the best general-purpose text-based data/config format I've used I prefer it over JSON, YAML, TOML, XML, INI or custom formats like .cabal
Drawing all 16,777,216 possible 12 bit RGB colours in one 2D image, each exactly once. Pixels are mapped from the 256Âł colour cube, following a three dimensional Hilbert curve, to a two dimensional Hilbert curve filling the square. so nearby colours stay close.
Now that language adoption is not bottlenecked by people learning it or liking the syntax, we are going to start seeing more ambitious languages. Type system craziness, distributed systems languages, dsl first approaches. All the crazy dreams of pl nerds are now possible.
I just saw a startup doing "data centers at sea", and that's the whole "data centers in space" thing This is obvious nonsense, right? Are investors actually taken in, are they making a bet on working around local politics/regulation, or is there something else going on?
Berkeley paths are a lot of fun, and you might even meet guys with cool dogs: www.berkeleyside.org/2026/08/18/b...
Green Day guitarist is obsessed with the hidden pathways of the Berkeley Hills
Jason White has lived in and around Berkeley since the early ’90s. He’s on a mission this year to hike every path and staircase in the hills.
berkeleyside.org
(also kind of remarkable how many supposed Thought Leaders have been crowing about how LLMs are ushering in The Eternal Age of TypeScript when in fact LLMs make using less popular languages much easier, not harder)
the anti-bikelane hysteria on nextdoor is a painful reminder that people can remain stupid longer than you can stay sober
