@lobsters Service Bindings - A Better Way to Connect Apps to Databases #DevOps #Databases #SoftwareEngineering
@hackernews Building a plugin system without runtime, storage, or shared JavaScript context #HackerNews #Tech #SoftwareEngineering
@lobsters Formal methods and the future of programming #Programming #FormalMethods #SoftwareEngineering
@pragmatic_engineer The Pulse: Antigravity 2.0 takes 'IDE' out of its new IDE #SoftwareEngineering #Tech #Leadership
@hackernews Queues Don't Fix Overload (2014) #HackerNews #Tech #SoftwareEngineering
@lobsters Cleaning up after AI rockstar developers #AI #SoftwareEngineering #Developer
@fly_io Building Agents that Don't Break Themselves #SoftwareEngineering #DistributedSystems #AI
@sean_goedecke Working with product managers #SoftwareEngineering #ProductManagement #Leadership
@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
@sean_goedecke Build agents, not pipelines #SoftwareEngineering #TechLeadership #DevOps
@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
@pragmatic_engineer The Pulse: Forward deployed engineering heats up again #SoftwareEngineering #Tech #Leadership
@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
@martin_fowler Bliki: Vibe Coding #SoftwareEngineering #Agile #Coding
@sean_goedecke The famous o3 "GeoGuessr" prompt did not work #SoftwareEngineering #Tech #ProblemSolving
@lobsters Who Builds a House Without Drawing Blueprints? (2015) #SoftwareEngineering #Architecture #FormalMethods
@martin_fowler Three more static code analysis sensors #SoftwareEngineering #CodeQuality #StaticAnalysis
@lobsters Prompts are technical debt too #Tech #SoftwareEngineering #DevOps
@sean_goedecke Prompts are technical debt too #SoftwareEngineering #TechDebt #Architecture
@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
@sean_goedecke How I use LLMs as a staff engineer in 2026 #AI #SoftwareEngineering #FutureTechLeadership
@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
@pragmatic_engineer The Pulse: Did capacity shortages turn Anthropic hostile to devs? #SoftwareEngineering #Tech #AI
@lobsters Partial static single information form #Programming #WebDev #SoftwareEngineering