Kylee Tilley ⚠️
LightNews LightNews
banner
testingrequired.com
Kylee Tilley ⚠️
@testingrequired.com
280 followers 660 following 1.2K posts
Rarely updated: testingrequired.com
Posts Replies Media Videos
testingrequired.com
Look at all these things to map out...
A text chart of parameters mapped to midi required to change it
November 12, 2025 at 5:11 PM
testingrequired.com
Code coverage improvements: before and after 🎉

Lots of low hanging fruit e.g. invalid op codes, mapping errors to diagnostics, popping off an empty stack, removing unused code even.
A test coverage report showing most coverage stats between 80-95% with some 60-70% and some 100%. The virtual machine (vm.rs) is notably at 70% function coverage. A test coverage report showing most coverage stats between 95-100%. The virtual machine (vm.rs) is 97%-99% covered now.
November 10, 2025 at 6:43 AM
testingrequired.com
So this has to exist right? A chess app that shows you what moves the CPU might make if they were you? Multiple suggestions ranked by confidence? Updated when new moves are made.
A rough sketch of a tree of chessboards flowing left to right showing different rows of chess boards
November 7, 2025 at 4:45 PM
testingrequired.com
Willem Dafoe looking up at something massive
November 6, 2025 at 5:32 PM
testingrequired.com
So way back when I got my start at a startup trying to use modified naive bayes algorithm for classifying a high volume of tweets at high speeds.

I was tasked to write tests for the core algorithm code. The code was written by the founder and it ALL looked like this. Zero comments.
Two panel meme Hank and Bobby Hill sitting in a truck Top text: You know what's not cool, unknown programmer? Bottom text: Naming programming variables and classes with acronyms and single letters
November 4, 2025 at 11:40 PM
testingrequired.com
I don't think that's right LinkedIn...
Screenshot of the LinkedIn sidebar showing my last name twice Screenshot of my LinkedIn profile showing my last name once
October 29, 2025 at 7:01 PM
testingrequired.com
Writing tests after the fact
Image of two young Michael Scotts awkwardly shaking each other's hands
October 27, 2025 at 1:32 PM
testingrequired.com
Side by side images of Mr. Incredible. One in full color, the other is high contrast and grainy representing trauma. Both have the text "100% test coverage required"
October 23, 2025 at 10:00 PM
testingrequired.com
I've been messing around with the interface and pretty happy with this.

I'm building this to support parsing HTTP message templates. These will partial/non compliant messages but template references are restricted to individual message parts: method, url, header (key/value or the whole line, etc..)
Rust code example of parsing an HTTP message ```rust use std::str::FromStr; use http_message::PartialHttpRequest; fn main() { let partial = PartialHttpRequest::from_str("GET https://example.com\nx-key: 123").unwrap(); assert_eq!(Some(0..3), partial.method_span()); assert_eq!(Some("GET"), partial.method_str()); assert_eq!(Some(4..23), partial.uri_span()); assert_eq!(Some("https://example.com"), partial.uri_str()); assert_eq!(None, partial.http_version_span()); assert_eq!(None, partial.http_version_str()); assert_eq!(Some(24..34), partial.header_span("x-key")); } ```
September 13, 2025 at 2:11 AM
testingrequired.com
Using Rust's unwrap
An emergency phone wrapped in a trashbag with a sign: Emergency Phone Not Installed Do not have an emergency at this location
September 12, 2025 at 8:03 PM
testingrequired.com
Five months of daily note taking. This is a massive milestone for me. 🎉

I usually last a month before it falls off and I pick back up a month after that.
A pad of paper with several pages from past dates notes folded over. The current page showing had 9/11 Th - cont written on it
September 11, 2025 at 6:14 PM
testingrequired.com
What story are they mobbing on?
Data, Ricker at a ship's console. Picard is next to them looking off camera in concerned disbelief
August 22, 2025 at 5:48 PM
testingrequired.com
Most development involves a lot less math than I thought. That was until...
Image of two muscled arms gripped as if to arm wrestle but in agreement Their hands have the text "math" The left arm has the text "game development" The right arm has the next "type systems"
August 22, 2025 at 3:31 PM
testingrequired.com
Devs listening to non devs talking about this weekend's vibe coding project
A very bloody Christ listening to Mel Gibson talk
August 22, 2025 at 12:57 PM
testingrequired.com
Committing commented out code
A paper sign on a door that reads: Closed for closure. Will reopen when open.
August 20, 2025 at 2:16 PM
testingrequired.com
Closer! More print debugging statements are helping.
Inferring block `{ let a; let b; let c: number = if (true) { { a } } else { { b } }; (a, b) }` Inferring statement: `let a;` Inferring let statement: `let a`: 't0 = 't1; Constraining type `'t1` to `'t0` Inferring statement: `let b;` Inferring let statement: `let b`: 't2 = 't3; Constraining type `'t3` to `'t2` Inferring statement: `let c: number = if (true) { { a } } else { { b } };` Inferring type: `number` Inferring expr `number` as type `number` Inferring if: `if (true) { { a } } else { { b } }` Inferring literal: `true` Inferring expr `true` as type `bool` Constraining type `bool` to `bool` Inferring block `{ a }` Inferring identifier: `a` Inferring expr `a` as type `'t0` Inferring expr `{ a }` as type `'t0` Inferring block `{ b }` Inferring identifier: `b` Inferring expr `b` as type `'t2` Inferring expr `{ b }` as type `'t2` Constraining type `'t2` to `'t0` Inferring expr `if (true) { { a } } else { { b } }` as type `'t0` Inferring let statement: `let c`: number = 't0; Constraining type `'t0` to `number` Inferring tuple: `(a, b)` Inferring identifier: `a` Inferring expr `a` as type `'t0` Substituting type variable `'t0` for `number` Substituting `'t0` for `number` Inferring identifier: `b`
August 17, 2025 at 5:03 AM
testingrequired.com
I feel like I'm close to getting this to work.
Inferring type of expr number as number Inferring type of expr true as bool Constrainint bool to bool Inferring type of expr a as 't0 Inferring type of expr { a } as 't0 Inferring type of expr b as 't1 Inferring type of expr { b } as 't1 Constrainint 't1 to 't0 Inferring type of expr if (true) { { a } } else { { b } } as 't0 Constrainint 't0 to number Inferring type of expr a as 't0 Substituting 't0 for number Inferring type of expr b as 't1 Substituting 't0 for number Substituting 't1 for 't0 Inferring type of expr (a, b) as ('t0, 't1) Substituting 't0 for number Substituting 't0 for number Substituting 't1 for 't0 Inferring type of expr { let a; let b; let c: number = if (true) { { a } } else { { b } }; (a, b) } as ('t0, 't1) Substituting 't0 for number Substituting 't0 for number Substituting 't1 for 't0
August 17, 2025 at 3:03 AM
testingrequired.com
"True test coverage requires..."
Charlie from It's Always Sunny standing in front of a board of papers connected by red string. He's looking crazy as he tries to explain a conspiracy
August 7, 2025 at 11:04 PM
testingrequired.com
Drag and drop to create transactions.

Other features planned

- Budget spans/ranges
- Expense buckets for those budget ranges e.g. food, gas
- Splitting a bill's payment (like a house payment) across multiple budget spans. Not making the payment but reserving the money
August 4, 2025 at 3:35 PM
testingrequired.com
I've been working on a budget planning tool

- High level dashboard (still WIP)
- Timeline view of events
- Calendar view with drag & drop transactions (planned, processing, complete), drag & drop bills, due dates/auto pays, rolling balance updates

Note: This is all mock/generated data
August 4, 2025 at 3:16 PM
testingrequired.com
Achievements in action 🎉 Those notifications are being driven from the server over web sockets.
July 23, 2025 at 3:38 AM
testingrequired.com
Now I want some cheese.
Screenshot of a menu on a website. One menu items says CURD (instead of CRUD) then lists sub menu items: Insert, Query, Update, Delete
July 18, 2025 at 8:27 PM
testingrequired.com
Now I can do stuff like this.

- `id` is a builtin function that accepts a value and returns the same value
` @_` is a placeholder for the REPL's last interpreted value
Screenshot of a REPL in: Fn(Value) -> Value out: Type<Fn(Value) -> Value> in: (eq (type id) @_) out: true
July 7, 2025 at 12:15 AM
testingrequired.com
Plain text files, CLI arguments next to expected output. 😍

These tests much easier to write than the, macro driven, integration tests in place now.

What's really nice is that it makes experimenting in the system almost as fast as the REPL but you get tests in the end.
Specification Tests These tests read in *.expr files in the spec/ directory and compare the output against their corrosponding expected result files (e.g. *.expr.tokens, *.expr.interpreted, *.expr.disasssembled). ./tests/spec_tests.rs Compiler and Runtime Environments The expected result files *.expr.interpreted, *.expr.disasssembled accept a CLI formatted list of arguments from the first line. The frist line must be prefixed with //. The arguments are passed to the compiler and VM. These CLI arguments work the same as the other reqlang-expr CLIs --vars <VARS>... List of indexed variable names --prompts <PROMPTS>... List of indexed prompt names --secrets <SECRETS>... List of indexed secret names --client-context <CLIENT_CONTEXT>... List of indexed client context names Example ./spec/greeting_name.expr (concat :greeting ` ` ?name) ./spec/greeting_name.expr.interpreted //--vars greeting=Hello --prompts name=World `Hello World`
June 21, 2025 at 5:28 PM
testingrequired.com
After a little tweaking...
Screenshot of a REPL with several error messages printed interpet 〉(concat a b c) 06/17/2025 09:57:02 PM error: undefined: a ┌─ expression:1:9 │ 1 │ (concat a b c) │ ^ error: undefined: b ┌─ expression:1:11 │ 1 │ (concat a b c) │ ^ error: undefined: c ┌─ expression:1:13 │ 1 │ (concat a b c)
June 18, 2025 at 2:58 AM