boltzmann-brain

    Location: Austria, EU
    Remote: Yes, US/EU/UK/Global
    Technologies: Rust, Python, Go, Haskell, C++, TypeScript, JS, React, K8s, PHP, ...
    Code: https://github.com/cheater
    Résumé/CV: ask
    Email: [email protected]

AI-native Senior Software Engineer with 10+ years of hands-on experience building difficult systems in AI, fintech, high-performance APIs and crypto.

• Part of original Tezos launch team - blockchain protocol and cryptography

• Built an LLM start to end at Primer.ai - incl algo, training/backfill infra, production code, deployment.

• High-perf systems eg in Rust and Python; latency and throughput improvements of up to 10-1000x.

• Fintech: Low-latency/kernel-bypass networking, FIX, MEV

• Crypto: EVM, Solidity, DAML, and Solana contracts and dApps, ...

• Dozens of infosec audits on crypto codebases (eg Solana), secure gov facilities, defense

• Contrib to books on Rust, Haskell, and other resources

Strongest in: Python and Rust, with deep C++, Haskell, and Go experience. LLMs, RAG, agentic systems, MLOps, K8s, cloud infra, distsys and perf.

Very fluent with AI in my day-to-day dev work. I use GPT, Codex, Claude, Cursor and other current tools extensively. I'm comfortable both building AI systems and using AI aggressively to make software engineering faster and better.

I'm looking for a Senior Software Engineer role, eg:

• AI/ML and LLMs;

• Rust/C++ and perf engineering

• Python/JS backend or full-stack

• Crypto/blockchain

• Infosec and crypto audits

Extensive experience working remotely with US-based companies and global teams. If you're hiring a technically capable Senior Engineer, I'd love to hear from you!

(Please no requests for unpaid work / paid in stock.)

power capacity coming from solar means that at peak, no new non-solar power plants are needed. it does not mean that at nadir everything is solar. legacy power plants continue working around the clock, it either goes to waste or it goes to things that run at night.

that aside, solar also includes storage of energy that comes from solar. you should read up on energy networks.

> inexperienced at airgapping

pulls out ethernet cord am I now experienced at airgapping?

what do you mean?

Don't bother. Half the email replies looked AI generated. He has you solve a problem on a VM, then an LLM evaluates it.

However:

- the LLM gets basic facts wrong about the solution

- the LLM fails you for not solving issues that you weren't supposed to solve (it's a live outage scenario where you're supposed to restore the system ASAP, not go on side quests for bugs that aren't being triggered)

Looks like the guy is too amazed by one-shot evals and believes they should be used for humans too, but then his LLM makes basic mistakes evaluating the results (such as: did you or did you not commit to a git repository).

When emailed about these issues, first he ignored the email, then when emailed about it again he got really combative and started gaslighting about how well his AI driven job interview process works. This shows that he's not a guy who's capable of dealing with the least amount of disagreement. Definitely not someone I'd want deciding about my continued employment.

This is the full email he sent once he finally responded:

> That kind of attitude doesn't help. We have a business to run; we can't be answering email all day long.

>

> Our harness has survived 500+ tests, I doubt it is incorrect. However, there were three bugs; you only found one.

(I wasn't giving him attitude.)

500 garbage AI generated tests are still just garbage my dude.

Avoid at all costs.

doubtful you've found the right email, but it's ok - the extent to which you're repeatedly confused about basic facts shows I'd hate having someone like that decide about my ongoing employment.

The salary speaks to the opposite

I'm not Brian. I also doubt Jose or Gleb were Brian. You're talking to another person now. I am the third person who replied to you in this thread. My friend, should you be hiring people if you get lost in a chat thread?

I applied in February, included answers to your questions, my email was not generic - it was fully handwritten for your post, it only talked about things relevant to Puma, and included a CV. I received no response either.

I'll be honest, it's not looking good for you

Hi Nastya, the Lead Data Engineer role is not on your Ashby page - has it been filled, or are you yet to post it?

Thanks

Is the data engineer role an internship?

Are you willing to consider exceptional candidates on a fully-remote basis?

Color? Luxury! To experience color, we had to use transparent glass panes painted with stripes of blue, green, and yellow for sky trees and ground respectively! And they didn't make them in the right size for my tv!!

For the second role, will you consider exceptional candidates that are remote-only (EU/CET)?

i don't kiss and tell!

a character LCD was an upgrade. try tiny 14" b&w tv!

    Location: EU, overlap with US East+West Time Zones
    Remote: Yes
    Relocation: No
    Technologies: Claude Code, Rust, C++, Python, Go, Zig, Haskell, TypeScript, JS, Nix, K8s, Terraform, PostgreSQL, Linux, PHP, React, infosec, ...
    Email: [email protected]
    CV: on request

長 Senior engineer / tech lead (20+ YOE). Former IC → EM → Director → CTO.

宝 Multiple exits. Hands-on, or owning the whole technical org.

勝 Highlights:

— Managed organization of 60 world-class researchers and devs working on AI safety

— Designed and shipped a commercial LLM end-to-end that competed with ChatGPT (algorithms → training → MLops), now used internally at global orgs

— Expert at agentic workflows (Claude Code, harnesses, autonomous agents, LLM-powered dev)

— Shipped prod systems for Oracle, Shell, Time Warner, Bank of America, Sparkasse, Saatchi & Saatchi, Digitas

— Launched and audited major blockchains (e.g. Tezos - core team, Solana - 3rd party auditor)

— Built + scaled a software NGO (2M+ supporters, 1k+ volunteers)

睿 Strengths: Turn ambiguous problems into shipped systems; MVPs that don’t need rewriting; ML, LLMs, Foundation Models, RAGs, vector DBs; 10x–1000x performance wins on legacy systems; FP, Compilers, DSLs, distributed systems, security-critical code

功 Further work: Contributor: Rust Book, Rust By Example, Python docs, Haskell Communities and Activities Report; Dozens of audits, background in cryptography, infosec, formal methods

運 If you need someone who can own the stack and ship reliably, email me at [email protected]

P.S. I thought I'd use graphemes instead of bullet points, since they carry meaning related to the paragraph. Kind of like a mini-heading!

my first internet was on a commodore, on a C128, with a modem hand cut from copper clad, plugged into the user port, and hooked up to pirate radio, that connected to another country. we got insane speeds! seconds per character!

you missed a trick with joysticks. the trick with decathlon was to hold the joystick by the base, upside down, and shake it violently. that always did the trick! i remember a friend of the family showing me that and my mind was absolutely blown.

    Location: EU, overlap with US East+West Time Zones
    Remote: Yes
    Relocation: No
    Technologies: Claude Code, Rust, C++, Python, Go, Zig, Haskell, TypeScript, JS, Nix, K8s, Terraform
    Email: [email protected]
    CV: on request

長 Senior engineer / tech lead (20+ YOE). Former IC → EM → Director → CTO.

宝 Multiple exits. Hands-on, or owning the whole technical org.

勝 Highlights:

— Designed and shipped a commercial LLM end-to-end (algorithms → training → MLops)

— Expert at agentic workflows (Claude Code, harnesses, autonomous agents, LLM-powered dev)

— Shipped prod systems for Oracle, Shell, Time Warner, BoA, Sparkasse, Saatchi & Saatchi, Digitas

— Launched and audited major blockchains (e.g. Tezos, Solana)

— Built + scaled a software NGO (2M+ supporters, 1k+ volunteers)

睿 Strengths: Turn ambiguous problems into shipped systems; MVPs that don’t need rewriting; ML, LLMs, Foundation Models, RAGs, vector DBs; 10x–1000x performance wins on legacy systems; FP, Compilers, DSLs, distributed systems, security-critical code

功 Further work: Contributor: Rust Book, Rust By Example, Python docs, Haskell Communities and Activities Report; Dozens of audits, background in cryptography, infosec, formal methods

運 If you need someone who can own the stack and ship reliably, email me at [email protected]

I've originally asked for it two weeks ago on the Ghostty github discussions page [1], and it turns out someone decided to just go ahead and develop it. It looks awesome. What's most stunning to me is that back in the 90s and 00s we would have waited several years to someone try and attempt something like this. Huge thanks to GH user mikewang817

[1] https://github.com/ghostty-org/ghostty/discussions/13291

P.S. I changed "agent" to "app" in the title since that makes much more sense. I think the author used the wrong word there. Maybe tformula was initially meant for only agents and then it turned out to work for all CLI apps and the title hasn't been updated yet.

> However, we do not consider those as farces as well

Speak for yourself. A lot of people do.

It's very usual to name famous people by their first name. like John, Ringo, George, or Paul. Or Steve and Bill. Or Sam and Dario.

    Location: EU, overlap with US East+West Time Zones
    Remote: Yes
    Relocation: No
    Technologies: Claude Code, Rust, C++, Python, Go, Zig, Haskell, TypeScript, JS, Nix, K8s, Terraform
    Email: [email protected]
    CV: on request

長 Senior engineer / tech lead (20+ YOE). Former IC → EM → Director → CTO.

宝 Multiple exits. Hands-on, or owning the whole technical org.

勝 Highlights:

— Designed and shipped a commercial LLM end-to-end (algorithms → training → MLops)

— Expert at agentic workflows (Claude Code, harnesses, autonomous agents, LLM-powered dev)

— Shipped prod systems for Oracle, Shell, Time Warner, BoA, Sparkasse, Saatchi & Saatchi, Digitas

— Launched and audited major blockchains (e.g. Tezos, Solana)

— Built + scaled a software NGO (2M+ supporters, 1k+ volunteers)

睿 Strengths:

— Turn ambiguous problems into shipped systems

— MVPs that don’t need rewriting

— ML, LLMs, Foundation Models, RAGs, vector DBs

— Rigorous code and infosec audits for mission-critical infra

— 10x–1000x performance wins on legacy systems

— FP, Compilers, DSLs, distributed systems, security-critical code

功 Further work:

— Contributor: Rust Book, Rust By Example, Python docs, Haskell Communities and Activities Report

— Dozens of audits

— Background in cryptography, infosec, formal methods

運 If you need someone who can own the stack and ship reliably, email me at [email protected]

    Location: EU, overlap with US Time Zones
    Remote: Yes
    Relocation: No
    Technologies: Rust, C++, Python, Go, Zig, Haskell, TypeScript, Nix, K8s, Terraform
    Email: [email protected]
    CV: on request

Senior engineer / tech lead (20+ YOE). Former IC → EM → Director → CTO. Multiple exits. Hands-on, or owning the whole technical org.

Highlights: - Designed and shipped a commercial LLM end-to-end (algorithms → training → MLops) - Launched and audited major blockchain systems (e.g. Tezos) - Shipped production systems for Oracle, Shell, Time Warner, BoA, Sparkasse, Saatchi & Saatchi, Digitas - Built and scaled a software NGO (500k+ supporters, 1k+ volunteers)

Strengths: - Turning ambiguous problems into shipped systems - MVPs that don’t need rewriting - ML, LLMs, RAGs, vector DBs - Rigorous code and infosec audits for mission-critical infra - 10x–1000x performance wins on legacy systems - FP, Compilers, DSLs, distributed systems, security-critical code

Further work: - Contributor: Rust Book, Rust By Example, Python docs, Haskell Communities and Activities Report - Dozens of smart contract audits - Background in cryptography, infosec, formal methods, infosec audits

Tech: AI/ML (LLMs, Foundation Models, RAGs, MLops); Rust, Python, Go, Zig, C++, C, Haskell, Scala, Typescript, Node.js, Next; NixOS/Nix, AWS, Terraform; Launched Tezos and other blockchains

If you need someone who can own the stack and ship reliably, email me at [email protected]

    Location: EU, overlap with PST
    Remote: Yes
    Relocation: No
    Technologies: Rust, C++, Python, Go, Zig, Haskell, TypeScript, Nix, K8s, Terraform
    Email: [email protected]
    CV: on request

Senior engineer / tech lead (20+ YOE). Former IC → EM → Director → CTO. Multiple exits. Hands-on, or owning the whole technical org.

Highlights: - Designed and shipped a commercial LLM end-to-end (algorithms → training → MLops) - Launched and audited major blockchain systems (e.g. Tezos) - Shipped production systems for Oracle, Shell, Time Warner, BoA, Sparkasse, Saatchi & Saatchi, Digitas - Built and scaled a software NGO (500k+ supporters, 1k+ volunteers)

Strengths: - Turning ambiguous problems into shipped systems - MVPs that don’t need rewriting - ML, LLMs, RAGs, vector DBs - Rigorous code and infosec audits for mission-critical infra - 10x–1000x performance wins on legacy systems - FP, Compilers, DSLs, distributed systems, security-critical code

Further work: - Contributor: Rust Book, Rust By Example, Python docs, Haskell Communities and Activities Report - Dozens of smart contract audits - Background in cryptography, infosec, formal methods

If you need someone who can own the stack and ship reliably, email me at [email protected]

> Our implementation is up to 2x faster than optimized speculative decoding baselines and up to 5x faster than autoregressive decoding with open source inference engines

what about per-FLOP?

Speaking of battery, veeeeery soon phones will have mandated replaceable batteries in the EU. I'm just hoping my current moto (a $99 job perfectly adequate for absolutely everything I do) survives until then.

Aside: I've noticed over the years that phones die in one of the following ways: - too fast charging (battery dies, charge controller dies) - usb port dies - screen broken - all sorts of falls

A lether folio case, gorilla glass, and a Qi charging adapter solve all of those problems (the charging adapter also limits the current by virtue of being inefficient). It has a magnetic connector (it's a simple two-pin job and it doesn't have any issues) - in the rare occasion I want to charge up real quick, I can still hook up directly via usb c, and meanwhile the port is stuffed with the converter's plug which prevents it from accumulating dirt and fluff.

I'm glad to say that even despite many falls, some directly onto the screen, the phone itself still works very well, even if the case and glass protector are obviously ragged.

I hope once unlockable Moto's come around I'll be able to keep that one for a long while as well.

with the advent of AI assists, I can't wait for people to start hooking up SoCs, GPUs, and other components burdened by proprietary driver and firmware to logic analyzers, and letting AI have a crack at it. I wonder what'll happen - this might well be the end of proprietary blobs, and I'm here for it.