Log inSign up
Log inSign up
Alex Kuleshov
8,693 posts
Alex Kuleshov profile banner
@0xAX

Alex Kuleshov

@0xAX
Software developer. Obsessed with Linux and and understanding how things work underneath. Author of linux-insides. Open to work.
Kazakhstan / Astana
0xAX.dev
Joined October 2012
190 Following
12.6K Followers
RepliesRepliesRepostsRepostsMediaMedia

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·US TIDA·Ads Info·© 2026 X Corp.
  • Pinned
    @0xAX
    Alex Kuleshov
    @0xAX
    Jul 20
    I'm looking for a remote senior or principal backend engineering role. I’m based in GMT+5, with full working-hours overlap with CET. I've spent the past 14 years building distributed systems with Go and Elixir/Erlang. You’re more likely to know me as the author of linux-insides.
    2
  • @0xAX
    Alex Kuleshov
    @0xAX
    Oct 9
    vibe proving
    @Quasilocal
    Steve McCormick
    @Quasilocal
    Oct 8
    The plot thickens. "We show that the formalised Lean proof does not correspond to the [written paper] proof of blow-up of solutions to the Navier-Stokes equations." arxiv.org/abs/2610.08144
  • @0xAX
    Alex Kuleshov
    @0xAX
    Oct 9
    coding is solved
  • @0xAX
    Alex Kuleshov
    @0xAX
    Oct 8
    New linux-insides chapter is out! Continue to investigate different data structures and how they are implemented in the Linux kernel. This time: Bitmaps in the Linux kernel 0xax.dev/books/linux-in…
    @0xAX
    Alex Kuleshov
    @0xAX
    Oct 6
    The next part of linux-insides is coming soon! This time: bitmaps in the Linux kernel.
    GIF
    2
  • @0xAX
    Alex Kuleshov
    @0xAX
    Oct 7
    Sometimes a comment can give you much more food for thought than the post itself
    1