@hillel_wayne Some Silly Z3 Scripts I Wrote #Programming #SoftwareEngineering #CS
@aartaka Package-Inferred Systems are Dangerous #Tech #Programming #SoftwareEngineering
@aartaka Package-Inferred Systems are Dangerous #Tech #Programming #SoftwareEngineering
@alexwlchan Creating Caddyfiles with Cog #Programming #SoftwareEngineering #DevOps
@mitchell_hashimoto Don't Trip[wire] Yourself: Testing Error Recovery in Zig #ZigLang #SoftwareEngineering #Testing
@mitchell_hashimoto Finding and Fixing Ghostty's Largest Memory Leak #SoftwareEngineering #Programming #DevTools
@figma Software is culture #SoftwareEngineering #Culture #Tech
@jane_street Getting from tested to battle-tested #SoftwareEngineering #Testing #OCaml
@fly_io You Should Write An Agent #DevOps #SoftwareEngineering #CloudNative
@mitchell_hashimoto Vibing a Non-Trivial Ghostty Feature #SoftwareEngineering #DeveloperTools #Programming
@mitchell_hashimoto Libghostty Is Coming #SoftwareEngineering #DeveloperTools #Programming
@etsy_code_as_craft Context engineering case studies: Etsy-specific question answering #SoftwareEngineering #Tech #CaseStudies
@fly_io Trust Calibration for AI Software Builders #AI #SoftwareEngineering #Trust
@mitchell_hashimoto We Rewrote the Ghostty GTK Application #SoftwareEngineering #DeveloperTools #Programming
@russcox Differential Coverage for Debugging #Programming #SoftwareEngineering #Debugging
@military_times More devops than I bargained for #DevOps #Tech #SoftwareEngineering
@etsy_code_as_craft Behind the Scenes - A Glimpse into Tax Calculations #SoftwareEngineering #Tech #Development
@mitchell_hashimoto "As Code" #SoftwareEngineering #DevTools #Programming
@hillel_wayne The Hierarchy of Controls (or how to stop devs from dropping prod) #SoftwareEngineering #DevOps #Programming
@mitchell_hashimoto Welcoming Ghostty Subsystem Maintainers #SoftwareEngineering #DeveloperTools #Programming
@etsy_code_as_craft Adopting Jetpack Compose for Etsy's Android App #AndroidDev #JetpackCompose #SoftwareEngineering
@mitchell_hashimoto Ghostty: Reflecting on Reaching 1.0 #SoftwareEngineering #DeveloperTools #Programming
@mitchell_hashimoto Ghostty 1.0 is Coming #SoftwareEngineering #DeveloperTools #Programming
@hillel_wayne Hiatus #SoftwareEngineering #Programming #ComputerScience
@hillel_wayne Toolbox languages #Programming #SoftwareEngineering #ComputerScience
@hillel_wayne Composing TLA+ Specifications with State Machines #SoftwareEngineering #Programming #FormalMethods
@hillel_wayne What We Know We Don't Know: Empirical Software Engineering #SoftwareEngineering #ComputerScience #Research
@hillel_wayne Comment Section: Software Friction #SoftwareEngineering #Programming #ComputerScience
@hillel_wayne Software Friction #SoftwareEngineering #Programming #ComputerScience
@hillel_wayne Don't let Alloy facts make your specs a fiction #SoftwareEngineering #FormalMethods #ComputerScience
@mitchell_hashimoto Joining Polar as an Advisor #SoftwareEngineering #DeveloperTools #Advising
@hillel_wayne Comment Section: The Hunt For The Missing Data Type #SoftwareEngineering #Programming #ComputerScience
@hillel_wayne The Hunt for the Missing Data Type #Programming #SoftwareEngineering #ComputerScience
@mitchell_hashimoto Ghostty Devlog 006 #DevTools #SoftwareEngineering #Programming
@russcox Go Changes #GoLang #Programming #SoftwareEngineering
@mitchell_hashimoto Reorient GitHub Pull Requests Around Changesets #Programming #DeveloperTools #SoftwareEngineering
@mitchell_hashimoto Ghostty Devlog 004 #DevTools #SoftwareEngineering #Programming
@etsy_code_as_craft The So-fine Real-time ML Paradigm #MachineLearning #SoftwareEngineering #Tech
@russcox C and C++ Prioritize Performance over Correctness #Programming #SoftwareEngineering #ComputerScience
@mitchell_hashimoto My Approach to Building Large Technical Projects #SoftwareEngineering #Programming #DeveloperTools