iiinova — where your digital self keeps evolving

trav @techsavvytravvy.com · 05/07/2026

we're live playing d&d come hang out! twitch.tv/ptmhshow

thumbnail for episode 17 of glow in the dark

7171

trav @techsavvytravvy.com · 14/06/2026

we're streaming d&d come hang out twitch.tv/ptmhshow

Fantasy title art for Glow in the Dark: The Baraganoon. A large boat with a skull on the front moves across icy water or snow under purple skies, with several illustrated characters standing on deck holding weapons. Snow blows across the scene, and the gold title text fills the top.

031

trav @techsavvytravvy.com · 22/02/2026

bloodbath starts in like 30 mins come watch us die twitch.tv/ptmhshow

Illustration of a posed fighter with glowing yellow eyes holding an oversized spiked sword over their shoulder. The sword has a pink glow along the blade. The character wears green armor pieces on the shoulders, forearms, knees, and shins, a white cape flowing behind, a headband, and a reddish sash over a white skirt-like garment, set against a black background.

030

trav @techsavvytravvy.com · 23/01/2026

this weekend i'll be joining some friends to stream episode 1 of a brand new d&d campaign called Glow in the Dark - it's an original story created by my best friend and dm with fantasy, scifi, and anime/manga influences. come hang out sunday @ 4pm ET! twitch.tv/ptmhshow

Digital painting of a massive ship named 'SS Friendship' engulfed in flames, stranded in a glowing cave. The ship dominates the center of the image, its burning masts illuminating the cave with orange light. The foreground shows a lineup of seven adventurers and a giant boar standing knee-deep in water, facing the burning ship. Each figure has a distinct silhouette: a small figure with a scythe, a red-haired sword wielder, a cloaked mage with long white hair, and others in fantasy attire. The title 'Glow in the Dark: Survivors of Friendship' appears at the top in a stylized font.

080

trav @techsavvytravvy.com · 22/02/2025

started reading this to my 4yo tonight and she's about it

Cover of 'The Manga Guide to Databases' by Mana Takahashi and Shoko Azuma. The cover features an anime-style illustration of a fairy character in a green outfit holding a wand, with a magical glow effect. Behind her, three girls in princess attire are standing near a large open book containing database tables and SQL queries. A white castle is visible in the background.

3290

trav @techsavvytravvy.com · 01/02/2025

no the function would return true, causing it to incorrectly be of type 'number' after narrowing with if statement

TypeScript code showing a function isNumber that incorrectly determines if a value is a number by checking if typeof x is 'string'. The function main demonstrates the problem by assigning an unknown type to x and using isNumber in a conditional check. This leads to a faulty type narrowing where x is mistakenly assumed to be a number, causing an error when passed to the square function.

120

trav @techsavvytravvy.com · 01/02/2025

no because it is narrowing it down to the type and only the specified type or the FAIL unique symbol can be returned, otherwise you'll get an error you could of course return some literal value matching the type but that would have to be pretty deliberate

ts code showing that only the right type can be returned

120

trav @techsavvytravvy.com · 31/01/2025

don't even need the deepEquals since the type will be narrowed by returning the FAIL symbol. so if it's not that, it should be our type

TypeScript code defining a generic function createPredicate<T> that enforces an explicit type parameter using a TS error. It uses NoInfer<T> and an alternative failure type S, which extends symbol and is assigned typeof FAIL. The function returns a predicate that checks whether applying f(x) does not return FAIL. Below, a specific predicate isString is created using createPredicate<string>, verifying if a value is a string.

1160

trav @techsavvytravvy.com · 31/01/2025

i will say, there are some downsides. deepEqual can obviously get expensive if you're comparing a lot of big objects, and there are some dumb things about narrowing that mean you can't return the input directly

TypeScript code defining a type predicate function isUser using createPredicate<User>. The function checks if an input x is an object, not null, has 'name' and 'age' properties, and that 'name' is a string while 'age' is a number. A comment notes that returning x directly is not allowed because its inferred type is object & Record<'name', unknown> & Record<'age', unknown>. However, explicitly returning an object with name and age properties works.

360

trav @techsavvytravvy.com · 31/01/2025

the initial attempt is fine, but throwing then doing try/catch for each check isn't ideal and the predicate will be inferred for whatever type you return. instead i want the type param to be used explicitly and we'll return a symbol to indicate failure instead of throwing i think it's pretty nice!

TypeScript code defining a generic function createPredicate<T> that enforces explicit type parameters and includes a fallback failure symbol (S extends symbol = typeof FAIL). The function takes a predicate function f and returns a type predicate function. If the predicate returns FAIL, it returns false; otherwise, it checks deep equality. Below, an example use case defines isString, which ensures a value is a string, returning FAIL if not.

290

trav @techsavvytravvy.com · 31/01/2025

so today @shreyascodes.tech had the idea to create an abstraction for predicate functions, and this is what i came up with initially. it works

TypeScript code defining a generic function createPredicate<T> that takes a function f and returns a type predicate function. The function uses deepEquals to verify type correctness inside a try-catch block. Below, an example use case defines isString, a type predicate created using createPredicate<string>, which throws an error if the input is not a string.

180

trav @techsavvytravvy.com · 31/01/2025

so one of things you can do in typescript is create type predicates that allow you to check if an input value is a specific type with return type `x is Foo`. unfortunately there is nothing that helps you make sure the predicate is accurate - as long as it returns a boolean it will pass

TypeScript code defining two type guard functions: isString and isNumber. The isString function correctly checks if x is a string using typeof x === 'string'. However, the isNumber function mistakenly also checks typeof x === 'string', despite its type guard claiming x is a number. A comment next to the mistake reads '// whoops'.

5220

trav @techsavvytravvy.com · 30/01/2025

truly github.com/Gankra/cargo...

Terminal output showing an error message from attempting to run 'cargo mommy check' on 'bappy-script v0.1.3'. The Rust compiler reports a syntax error at 'src/main.rs:20:6', indicating 'expected one of '!' or '::''. The line in question reads 'mods passes;', with an error underline under 'passes'. The output ends with 'error: could not compile 'bappy-script'' followed by a whimsical message: 'mommy knows her little girl can do b'.

020

trav @techsavvytravvy.com · 29/01/2025

really? i find that usually when it comes to i/o and async ops that my python requires more ceremony and is harder to follow than the equivalent js

Side-by-side comparison of JavaScript and Python asynchronous file processing. The JavaScript example uses 'Promise.all' to concurrently process an array of filenames with 'processFile', handling errors with a catch block. The Python example uses 'asyncio.create_task' to create concurrent tasks for processing files and collects results as tasks complete using 'asyncio.as_completed', handling exceptions with a try-except block.

130

trav @techsavvytravvy.com · 29/01/2025

oh it's nothing special just a wrapper around the defaults. can be overridden

C code defining a custom memory allocator using function pointers. The code includes an 'Allocator' struct with function pointers for allocation, deallocation, and reallocation. A function 'create_allocator' returns an instance of 'Allocator'. A wrapper function 'realloc_wrapper' is defined, and a global allocator 'GLOBAL_ALLOCATOR' is initialized with 'malloc', 'free', and 'realloc_wrapper' as its function pointers. Header guards ensure the code is included only once.

010

trav @techsavvytravvy.com · 29/01/2025

ehhh not really, just that a function is dynamically passed to the parent as an argument

code snippet demonstrating higher order functions in typescript

010

trav @techsavvytravvy.com · 29/01/2025

really like this pattern where the type name is also the namespace name bc i don't have to do something like Result.Result that i see some others do with the `import * as Result` thing tree-shaking could be a concern tho idk

TypeScript code defining a 'Result' type that can be either 'Ok<T>' or 'Err<E>', where 'E' extends 'Error'. A namespace 'Result' contains two functions: 'isOk' checks if a given 'Result' is not an 'Error', and 'isErr' checks if a given 'Result' is an 'Error'. The code demonstrates that a type and a namespace can share the same name.

5170

trav @techsavvytravvy.com · 07/12/2024

crazy i was just looking for this right when you posted

Screenshot of Google Suggestions with a dark theme. The search term is 'gleam,' followed by related suggestions: 'gleam higher kinded types' searched 24 seconds ago, 'gleam roadmap' searched 7 hours ago, 'gleam polymorphism' searched 8 hours ago, and 'gleam custom types' searched 8 hours ago.

020

trav @techsavvytravvy.com · 30/11/2024

I KNEW IT more Big Outside™ propaganda

A screenshot of a Bluesky post by 'Allison @adjectiveallison.com' with the text: 'I heard trav is a WILD partier. BIG parties.' The post timestamp reads 'November 30, 2024, at 11:18 AM.' Overlaid annotations circle 'WILD' and 'BIG' in red with added text. Next to 'WILD,' the annotation reads 'wild = OUTSIDE???' in bold red text. Next to 'BIG,' the annotation reads 'BIG!!' also in bold red text.

0130

trav @techsavvytravvy.com · 29/11/2024

oh i guess we're doing winter now

A weather update screenshot. At the top, a 'Winter Weather Advisory' box from the National Weather Service states: 'Winter Weather Advisory. These conditions are expected to last until 7:00 AM, Saturday, November 30.' Below, a section titled 'Flurries Forecasted' says: 'Flurries for the next hour.' A bar graph illustrates flurry intensity increasing over the next hour. The 'Hourly Forecast' below shows: Now - 28°F with snow; 3 PM - 28°F with 100% chance of snow; 4 PM - 27°F with 25% chance of snow; 5 PM - 26°F with cloudy skies; 5:11 PM - Sunset; 6 PM - 25°F, partly cloudy.

5220

trav @techsavvytravvy.com · 26/11/2024

i always forget you can scope types in typescript just like you can scope variables

Screenshot of TypeScript code demonstrating scoped types and interfaces.
The global scope declares 'type X = "q";' and 'interface Y { a: 9 }'.
Within a block, a local 'type X = 5;' and 'interface Y { b: 10 }' are declared.
In this block:
- 'const x: X = 5;' correctly uses the locally scoped type 'X'.
- 'const y: Y = { b: 10 };' correctly uses the locally scoped interface 'Y'.
Outside the block:
- 'const x: X = 5;' causes a type error because it refers to the global type 'X', which expects a string value.
- 'const y: Y = { b: 10 };' causes a type error because it refers to the global interface 'Y', which does not have the property 'b'.

9615

trav @techsavvytravvy.com · 26/11/2024

hmmm.... a little too nice maybe.

010

trav @techsavvytravvy.com · 24/11/2024

venison fahsa featuring homemade flatbread by my wife #foodsky

A white bowl filled with venison fahsa, a popular Yemeni dish, featuring tender shredded venison topped with a vibrant red tomato-based salsa, bright yellow rice, and pieces of golden-brown naan or flatbread. The dish is presented on a dark, reddish wooden table.

1401

trav @techsavvytravvy.com · 23/11/2024

awwww yaaaaa shout out @camtheperson.com for sending me his homemade hot sauce. i will review tomorrow bc it doesn't really go with the pasta carbonara i made tonight