Tikhon Jelvis
@jelv.is
I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Tools, types and functions.
actual function coloring: in colorForth,runtime code is green and compile-time code is yellow
comments are white, definitions are red and I don't recall exactly what fuscia or blue represent
(screenshot a GreenArrays document: www.greenarraychips.com/home/documen...)
comments are white, definitions are red and I don't recall exactly what fuscia or blue represent
(screenshot a GreenArrays document: www.greenarraychips.com/home/documen...)
July 15, 2025 at 4:30 PM
actual function coloring: in colorForth,runtime code is green and compile-time code is yellow
comments are white, definitions are red and I don't recall exactly what fuscia or blue represent
(screenshot a GreenArrays document: www.greenarraychips.com/home/documen...)
comments are white, definitions are red and I don't recall exactly what fuscia or blue represent
(screenshot a GreenArrays document: www.greenarraychips.com/home/documen...)
for folks in the east bay
playing at the rialto in elmwood on aug 2nd and aug 3rd at 1pm
playing at the rialto in elmwood on aug 2nd and aug 3rd at 1pm
July 14, 2025 at 4:31 AM
for folks in the east bay
playing at the rialto in elmwood on aug 2nd and aug 3rd at 1pm
playing at the rialto in elmwood on aug 2nd and aug 3rd at 1pm
has corecursive programming finally hit the mainstream?
(no)
(no)
July 14, 2025 at 4:29 AM
has corecursive programming finally hit the mainstream?
(no)
(no)
I met a cat who was good, but not great, at hiding
in fact, I've never seen a cat that was great at hiding
in fact, I've never seen a cat that was great at hiding
July 6, 2025 at 4:49 AM
I met a cat who was good, but not great, at hiding
in fact, I've never seen a cat that was great at hiding
in fact, I've never seen a cat that was great at hiding
in the meantime, here's a photo of a few alice books in situ, with bonus cat
June 23, 2025 at 9:38 PM
in the meantime, here's a photo of a few alice books in situ, with bonus cat
"But in all these cases, what you would never do is exactly what you should have done."
amazing sentence
just started reading Why Greatness Cannot Be Planned and it's already dropping bangers
amazing sentence
just started reading Why Greatness Cannot Be Planned and it's already dropping bangers
May 16, 2025 at 4:55 PM
"But in all these cases, what you would never do is exactly what you should have done."
amazing sentence
just started reading Why Greatness Cannot Be Planned and it's already dropping bangers
amazing sentence
just started reading Why Greatness Cannot Be Planned and it's already dropping bangers
just got back from a great week visiting the University of Arizona math department
I gave a little seminar about the probability monad, and had a great time meeting with some students and professors
the folks there were amazing hosts :)
I gave a little seminar about the probability monad, and had a great time meeting with some students and professors
the folks there were amazing hosts :)
May 12, 2025 at 12:45 AM
just got back from a great week visiting the University of Arizona math department
I gave a little seminar about the probability monad, and had a great time meeting with some students and professors
the folks there were amazing hosts :)
I gave a little seminar about the probability monad, and had a great time meeting with some students and professors
the folks there were amazing hosts :)
the novel is Splendid City by Karen Heuler
no idea if it's any good, I just can't resist a sharply designed cover with a cat holding a gun
no idea if it's any good, I just can't resist a sharply designed cover with a cat holding a gun
May 3, 2025 at 3:47 PM
the novel is Splendid City by Karen Heuler
no idea if it's any good, I just can't resist a sharply designed cover with a cat holding a gun
no idea if it's any good, I just can't resist a sharply designed cover with a cat holding a gun
I love whoever decided to tag this quote from 2666 as "optimism" :P
(that whole passage from the book is great, this is just the very end)
(that whole passage from the book is great, this is just the very end)
April 24, 2025 at 8:55 PM
I love whoever decided to tag this quote from 2666 as "optimism" :P
(that whole passage from the book is great, this is just the very end)
(that whole passage from the book is great, this is just the very end)
little free library find: computer dictionary and handbook from 1966
absolutely lovely cover design and typesetting
perfect resource for learning about time-sharing operating systems and QUICKTRAN
absolutely lovely cover design and typesetting
perfect resource for learning about time-sharing operating systems and QUICKTRAN
April 24, 2025 at 8:20 PM
little free library find: computer dictionary and handbook from 1966
absolutely lovely cover design and typesetting
perfect resource for learning about time-sharing operating systems and QUICKTRAN
absolutely lovely cover design and typesetting
perfect resource for learning about time-sharing operating systems and QUICKTRAN
one of my neighbors decorated their house with hand-drawn tiles made by their children or, maybe, students
this bird has the place of honor and is 100% my favorite too :P
this bird has the place of honor and is 100% my favorite too :P
April 20, 2025 at 6:10 PM
one of my neighbors decorated their house with hand-drawn tiles made by their children or, maybe, students
this bird has the place of honor and is 100% my favorite too :P
this bird has the place of honor and is 100% my favorite too :P
Probably the best time of year to visit Berkeley: the cherry trees are in full blossom, and the whole campus is coming alive for spring
April 11, 2025 at 7:19 PM
Probably the best time of year to visit Berkeley: the cherry trees are in full blossom, and the whole campus is coming alive for spring
oh, I picked up a used copy of that book recently, exclusively because that particular edition had a wild cover
April 7, 2025 at 10:43 PM
oh, I picked up a used copy of that book recently, exclusively because that particular edition had a wild cover
Richard Scarry is ever relatable
March 25, 2025 at 1:49 PM
Richard Scarry is ever relatable
I found this story about Armen on HN that captured the feel for me
but this is just one story that is not dispositive—the key is the culture supporting this, not doing this specifically
when I think "high trust", I think being able to do this, having it work and feeling great for everyone involved
but this is just one story that is not dispositive—the key is the culture supporting this, not doing this specifically
when I think "high trust", I think being able to do this, having it work and feeling great for everyone involved
March 24, 2025 at 7:55 PM
I found this story about Armen on HN that captured the feel for me
but this is just one story that is not dispositive—the key is the culture supporting this, not doing this specifically
when I think "high trust", I think being able to do this, having it work and feeling great for everyone involved
but this is just one story that is not dispositive—the key is the culture supporting this, not doing this specifically
when I think "high trust", I think being able to do this, having it work and feeling great for everyone involved
I finally got around to writing a blog post I've been thinking about for months...
...until I got distracted by adding pull quotes to my blogging system :P
I think both the post and pull quotes are turning out well :)
...until I got distracted by adding pull quotes to my blogging system :P
I think both the post and pull quotes are turning out well :)
March 9, 2025 at 3:35 PM
I finally got around to writing a blog post I've been thinking about for months...
...until I got distracted by adding pull quotes to my blogging system :P
I think both the post and pull quotes are turning out well :)
...until I got distracted by adding pull quotes to my blogging system :P
I think both the post and pull quotes are turning out well :)
blog.railway.com/p/incident-d...
Go: taking Tony Hoare's billion-dollar mistake to new heights
there's more to the incident than this, of course, but it's a great illustration of how PL ergonomics *matter*
h/t @norootcause.surfingcomplexity.com
Go: taking Tony Hoare's billion-dollar mistake to new heights
there's more to the incident than this, of course, but it's a great illustration of how PL ergonomics *matter*
h/t @norootcause.surfingcomplexity.com
February 10, 2025 at 5:15 AM
blog.railway.com/p/incident-d...
Go: taking Tony Hoare's billion-dollar mistake to new heights
there's more to the incident than this, of course, but it's a great illustration of how PL ergonomics *matter*
h/t @norootcause.surfingcomplexity.com
Go: taking Tony Hoare's billion-dollar mistake to new heights
there's more to the incident than this, of course, but it's a great illustration of how PL ergonomics *matter*
h/t @norootcause.surfingcomplexity.com
without any additional context, I want to believe that this screenshot implies the tool would try to DDoS the entire internet if no IP addresses were supplied
![A screenshot of part of a config file showing `ddos_ip_addresses = [...]`](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:q3pn72fllospsq2tsoz7ayif/bafkreiei6ezs6hlkzkjhixevvtumrtevs6f7msys6kii7jg237mgbxdya4@jpeg)
February 10, 2025 at 5:09 AM
without any additional context, I want to believe that this screenshot implies the tool would try to DDoS the entire internet if no IP addresses were supplied
stealing my own joke from Twitter:
January 30, 2025 at 6:27 AM
stealing my own joke from Twitter:
aropos of the recent discussion I saw about metrics to evaluate programmer performance, here's a legitimately insightful book @norootcause.surfingcomplexity.com recommended
the contents were great, but the cover and title were just brilliant :P
the contents were great, but the cover and title were just brilliant :P
January 24, 2025 at 12:51 AM
aropos of the recent discussion I saw about metrics to evaluate programmer performance, here's a legitimately insightful book @norootcause.surfingcomplexity.com recommended
the contents were great, but the cover and title were just brilliant :P
the contents were great, but the cover and title were just brilliant :P
Somebody in Berkeley wrapped their car for the holidays
December 28, 2024 at 7:57 PM
Somebody in Berkeley wrapped their car for the holidays
Classic :)
I saw some turkeys doing the same thing years ago in Berkeley and it's still one of my most memorable moments here
I saw some turkeys doing the same thing years ago in Berkeley and it's still one of my most memorable moments here
December 20, 2024 at 3:49 AM
Classic :)
I saw some turkeys doing the same thing years ago in Berkeley and it's still one of my most memorable moments here
I saw some turkeys doing the same thing years ago in Berkeley and it's still one of my most memorable moments here