boltzmann-brain

> 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.

boltzmann-brain

ieridiscuss

    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]

boltzmann-brain

28 giorni fadiscuss

    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]

boltzmann-brain

2 mesi fadiscuss

[flagged]

boltzmann-brain

2 mesi fadiscuss

    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]

boltzmann-brain

4 mesi fadiscuss

> 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?

boltzmann-brain

4 mesi fadiscuss

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.

boltzmann-brain

4 mesi fadiscuss

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.

boltzmann-brain

4 mesi fadiscuss

The biggest issue is that with colo you're building a skill pool that can be used forever, with AWS you're building a skill pool centered around a corporate entity's business strategies and an inscrutable, closed-source system, which is not sustainable.

boltzmann-brain

4 mesi fadiscuss

As opposed to talent to manage the AWS? Sorry, AWS loses here as well.

boltzmann-brain

4 mesi fadiscuss

8086K, actually. I still run one inside one of my PCs!

boltzmann-brain

4 mesi fadiscuss

Helped a friend make a difficult career decision (cozy job vs something hard and new + moving to a new city) that ultimately ended up with him working on the project. Glad that happened. I love to see people grow.

boltzmann-brain

4 mesi fadiscuss

Main tech skills:

AI/ML: LLMs, RAGs, predictive models, machine vision; MLops (K8s, Airflow, Kubeflow, Flyte, Seldon, KEDA, ELK, Kibana), end-to-end systems (algorithms, data pipelines, training, inference, deployment); Vector DBs (Qdrant, Chroma); data lakes; performance- and cost-driven implementations (C++/Rust).

Backend / systems (languages): Rust, Python, Go, Zig, C++, C, Haskell, Scala, Typescript, Node.js, Next;

Infra / DevOps: NixOS/Nix, AWS, Terraform, Docker, Ansible; CI/CD, Linux internals, observability, reliability engineering.

Fintech / crypto: Launched Tezos and other blockchains; smart-contract audits; regulated, security-critical environments; built production systems for trad banks.

Security: Cryptography, threat modeling, audits, reverse engineering.

Leadership: Staff+ IC → CTO; led teams 2–30; hiring, mentoring, technical strategy, raising VC.

boltzmann-brain

4 mesi fadiscuss

    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]

boltzmann-brain

5 mesi fadiscuss

That's very deep water to dive into. I suggest something simpler, like an ancient irc client that asks you to sign up, or an archive extractor.

boltzmann-brain

5 mesi fadiscuss

> The "money goes to the repo part" is the problem here, as it incentivizes maintainers to refuse legitimate pull requests.

That's not true. The issue is that the system the comment you're replying to described is escrow. Escrow degenerates in the way that you describe. I explain it a bit more in this comment elsewhere on this post:

https://news.ycombinator.com/item?id=46943416

A straight up non-refundable participation payment does not have this issue, and creates a different set of incentives and a different economy, while there also exist escape hatches for free-of-charge contributions.

> The real problem here is the amount of work necessary to make this viable.

Not necessarily. This article mentions Tezos, which is capable of doing such things on-chain already:

https://news.ycombinator.com/item?id=46938811

> all the annoying KYC/AML that a normie has to get through to use it.

There are always escape hatches. If your code is so great that people will want to pull it, then you don't pay to push. If it's not really that great, then what are we talking about? Maybe it disincentivizes mid code being pushed. So be it.

You can make friends, you can make a name for yourself, you can make a fork that's very successful and upstream will want to pull it in, you can exert social pressure / marketing to get your code merged in. Lots of options that do not involve KYC/AML.

For everyone else, I'd say KYC/AML are a good idea because of the increasing amount of supply chain exploits being pushed out into repos. If pushing by randos is gated by KYC/AML, then there's at least some method of chasing the perps down and taking them to justice.

That's a win-win-win-win situation. Less mid code, less exploits, earnings for maintainers, AI slop blocked. Absolutely amazing.

boltzmann-brain

5 mesi fadiscuss

pay-to-commit has been discussed in the article linked here

https://news.ycombinator.com/item?id=46938811

escrow is a more complex system, and there are multiple possible implementations, but the nice thing is you can skip it and get the same results.

let's assume for a second that the repo owner spends time on PR review, and that time needs to be reimbursed. let's also assume that the person pushing a PR expects some sort of bounty. then as long as the review price is less than bounty price, there's no need for escrow. the pushing party goes out on a limb paying the reviewer to merge their PR, but also expects (rightly or not) to be remunerated for solving the bounty. whether they really did solve it is in the remit of the bounty originator, who might or might not be part of the group controlling the repository. if there's escrow, then the bounty giver probably has to be part of that group. not having escrow allows for crowd funding by interests outside of the repo controlling party.

escrow is only usefully different in a situation when there is no bounty, you want to push code, and then you want to say "ok, here's some money, and here's a PR, either accept the PR and give me money or don't accept it and take my money" as a means of skipping the line or getting a shot at pushing in the first place. however, at that point two things are apparent: 1. you expect the reviewer to do work required to implement your desired changes for free and 2. this might start getting abused, with PRs getting rejected (to gain money) but then modified / refactored versions of this code being pushed via commits or from another user who is the repo owner's puppet (refactoring code is becoming super cheap due to AI). so that degenerates escrow-to-push into a scam.

there are more considerations like that in the article I linked to. I agree that an economy around FOSS pushing would be desirable. it also doesn't preclude free-as-in-money contributions - there are at least two mechanisms that would allow it: 1. you get sponsored by someone who sees your talent (either gives you money to push, or they have push access to that repo and can hand it out free) 2. you create a fork that becomes so good and valuable that upstream pulls from you for free

ultimately becoming a respected developer with free push access to contended repositories should be something that you can monetize to some extent that's purely within your remit, and it would greatly reduce unserious bullshit coming from third parties (especially all those weird hardware developers) and make it easier to be a FOSS dev.

boltzmann-brain

5 mesi fadiscuss

GitHub has never been a good method of clout chasing. in decades of being in this industry, I've seen < 1% of potential employers care about FLOSS contributions, as long as you have some stuff on your GH.

boltzmann-brain

5 mesi fadiscuss

Vouch is a good quick fix, but it has some properties that can lead to collapsed states, discussed in the article linked here: https://news.ycombinator.com/item?id=46938811

boltzmann-brain

Submissions

An Evolved Antenna for Deployment on NASA's Space Technology 5 Mission [pdf]

Dev web of trust and ecosystem (including an analysis of Vouch)

Demystifying DVDs

Haskell WebAssembly for Browser Interaction

[untitled]

comments