@lobsters Stop Using Conventional Commits #SoftwareEngineering #DevOps #CodingPractices
@lobsters Semantic Reification: A new paradigm for random program generation #Programming #Compilers #SoftwareEngineering
@lobsters Code is Cheap(er) #Programming #WebDev #SoftwareEngineering
@lobsters Branchless Quicksort #Programming #Algorithms #SoftwareEngineering
@lobsters Floating-Point Error Handling in C++: What Actually Works #Cpp #Programming #SoftwareEngineering
@lobsters How did software get so reliable without proof? (1996) #SoftwareEngineering #History #Reliability
@lobsters Self-calling executables #Programming #GoLang #SoftwareEngineering
@lobsters Artificial Intelligence for Software Engineering: From Probable to Provable #AI #SoftwareEngineering #Tech
@hackernews Lean, Not Backpressure #HackerNews #Tech #SoftwareEngineering
@lobsters A New Design for Pretty Printer Implementations in Rust #Rust #Programming #SoftwareEngineering
@lobsters Creusot helps you prove your Rust code is correct #Rust #Programming #SoftwareEngineering
@hackernews Software Engineering at the Tipping Point #HackerNews #Tech #SoftwareEngineering
@lobsters Don't Roll Your Own ... #Programming #WebDev #SoftwareEngineering
@lobsters Dependency cooldowns are unfair; we should use phased rollouts instead #SoftwareEngineering #DevOps #Security
@lobsters Who Builds a House Without Drawing Blueprints? (2015) #SoftwareEngineering #Architecture #FormalMethods
@lobsters Prompts are technical debt too #Tech #SoftwareEngineering #DevOps
@lobsters I am not a Software Engineer #SoftwareEngineering #Career #Tech
@lobsters On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications #Testing #SoftwareEngineering #FormalMethods
@hackernews The Interview That Ships to Production: replacing whiteboards with pull requests #HackerNews #Tech #SoftwareEngineering
@lobsters Manual Memory Management #Programming #MemoryManagement #SoftwareEngineering
@lobsters What we learned using AI agents to refactor a monolith #AI #SoftwareEngineering #DevOps
@lobsters Bidirectional Typechecking That Does Not Stop #Programming #TypeSystem #SoftwareEngineering
@lobsters A Simple Runtime Invariant Miner #ComputerScience #SoftwareEngineering #Programming
@lobsters Partial static single information form #Programming #WebDev #SoftwareEngineering
@hackernews Why senior developers fail to communicate their expertise #HackerNews #Tech #SoftwareEngineering
@lobsters Learning Software Architecture #SoftwareEngineering #Architecture #Programming
@lobsters Fighting Hyrum's Law in LLVM #LLVM #Programming #SoftwareEngineering
@hackernews From Today, Software Engineering Is Dead #HackerNews #Tech #SoftwareEngineering
@lobsters Exception Annotations: Lay of the Land #Haskell #Programming #SoftwareEngineering
@lobsters Idempotency Is Easy Until the Second Request Is Different #Programming #DistributedSystems #SoftwareEngineering
@lobsters A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs #SoftwareEngineering #Testing #Research
@lobsters Library dependency version specifiers aren't for fixing vulnerabilities #SoftwareEngineering #Security #OpenSource
@hackernews Mythical Man Month #HackerNews #Tech #SoftwareEngineering
@lobsters Building the deployment tool I wish I had #DevOps #SoftwareEngineering #Tooling
@hackernews Formatting a 25M-line codebase overnight #HackerNews #Tech #SoftwareEngineering
@lobsters Minimal Viable Zig Error Contexts #Zig #Programming #SoftwareEngineering
@lobsters C3 | Blog | Unsigned sizes: a five year mistake #Programming #SoftwareEngineering #C
@hackernews Benchmarking a Bug Scanner #HackerNews #Tech #SoftwareEngineering
@lobsters The LLM Is Not a Junior Engineer #AI #SoftwareEngineering #Tech
@lobsters Illegal vs Unwanted States #Programming #SoftwareEngineering #FormalMethods