@hackernews Building my own Vi text editor in BASIC #HackerNews #Tech #Programming
@lobsters One week of view_types #Rust #Programming #SoftwareDevelopment
@lobsters We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase #Programming #OpenSource #Research
@lobsters Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based #Python #Concurrency #Programming
@lobsters Tokens and Dreams #Programming #Tech #OpenSource
@lobsters A bidirectional typechecking puzzle #Programming #TypeSystem #Haskell
@lobsters Building my own Vi text editor in BASIC #RetroComputing #Programming #VintageTech
@hackernews Nobody Reviews Compiler Output #HackerNews #Tech #Programming
@hackernews How do I inform Windows that I'm writing a binary file? #HackerNews #Tech #Programming
@lobsters Tokens and Dreams #Programming #SoftwareDevelopment #Tech
@lobsters A little comparison between R and Kap #Programming #SoftwareDevelopment #DataScience
@lobsters sectorllm: llama2 inference in < 1500 bytes of x86 assembly #Assembly #AI #Programming
@hackernews Welcome to Gas City #HackerNews #Tech #Programming
@lobsters Nondeterminism's not the problem #Programming #Software #OpenSource
@hackernews Boris Cherny: TI-83 Plus Basic Programming Tutorial (2004) #HackerNews #Tech #Programming
@hackernews I am worried about Bun #HackerNews #Tech #Programming
@lobsters Redis array type: short story of a long development #Databases #Redis #Programming
@lobsters Async Rust never left the MVP state #Rust #Programming #AsyncIO
@lobsters oops, cubic macro #Rust #Programming #OpenSource
@lobsters Writing middlewares for Rust Lambda functions #Rust #Programming #Cloud
@lobsters What are you doing this week? #Community #Programming #Discussion
@lobsters Reminder: You Can Stitch Together Lots of Little HTML Pages With Navigations For Interactions #WebDev #HTML #Programming
@lobsters RaTeX: LaTeX math renderer in Rust #Rust #Programming #OpenSource
@lobsters Designing microkernel IPC #Kernel #OSDev #Programming
@lobsters Guix System on WSL #OpenSource #Linux #Programming
@lobsters Continuing the story of early DOS development #Programming #History #OpenSource
@hackernews The 'Hidden' Costs of Great Abstractions #HackerNews #Tech #Programming
@lobsters Minimal Viable Zig Error Contexts #Zig #Programming #SoftwareEngineering
@lobsters Quickheap: the fastest comparison-based heap? #Programming #DataStructures #Algorithms
@lobsters Adding author context to RSS #RSS #Programming #OpenSource
@hackernews Windows API Is Successful Cross-Platform API #HackerNews #Tech #Programming
@lobsters Treat Agent Output Like Compiler Output #Programming #SoftwareDevelopment #Tech
@lobsters C3 | Blog | Unsigned sizes: a five year mistake #Programming #SoftwareEngineering #C
@lobsters Open Source Does Not Imply Open Community #OpenSource #Community #Programming
@hackernews Unsigned Sizes: A Five Year Mistake #HackerNews #Tech #Programming
@lobsters PEP 661 - Sentinel Values, accepted 5 years later #Python #Programming #OpenSource
@hackernews A little comparison between R and Kap #HackerNews #Tech #Programming
@lobsters Agentic Coding is Burning Me Out #Programming #Burnout #DeveloperLife
@lobsters Flue -- The Agent Harness Framework #Programming #Framework #OpenSource
@lobsters A Letter from Dijkstra on APL(1982) #Programming #History #ComputerScience