tratt.net 29. 7. 2024Recording and Processing Spoken Word – tratt.net 1. 5. 2024Why the Circular Specification Problem and the Observer Effect Are Distinct – tratt.net 15. 4. 2024What Factors Explain the Nature of Software? – tratt.net 28. 1. 2024Some Reflections on Writing Unix Daemons – tratt.net 18. 12. 2023Faster Shell Startup With Shell Switching – tratt.net 4. 12. 2023Choosing What To Read – tratt.net 15. 11. 2023Debugging A Failing Hotkey – tratt.net 14. 11. 2023Four Kinds of Optimisation – tratt.net 6. 11. 2023How Often Should We Sharpen Our Tools? – tratt.net 3. 10. 2023Minor Advances in Knowledge Are Still a Worthwhile Goal – tratt.net 18. 9. 2023How Hard is it to Adapt a Memory Allocator to CHERI? – tratt.net 23. 8. 2023"Programming" and "Programmers" Mean Different Things to Different People – tratt.net 13. 8. 2023pizauth: First Stable Release – tratt.net 18. 7. 2023The Need to Explain – tratt.net 5. 7. 2023Two Stories for "What is CHERI?" – tratt.net 16. 5. 2023My Interview with Eelco Visser on Parsing – tratt.net 2. 5. 2023Why Split Lexing and Parsing Into Two Separate Phases? – tratt.net 11. 4. 2023Displaying My Washing Machine's Remaining Time With curl, jq, and pizauth – tratt.net 3. 4. 2023pizauth: dump and restore – tratt.net 23. 3. 2023How Big Should a Programming Language Be? – tratt.net 16. 3. 2023Rust's Two Kinds of 'Assert' Make for Better Code – tratt.net 5. 3. 2023Scheduling my Electricity Usage – tratt.net 16. 2. 2023Why Aren't Programming Language Specifications Comprehensive? – tratt.net 26. 1. 2023Distinguishing an Interpreter from a Compiler – tratt.net 25. 1. 2023try_repeat released – tratt.net 17. 1. 2023Why We Need to Know LR and Recursive Descent Parsing Techniques – tratt.net 10. 1. 2023Compiled and Interpreted Languages: Two Ways of Saying Tomato – tratt.net 9. 1. 2023Software Security Research Position – tratt.net 15. 12. 2022How Might Generative AI Change Programming? – tratt.net 14. 12. 2022pizauth: differentiating transient from permanent errors – tratt.net 30. 11. 2022November Links – tratt.net 15. 11. 2022More Evidence for Problems in VM Warmup – tratt.net 10. 11. 2022What is a Research Summer School? – tratt.net 1. 11. 2022October Links – tratt.net 20. 10. 2022pizauth: another alpha release – tratt.net 3. 10. 2022UML: My Part in its Downfall – tratt.net 1. 10. 2022September Links – tratt.net 29. 9. 2022pizauth, an OAuth2 token requester daemon, in alpha – tratt.net 31. 8. 2022A Week of Bug Reporting – tratt.net 30. 8. 2022August Links – tratt.net 9. 8. 2022Making a Video of a Single Window – tratt.net 8. 8. 2022Two researcher jobs in soft-dev – tratt.net 1. 8. 2022Another Reorganisation – tratt.net 31. 7. 2022July Links – tratt.net 25. 7. 2022What's the Most Portable Way to Include Binary Blobs in an Executable? – tratt.net 19. 7. 2022CHERITech and PLISS – tratt.net 13. 7. 2022How I Clean my Glasses – tratt.net 30. 6. 2022What Metric to Use When Benchmarking? – tratt.net 15. 6. 2022Chance, Luck, and Risk – tratt.net 8. 6. 2022What Makes a Good Research Proposal? – tratt.net 31. 5. 2022May Links – tratt.net 26. 5. 2022Multiplicity Choices Are Hard to Model and Change – tratt.net 17. 5. 2022Using a "Proper" Camera as a Webcam – tratt.net 10. 5. 2022Programming Style Influences – tratt.net 4. 5. 2022snare: a Minimalistic GitHub Webhooks Runner – tratt.net 30. 4. 2022April Links – tratt.net 28. 4. 2022Where do Research Problems Come From? – tratt.net 20. 4. 2022Practising Programming – tratt.net 13. 4. 2022Making Rust a Better Fit for CHERI and Other Platforms – tratt.net 11. 4. 2022When is a Blog a Blog? – tratt.net 22. 6. 2021'Static Integer Types' blog post added – tratt.net 23. 3. 2021'Automatic Video Editing' blog post added – tratt.net 19. 1. 2021'The Evolution of a Research Paper' blog post added – tratt.net 17. 11. 2020'Automatic Syntax Error Recovery' blog post added – tratt.net 7. 10. 2020: 'Stick or Twist?' blog post added – tratt.net 7. 10. 2020: 'Stick or Twist?' blog post added – tratt.net 15. 9. 2020: 'Which Parsing Approach?' blog post added – tratt.net 15. 9. 2020: 'Which Parsing Approach?' blog post added – tratt.net 15. 9. 2020: 'Which Parsing Approach?' blog post added – tratt.net 6. 5. 2020: 'Alternative Sources of Advice' blog post added – tratt.net 6. 5. 2020: 'Alternative Sources of Advice' blog post added – tratt.net 6. 5. 2020: 'Alternative Sources of Advice' blog post added – tratt.net 15. 8. 2019: 'Minimum Times Tend to Mislead When Benchmarking' blog post added – tratt.net 15. 8. 2019: 'Minimum Times Tend to Mislead When Benchmarking' blog post added – tratt.net 15. 8. 2019: 'Minimum Times Tend to Mislead When Benchmarking' blog post added – tratt.net 12. 2. 2019: 'A Quick Look at Trait Objects in Rust' blog post added – tratt.net 12. 2. 2019: 'A Quick Look at Trait Objects in Rust' blog post added – tratt.net 12. 2. 2019: 'A Quick Look at Trait Objects in Rust' blog post added – tratt.net 19. 9. 2018: 'Why Aren’t More Users More Happy With Our VMs? Part 2' blog post added – tratt.net 19. 9. 2018: 'Why Aren’t More Users More Happy With Our VMs? Part 2' blog post added – tratt.net 19. 9. 2018: 'Why Aren’t More Users More Happy With Our VMs? Part 2' blog post added – tratt.net 5. 9. 2018: 'Why Aren’t More Users More Happy With Our VMs? Part 1' blog post added – tratt.net 5. 9. 2018: 'Why Aren’t More Users More Happy With Our VMs? Part 1' blog post added – tratt.net 5. 9. 2018: 'Why Aren’t More Users More Happy With Our VMs? Part 1' blog post added – tratt.net 10. 1. 2018: 'What I’ve Learnt So Far About Writing Research Papers' blog post added – tratt.net 10. 1. 2018: 'What I’ve Learnt So Far About Writing Research Papers' blog post added – tratt.net 10. 1. 2018: 'What I’ve Learnt So Far About Writing Research Papers' blog post added – tratt.net 22. 6. 2017: 'What Challenges and Trade-Offs do Optimising Compilers Face?' blog post added – tratt.net 22. 6. 2017: 'What Challenges and Trade-Offs do Optimising Compilers Face?' blog post added – tratt.net 22. 6. 2017: 'What Challenges and Trade-Offs do Optimising Compilers Face?' blog post added – tratt.net 21. 9. 2016: 'Fine-grained Language Composition' blog post added – tratt.net 21. 9. 2016: 'Fine-grained Language Composition' blog post added – tratt.net 21. 9. 2016: 'Fine-grained Language Composition' blog post added – tratt.net 28. 7. 2015: 'Debugging Layers' blog post added – tratt.net 20. 8. 2014: 'An editor for composed programs' blog post added – tratt.net 4. 12. 2013: 'The bootstrapped compiler and the damage done' blog post added – tratt.net
29. 7. 2024Recording and Processing Spoken Word – tratt.net 1. 5. 2024Why the Circular Specification Problem and the Observer Effect Are Distinct – tratt.net 15. 4. 2024What Factors Explain the Nature of Software? – tratt.net 28. 1. 2024Some Reflections on Writing Unix Daemons – tratt.net 18. 12. 2023Faster Shell Startup With Shell Switching – tratt.net 4. 12. 2023Choosing What To Read – tratt.net 15. 11. 2023Debugging A Failing Hotkey – tratt.net 14. 11. 2023Four Kinds of Optimisation – tratt.net 6. 11. 2023How Often Should We Sharpen Our Tools? – tratt.net 3. 10. 2023Minor Advances in Knowledge Are Still a Worthwhile Goal – tratt.net 18. 9. 2023How Hard is it to Adapt a Memory Allocator to CHERI? – tratt.net 23. 8. 2023"Programming" and "Programmers" Mean Different Things to Different People – tratt.net 13. 8. 2023pizauth: First Stable Release – tratt.net 18. 7. 2023The Need to Explain – tratt.net 5. 7. 2023Two Stories for "What is CHERI?" – tratt.net 16. 5. 2023My Interview with Eelco Visser on Parsing – tratt.net 2. 5. 2023Why Split Lexing and Parsing Into Two Separate Phases? – tratt.net 11. 4. 2023Displaying My Washing Machine's Remaining Time With curl, jq, and pizauth – tratt.net 3. 4. 2023pizauth: dump and restore – tratt.net 23. 3. 2023How Big Should a Programming Language Be? – tratt.net 16. 3. 2023Rust's Two Kinds of 'Assert' Make for Better Code – tratt.net 5. 3. 2023Scheduling my Electricity Usage – tratt.net 16. 2. 2023Why Aren't Programming Language Specifications Comprehensive? – tratt.net 26. 1. 2023Distinguishing an Interpreter from a Compiler – tratt.net 25. 1. 2023try_repeat released – tratt.net 17. 1. 2023Why We Need to Know LR and Recursive Descent Parsing Techniques – tratt.net 10. 1. 2023Compiled and Interpreted Languages: Two Ways of Saying Tomato – tratt.net 9. 1. 2023Software Security Research Position – tratt.net 15. 12. 2022How Might Generative AI Change Programming? – tratt.net 14. 12. 2022pizauth: differentiating transient from permanent errors – tratt.net 30. 11. 2022November Links – tratt.net 15. 11. 2022More Evidence for Problems in VM Warmup – tratt.net 10. 11. 2022What is a Research Summer School? – tratt.net 1. 11. 2022October Links – tratt.net 20. 10. 2022pizauth: another alpha release – tratt.net 3. 10. 2022UML: My Part in its Downfall – tratt.net 1. 10. 2022September Links – tratt.net 29. 9. 2022pizauth, an OAuth2 token requester daemon, in alpha – tratt.net 31. 8. 2022A Week of Bug Reporting – tratt.net 30. 8. 2022August Links – tratt.net 9. 8. 2022Making a Video of a Single Window – tratt.net 8. 8. 2022Two researcher jobs in soft-dev – tratt.net 1. 8. 2022Another Reorganisation – tratt.net 31. 7. 2022July Links – tratt.net 25. 7. 2022What's the Most Portable Way to Include Binary Blobs in an Executable? – tratt.net 19. 7. 2022CHERITech and PLISS – tratt.net 13. 7. 2022How I Clean my Glasses – tratt.net 30. 6. 2022What Metric to Use When Benchmarking? – tratt.net 15. 6. 2022Chance, Luck, and Risk – tratt.net 8. 6. 2022What Makes a Good Research Proposal? – tratt.net 31. 5. 2022May Links – tratt.net 26. 5. 2022Multiplicity Choices Are Hard to Model and Change – tratt.net 17. 5. 2022Using a "Proper" Camera as a Webcam – tratt.net 10. 5. 2022Programming Style Influences – tratt.net 4. 5. 2022snare: a Minimalistic GitHub Webhooks Runner – tratt.net 30. 4. 2022April Links – tratt.net 28. 4. 2022Where do Research Problems Come From? – tratt.net 20. 4. 2022Practising Programming – tratt.net 13. 4. 2022Making Rust a Better Fit for CHERI and Other Platforms – tratt.net 11. 4. 2022When is a Blog a Blog? – tratt.net 22. 6. 2021'Static Integer Types' blog post added – tratt.net 23. 3. 2021'Automatic Video Editing' blog post added – tratt.net 19. 1. 2021'The Evolution of a Research Paper' blog post added – tratt.net 17. 11. 2020'Automatic Syntax Error Recovery' blog post added – tratt.net 7. 10. 2020: 'Stick or Twist?' blog post added – tratt.net 7. 10. 2020: 'Stick or Twist?' blog post added – tratt.net 15. 9. 2020: 'Which Parsing Approach?' blog post added – tratt.net 15. 9. 2020: 'Which Parsing Approach?' blog post added – tratt.net 15. 9. 2020: 'Which Parsing Approach?' blog post added – tratt.net 6. 5. 2020: 'Alternative Sources of Advice' blog post added – tratt.net 6. 5. 2020: 'Alternative Sources of Advice' blog post added – tratt.net 6. 5. 2020: 'Alternative Sources of Advice' blog post added – tratt.net 15. 8. 2019: 'Minimum Times Tend to Mislead When Benchmarking' blog post added – tratt.net 15. 8. 2019: 'Minimum Times Tend to Mislead When Benchmarking' blog post added – tratt.net 15. 8. 2019: 'Minimum Times Tend to Mislead When Benchmarking' blog post added – tratt.net 12. 2. 2019: 'A Quick Look at Trait Objects in Rust' blog post added – tratt.net 12. 2. 2019: 'A Quick Look at Trait Objects in Rust' blog post added – tratt.net 12. 2. 2019: 'A Quick Look at Trait Objects in Rust' blog post added – tratt.net 19. 9. 2018: 'Why Aren’t More Users More Happy With Our VMs? Part 2' blog post added – tratt.net 19. 9. 2018: 'Why Aren’t More Users More Happy With Our VMs? Part 2' blog post added – tratt.net 19. 9. 2018: 'Why Aren’t More Users More Happy With Our VMs? Part 2' blog post added – tratt.net 5. 9. 2018: 'Why Aren’t More Users More Happy With Our VMs? Part 1' blog post added – tratt.net 5. 9. 2018: 'Why Aren’t More Users More Happy With Our VMs? Part 1' blog post added – tratt.net 5. 9. 2018: 'Why Aren’t More Users More Happy With Our VMs? Part 1' blog post added – tratt.net 10. 1. 2018: 'What I’ve Learnt So Far About Writing Research Papers' blog post added – tratt.net 10. 1. 2018: 'What I’ve Learnt So Far About Writing Research Papers' blog post added – tratt.net 10. 1. 2018: 'What I’ve Learnt So Far About Writing Research Papers' blog post added – tratt.net 22. 6. 2017: 'What Challenges and Trade-Offs do Optimising Compilers Face?' blog post added – tratt.net 22. 6. 2017: 'What Challenges and Trade-Offs do Optimising Compilers Face?' blog post added – tratt.net 22. 6. 2017: 'What Challenges and Trade-Offs do Optimising Compilers Face?' blog post added – tratt.net 21. 9. 2016: 'Fine-grained Language Composition' blog post added – tratt.net 21. 9. 2016: 'Fine-grained Language Composition' blog post added – tratt.net 21. 9. 2016: 'Fine-grained Language Composition' blog post added – tratt.net 28. 7. 2015: 'Debugging Layers' blog post added – tratt.net 20. 8. 2014: 'An editor for composed programs' blog post added – tratt.net 4. 12. 2013: 'The bootstrapped compiler and the damage done' blog post added – tratt.net