Sign in

Christopher Horobin

@chorobin.bsky.social
97 followers 35 following 100 posts

🌌 Type spacer

PostsRepliesMedia
Christopher Horobin @chorobin.bsky.social · 12/06/2025
Precompiled types require check time and emit which is slower than inference. You just live with stale types for longer
100
Christopher Horobin @chorobin.bsky.social · 23/05/2025
tsgo is really incredible
110
Christopher Horobin @chorobin.bsky.social · 21/05/2025
`extends any` is my favourite use of `any` to trigger conditional type distribution.
110
Christopher Horobin @chorobin.bsky.social · 10/05/2025
The term 'type-safe' is used rather a lot. Is `string` 'type-safe'? Depends. Maybe we should be referring to the most precise type for 'type-safety'? But do we?
230
Christopher Horobin @chorobin.bsky.social · 19/04/2025
Maybe a unpopular opinion but type level code actually looks nice after you get used to it
240
Christopher Horobin @chorobin.bsky.social · 13/03/2025
Realisation that my first language was delphi as a child because my father liked it. My first actual toy projects in college were in c#, spent years in that language. Now I have spent 9 years in typescript.
120
Christopher Horobin @chorobin.bsky.social · 12/03/2025
I want to hope types will get more ambitious with a faster typescript. Not more sloppy. That would be sad
130
Christopher Horobin @chorobin.bsky.social · 11/03/2025
Completely gobsmacked. Never thought I would see the day this type checks in less than a second
040
Christopher Horobin @chorobin.bsky.social · 10/03/2025
Mapped types are great. I just see them used in places where I would not all the time
310
Christopher Horobin @chorobin.bsky.social · 06/03/2025
Its cool that while TS is perceived to be completely structurally typed on the outside, deep structural relations can be optimised away by looking at type parameters
110
Christopher Horobin @chorobin.bsky.social · 25/02/2025
Choosing between react and solid is going to make me pause for a bit
110
Christopher Horobin @chorobin.bsky.social · 23/02/2025
I like intersections. They just have a few nuances
310
Christopher Horobin @chorobin.bsky.social · 22/02/2025
There are becoming fewer reasons I'd choose react for an SPA
020
Christopher Horobin @chorobin.bsky.social · 17/02/2025
I always liked reaching for stuff when I needed it. I liked this about react from the beginning. I like this about router/start now
031
Reposted by Christopher Horobin
Colin McDonnell 💎 Zod @colinhacks.com · 27/01/2025
A lot of frameworks and tools already accept Standard Schemas! Huge shoutout to the early adopters: tRPC, Tanstack Form, Tanstack Router, UploadThing and t3-env, OpenAuth, Renoun, and more 🙏 @jayair.bsky.social @katt.dev @chorobin.bsky.social @jumr.dev @souporserious.com @awad.dev @unnoq.com
4593
Christopher Horobin @chorobin.bsky.social · 17/01/2025
Foget types. Time to board
020
Christopher Horobin @chorobin.bsky.social · 23/12/2024
I've completed Upgrade the Assembly Line - Advent of TypeScript 2024 adventofts.com/events/2024/23
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
140
Christopher Horobin @chorobin.bsky.social · 22/12/2024
I've completed A JSON Parsing Emergency - Advent of TypeScript 2024 adventofts.com/events/2024/22 The difficulty is doing these last few on my mobile in between doing festive things with family
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
110
Christopher Horobin @chorobin.bsky.social · 21/12/2024
I've completed 🎩Bernard's New Demands 2: Electric Boogaloo - Advent of TypeScript 2024 adventofts.com/events/2024/21 Enjoying this
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
040
Christopher Horobin @chorobin.bsky.social · 20/12/2024
My first solution was this, but of course it could be more efficient
110
Christopher Horobin @chorobin.bsky.social · 20/12/2024
I've completed Variable Scope Analysis: 🎩Bernard's New Demands - Advent of TypeScript 2024 adventofts.com/events/2024/20 Again, not too hard. Seemed like yesterday.
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
020
Christopher Horobin @chorobin.bsky.social · 19/12/2024
This was my first solution. With the given test cases it had 6524 instantiations
110
Christopher Horobin @chorobin.bsky.social · 19/12/2024
I've completed The Lazy Elf's Code Generator - Advent of TypeScript 2024 adventofts.com/events/2024/19 Wasn't so hard
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
020
Christopher Horobin @chorobin.bsky.social · 18/12/2024
Pretty simple today I've completed Can Decades Of Wage Theft Really Be Corrected? - Advent of TypeScript 2024 adventofts.com/events/2024/18
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
130
Christopher Horobin @chorobin.bsky.social · 17/12/2024
I've completed Mind Control Is Surprisingly Effective - Advent of TypeScript 2024 adventofts.com/events/2024/17
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
010
Christopher Horobin @chorobin.bsky.social · 16/12/2024
The forth test threw me off aswell I've completed Magic Curry Mind Control Inception - Advent of TypeScript 2024 adventofts.com/events/2024/16
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
030
Christopher Horobin @chorobin.bsky.social · 15/12/2024
I've completed Jet Fuel Pricing - Advent of TypeScript 2024 adventofts.com/events/2024/15
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
110
Christopher Horobin @chorobin.bsky.social · 15/12/2024
Doesnt seem to work on my mobile this morning and I am out. Will do it later
010
Christopher Horobin @chorobin.bsky.social · 14/12/2024
I've completed 🎅Santa Hides Behind Perf Review - Advent of TypeScript 2024 adventofts.com/events/2024/14
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
030
Christopher Horobin @chorobin.bsky.social · 13/12/2024
I've completed The Reindeer Plan Their Attack - Advent of TypeScript 2024 adventofts.com/events/2024/13
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
150
Christopher Horobin @chorobin.bsky.social · 12/12/2024
I've completed 🎩Bernard's Long List Of Names - Advent of TypeScript 2024 adventofts.com/events/2024/12
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
010
Christopher Horobin @chorobin.bsky.social · 11/12/2024
I've completed Excuses, Excuses - Advent of TypeScript 2024 adventofts.com/events/2024/11
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
040
Christopher Horobin @chorobin.bsky.social · 10/12/2024
I've completed The Reindeer Hatch A Plan - Advent of TypeScript 2024 adventofts.com/events/2024/10
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
020
Christopher Horobin @chorobin.bsky.social · 09/12/2024
I've completed 🌟Vixen Confronts 🪩Jamie - Advent of TypeScript 2024 adventofts.com/events/2024/9
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
020
Christopher Horobin @chorobin.bsky.social · 08/12/2024
I've completed A Night With Mrs. Claus - Advent of TypeScript 2024 adventofts.com/events/2024/8
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
030
Christopher Horobin @chorobin.bsky.social · 07/12/2024
I've completed 💋Crystal Panics - Advent of TypeScript 2024 adventofts.com/events/2024/7
adventofts.com
Advent of TypeScript
Advent of TypeScript is a month-long event running from December 1 to Christmas, featuring daily TypeScript challenges. Participants can test their skills, climb the leaderboard, and engage with the T...
040
Christopher Horobin @chorobin.bsky.social · 06/12/2024
I've completed 🎅Santa Refuses To Use Threads - Advent of TypeScript 2024 adventofts.com/events/2024/6
120
Christopher Horobin @chorobin.bsky.social · 05/12/2024
I've completed Drafting This Year's Routes - Advent of TypeScript 2024 adventofts.com/events/2024/5
020
Christopher Horobin @chorobin.bsky.social · 04/12/2024
I've completed 🎩Bernard Presents The Housing Data - Advent of TypeScript 2024 adventofts.com/events/2024/4
020
Christopher Horobin @chorobin.bsky.social · 03/12/2024
I've completed 🎅Santa Wants Housing Data - Advent of TypeScript 2024 adventofts.com/events/2024/3
010
Christopher Horobin @chorobin.bsky.social · 02/12/2024
Forget types for a minute. I am looking forward to some snowboarding this season
000
Christopher Horobin @chorobin.bsky.social · 02/12/2024
I've completed ⚡Blitzen Fixes The Mess - Advent of TypeScript 2024 adventofts.com/events/2024/2
140
Christopher Horobin @chorobin.bsky.social · 01/12/2024
I will regret saying that I am looking forward to a challenge. Can we have a leaderboard for instantiations? adventofts.com/events/2024/1
adventofts.com
Advent of TypeScript
Advent of TypeScript
020
Christopher Horobin @chorobin.bsky.social · 30/11/2024
Tbf to Haskell, it was the first language to click for me that you can be statically typed without writing any types.
010
Christopher Horobin @chorobin.bsky.social · 30/11/2024
Types are useful, are purely functional and have zero side effects. They also do not have monads. Just saying
000
Christopher Horobin @chorobin.bsky.social · 29/11/2024
I never have any good ideas for types at a keyboard. They are usually terrible until I go away and realise how terrible they are and how much simpler it could be
130