🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

#compilers

132 posts

  • @habr_ru Как индексация строк изменила систему типов HydraScript #Programming #TypeSystem #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/habr_ru/posts/22624736

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/habr_ru/posts/22624736

    Don't have an account? Find a server at joinmastodon.org

    Oct 17, 2026
  • @dev_community MLIR-to-RTL Simulation Flow: From linalg.matmul to a Systolic Array #MLIR #Compilers #Hardware

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/dev_community/posts/22614017

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/dev_community/posts/22614017

    Don't have an account? Find a server at joinmastodon.org

    Oct 17, 2026
  • @lobsters Chasing a -O2 pessimization in antcc #Programming #Compilers #Optimization

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22523187

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22523187

    Don't have an account? Find a server at joinmastodon.org

    Oct 13, 2026
  • @lobsters Valen's Memory Safety: A New Kind of Borrow Checking #Programming #Rust #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22365392

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22365392

    Don't have an account? Find a server at joinmastodon.org

    Oct 11, 2026
  • @lobsters Branches in branch-free code #Programming #Compilers #RISCV

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363867

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363867

    Don't have an account? Find a server at joinmastodon.org

    Oct 9, 2026
  • @lobsters Equality Saturation: An "Incomplete" Project #Programming #Compilers #Research

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22364052

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22364052

    Don't have an account? Find a server at joinmastodon.org

    Oct 9, 2026
  • @lobsters rat's minimal register allocator #Programming #Compilers #Optimization

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22360690

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22360690

    Don't have an account? Find a server at joinmastodon.org

    Oct 7, 2026
  • @lobsters Inside the Mojo compiler #Programming #Compilers #Video

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22360118

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22360118

    Don't have an account? Find a server at joinmastodon.org

    Oct 7, 2026
  • @lobsters Two arm64-specific miscompiles induce vulnerabilities in curl #Security #Vulnerabilities #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22358156

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22358156

    Don't have an account? Find a server at joinmastodon.org

    Oct 6, 2026
  • @lobsters Gleam doesn't compile to Erlang source anymore #Programming #Compilers #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22357553

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22357553

    Don't have an account? Find a server at joinmastodon.org

    Oct 5, 2026
  • @lobsters Refinement E-Graphs #Programming #Compilers #FormalMethods

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22356564

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22356564

    Don't have an account? Find a server at joinmastodon.org

    Oct 5, 2026
  • @lobsters Hacking the Go compiler to efficiently map IPv4 to IPv6 #GoLang #Compilers #Networking

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22356291

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22356291

    Don't have an account? Find a server at joinmastodon.org

    Oct 4, 2026
  • @lobsters Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989) #Programming #Compilers #History

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22355532

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22355532

    Don't have an account? Find a server at joinmastodon.org

    Oct 3, 2026
  • @lobsters Schedules Are Solvable Symbols: Tuning-Free Compilation of Tile Programs on Dataflow Architectures #Compilers #ComputerScience #Research

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22353401

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22353401

    Don't have an account? Find a server at joinmastodon.org

    Oct 2, 2026
  • @lobsters EDG C/C++ Compiler Project #Programming #Compilers #Cpp

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22351657

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22351657

    Don't have an account? Find a server at joinmastodon.org

    Sep 30, 2026
  • @lobsters Re: Suggestions on implementing an efficient instruction set simulator in LuaJIT2 (2011) #Programming #Lua #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22341497

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22341497

    Don't have an account? Find a server at joinmastodon.org

    Sep 23, 2026
  • @lobsters Quarkdown: Turing-complete Markdown typesetting system #Programming #Compilers #Markdown

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22337841

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22337841

    Don't have an account? Find a server at joinmastodon.org

    Sep 20, 2026
  • @lobsters Benchmarking Wild vs Mold #Performance #Benchmarking #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22336613

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22336613

    Don't have an account? Find a server at joinmastodon.org

    Sep 18, 2026
  • @lobsters How GCC Eliminates Unnecessary Integer Division #Programming #Optimization #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22331265

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22331265

    Don't have an account? Find a server at joinmastodon.org

    Sep 14, 2026
  • @lobsters Singeli: High-level interface for low-level programming #Programming #Compilers #Performance

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22330107

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22330107

    Don't have an account? Find a server at joinmastodon.org

    Sep 14, 2026
  • @lobsters Metacarp #Programming #Lisp #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22329187

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22329187

    Don't have an account? Find a server at joinmastodon.org

    Sep 13, 2026
  • @lobsters Making a Python interpreter in 1024 bytes #Python #Programming #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22320442

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22320442

    Don't have an account? Find a server at joinmastodon.org

    Sep 6, 2026
  • @max_bernstein Support Local Variables #Programming #Software #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/max_bernstein/posts/22326133

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/max_bernstein/posts/22326133

    Don't have an account? Find a server at joinmastodon.org

    Sep 4, 2026
  • @lobsters CTTI is Exponential, RTTI is Linear #Compilers #Programming #Tech

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22315733

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22315733

    Don't have an account? Find a server at joinmastodon.org

    Sep 2, 2026
  • @lobsters Why I'm excited about effect systems (2025) #Programming #Compilers #SoftwareDevelopment

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22315208

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22315208

    Don't have an account? Find a server at joinmastodon.org

    Sep 2, 2026
  • @the_slow_path The joy of Compiler Development #Programming #Compilers #SoftwareDevelopment

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/the_slow_path/posts/22326484

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/the_slow_path/posts/22326484

    Don't have an account? Find a server at joinmastodon.org

    Aug 31, 2026
  • @lobsters Catching NaN at the MLIR Pass Boundary #MLIR #Compilers #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22307471

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22307471

    Don't have an account? Find a server at joinmastodon.org

    Aug 26, 2026
  • @pointers_gone_wild Replacing a Rust Enum with a 64-bit Word Made My Interpreter 17% Faster #RustLang #Performance #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/pointers_gone_wild/posts/22446285

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/pointers_gone_wild/posts/22446285

    Don't have an account? Find a server at joinmastodon.org

    Aug 25, 2026
  • @lobsters Adding JIT-compilation to a toy interpreter with libgccjit #Compilers #JIT #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22304290

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22304290

    Don't have an account? Find a server at joinmastodon.org

    Aug 24, 2026
  • @lobsters JIT Compiling Code in 5μs #Compilers #Performance #Code

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22303620

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22303620

    Don't have an account? Find a server at joinmastodon.org

    Aug 23, 2026
  • @lobsters Compile-Time Improvements in LLVM 23 #LLVM #Compilers #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22302894

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22302894

    Don't have an account? Find a server at joinmastodon.org

    Aug 22, 2026
  • @lobsters Opinions About Compiler Building #Compilers #Programming #SoftwareEngineering

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22299580

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22299580

    Don't have an account? Find a server at joinmastodon.org

    Aug 19, 2026
  • @lobsters How I developed an Am29000 C compiler and web browser #RetroComputing #Compilers #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22298895

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22298895

    Don't have an account? Find a server at joinmastodon.org

    Aug 19, 2026
  • @lobsters Retrofitting a build system into a compiler #compilers #programming #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22297508

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22297508

    Don't have an account? Find a server at joinmastodon.org

    Aug 17, 2026
  • @lobsters Writing a Fast Compiler #Compilers #Programming #SoftwareEngineering

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22296683

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22296683

    Don't have an account? Find a server at joinmastodon.org

    Aug 17, 2026
  • @lobsters 2026 EuroLLVM #Tech #LLVM #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22294631

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22294631

    Don't have an account? Find a server at joinmastodon.org

    Aug 14, 2026
  • @max_bernstein Another partial SSI trick with canonicalize #Programming #Software #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/max_bernstein/posts/22326137

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/max_bernstein/posts/22326137

    Don't have an account? Find a server at joinmastodon.org

    Aug 13, 2026
  • @lobsters Overengineered calculator: Zig + QBE #Programming #ZigLang #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22275369

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22275369

    Don't have an account? Find a server at joinmastodon.org

    Jul 29, 2026
  • @lobsters Why Rocq is better than Lean for program verification #Programming #FormalMethods #Compilers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22274687

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22274687

    Don't have an account? Find a server at joinmastodon.org

    Jul 28, 2026
  • @lobsters Inside Zig's Incremental Compilation #Programming #Compilers #ZigLang

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22274169

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22274169

    Don't have an account? Find a server at joinmastodon.org

    Jul 28, 2026
Older »