corpus.blog
41554 blogs · [ { "id": "01a07d5d-a95a-72e6-8d54-3a8c65cb0939", "title": "Local Reasoning for Global Properties", "url": "https://tratt.net/laurie/blog/2026/local_reasoning_for_global_properties.html", "published_at": "2026-06-30T10:50:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c668a49ea", "title": "Test-case Reducers Are Underappreciated Debugging Tools", "url": "https://tratt.net/laurie/blog/2026/test_case_reducers_are_underappreciated_debugging_tools.html", "published_at": "2026-06-09T11:40:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c671eb0e8", "title": "Retrofitting JIT Compilers into C Interpreters", "url": "https://tratt.net/laurie/blog/2026/retrofitting_jit_compilers_into_c_interpreters.html", "published_at": "2026-04-15T12:35:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c67e6300a", "title": "PLISS 2026", "url": "https://tratt.net/laurie/blog/2026/pliss_2026.html", "published_at": "2026-01-12T15:57:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c68e04139", "title": "Upcoming Talk in London", "url": "https://tratt.net/laurie/blog/2025/upcoming_talk_in_london.html", "published_at": "2025-11-12T16:25:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6950713d", "title": "Async and Finaliser Deadlocks", "url": "https://tratt.net/laurie/blog/2025/async_and_finaliser_deadlocks.html", "published_at": "2025-11-12T11:05:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c69866221", "title": "What Context Can Bring to Terminal Mouse Clicks", "url": "https://tratt.net/laurie/blog/2025/what_context_can_bring_to_terminal_mouse_clicks.html", "published_at": "2025-10-29T13:45:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c69f2b5b4", "title": "Why Firsts Matter", "url": "https://tratt.net/laurie/blog/2025/why_firsts_matter.html", "published_at": "2025-09-16T10:55:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6a7136ab", "title": "LLM Inflation", "url": "https://tratt.net/laurie/blog/2025/llm_inflation.html", "published_at": "2025-08-06T10:50:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6b1c1fd0", "title": "Comparing the Glove80 and Maltron keyboards", "url": "https://tratt.net/laurie/blog/2025/comparing_the_glove80_and_maltron_keyboards.html", "published_at": "2025-07-22T10:35:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6b9e9df5", "title": "The LLM-for-software Yo-yo", "url": "https://tratt.net/laurie/blog/2025/the_llm_for_software_yoyo.html", "published_at": "2025-07-14T10:30:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6bc64672", "title": "The Fifth Kind of Optimisation", "url": "https://tratt.net/laurie/blog/2025/the_fifth_kind_of_optimisation.html", "published_at": "2025-04-02T11:20:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6be9ec64", "title": "Better Shell History Search", "url": "https://tratt.net/laurie/blog/2025/better_shell_history_search.html", "published_at": "2025-03-25T11:50:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6bfab310", "title": "Can We Retain the Benefits of Transitive Dependencies Without Undermining Security?", "url": "https://tratt.net/laurie/blog/2024/can_we_retain_the_benefits_of_transitive_dependencies_without_undermining_security.html", "published_at": "2025-01-28T11:15:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6bffa17e", "title": "Structured Editing and Incremental Parsing", "url": "https://tratt.net/laurie/blog/2024/structured_editing_and_incremental_parsing.html", "published_at": "2024-11-27T12:25:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6c2c2a42", "title": "How I Prepare to Make a Video on Programming", "url": "https://tratt.net/laurie/blog/2024/how_i_prepare_to_make_a_video_on_programming.html", "published_at": "2024-11-25T13:45:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6c580adc", "title": "pizauth: HTTPS redirects", "url": "https://tratt.net/laurie/blog/2024/pizauth_https_redirects.html", "published_at": "2024-11-10T09:25:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6d040e22", "title": "Recording and Processing Spoken Word", "url": "https://tratt.net/laurie/blog/2024/recording_and_processing_spoken_word.html", "published_at": "2024-08-21T12:30:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6d594646", "title": "Why the Circular Specification Problem and the Observer Effect Are Distinct", "url": "https://tratt.net/laurie/blog/2024/why_the_circular_specification_problem_and_the_observer_effect_are_distinct.html", "published_at": "2024-05-31T10:10:00+00:00" }, { "id": "01a07d5d-a95a-72e6-8d54-3a8c6d9ff80d", "title": "What Factors Explain the Nature of Software?", "url": "https://tratt.net/laurie/blog/2024/what_factors_explain_the_nature_of_software.html", "published_at": "2024-05-14T11:00:00+00:00" } ] posts Claim your blog
Back to Laurence Tratt
Blog · corpus.blog/blogs/tratt.net/posts

Laurence Tratt

tratt.net

2026

Local Reasoning for Global Propertiesoriginal ↗
30 Jun 2026
Test-case Reducers Are Underappreciated Debugging Toolsoriginal ↗
9 Jun 2026
Retrofitting JIT Compilers into C Interpretersoriginal ↗
15 Apr 2026
PLISS 2026original ↗
12 Jan 2026

2025

Upcoming Talk in Londonoriginal ↗
12 Nov 2025
Async and Finaliser Deadlocksoriginal ↗
12 Nov 2025
What Context Can Bring to Terminal Mouse Clicksoriginal ↗
29 Oct 2025
Why Firsts Matteroriginal ↗
16 Sept 2025
LLM Inflationoriginal ↗
6 Aug 2025
Comparing the Glove80 and Maltron keyboardsoriginal ↗
22 Jul 2025
The LLM-for-software Yo-yooriginal ↗
14 Jul 2025
The Fifth Kind of Optimisationoriginal ↗
2 Apr 2025
Better Shell History Searchoriginal ↗
25 Mar 2025
Can We Retain the Benefits of Transitive Dependencies Without Undermining Security?original ↗
28 Jan 2025

2024

Structured Editing and Incremental Parsingoriginal ↗
27 Nov 2024
How I Prepare to Make a Video on Programmingoriginal ↗
25 Nov 2024
pizauth: HTTPS redirectsoriginal ↗
10 Nov 2024
Recording and Processing Spoken Wordoriginal ↗
21 Aug 2024
Why the Circular Specification Problem and the Observer Effect Are Distinctoriginal ↗
31 May 2024
What Factors Explain the Nature of Software?original ↗
14 May 2024