HNHacker News
TopNewBestAskShowJobs

boltzmann-brain

847 karma · joined September 1, 2022

yeah, I just made this account. I've been off HN for a while.
submissionscomments
boltzmann-brain··on Ask HN: Who wants to be hired? (August 2025)
Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.

boltzmann-brain··on Ask HN: Who wants to be hired? (August 2025)
SEEKING WORK | REMOTE ~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. I have recently built a software NGO with over half a million supporters and over a thousand active volunteers and major political and media networking. I have built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.

If there's a problem related to tech, I can solve it, and build a team or company around it. Available for work as dev/IC, EM, Director, or CTO, with experience in each. Full-solution MVP development from scratch. Performance optimization and modernization of older systems. DSL and programming language design, compilers. Let me know if you're looking for experience that isn't below! HN posts are short. CV upon request.

If you think I might be able to help you, shoot me an email: damian.jobsites+hn@gmail.com

~~

Example engagement types:

- Long term dev / IC or managerial roles

- Security audits for cryptography and secure code

- Review your code and dev processes, 10-page report

- Short-term dev and research work

- One-shot meetings

(see reply for skill list)

boltzmann-brain··on Ask HN: Freelancer? Seeking freelancer? (July 2025)
Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.

boltzmann-brain··on Ask HN: Freelancer? Seeking freelancer? (July 2025)
SEEKING WORK | REMOTE ~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. I have recently built a software NGO with over half a million supporters and over a thousand active volunteers and major political and media networking. I have built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.

If there's a problem related to tech, I can solve it, and build a team or company around it. Available for work as dev/IC, EM, Director, or CTO, with experience in each. Full-solution MVP development from scratch. Performance optimization and modernization of older systems. DSL and programming language design, compilers. Let me know if you're looking for experience that isn't below! HN posts are short. CV upon request.

If you think I might be able to help you, shoot me an email: damian.jobsites+hn@gmail.com

~~

Example engagement types:

- Long term dev / IC or managerial roles

- Security audits for cryptography and secure code

- Review your code and dev processes, 10-page report

- Short-term dev and research work

- One-shot meetings

(see reply for skill list)

boltzmann-brain··on Ask HN: Who wants to be hired? (July 2025)
Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.

boltzmann-brain··on Ask HN: Who wants to be hired? (July 2025)
SEEKING WORK | REMOTE ~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. I have recently built a software NGO with over half a million supporters and over a thousand active volunteers and major political and media networking. I have built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.

If there's a problem related to tech, I can solve it, and build a team or company around it. Available for work as dev/IC, EM, Director, or CTO, with experience in each. Full-solution MVP development from scratch. Performance optimization and modernization of older systems. DSL and programming language design, compilers. Let me know if you're looking for experience that isn't below! HN posts are short. CV upon request.

If you think I might be able to help you, shoot me an email: damian.jobsites+hn@gmail.com

~~

Example engagement types:

- Long term dev / IC or managerial roles

- Security audits for cryptography and secure code

- Review your code and dev processes, 10-page report

- Short-term dev and research work

- One-shot meetings

(see reply for skill list)

boltzmann-brain··on Ask HN: Freelancer? Seeking freelancer? (June 2025)
Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.

boltzmann-brain··on Ask HN: Freelancer? Seeking freelancer? (June 2025)
SEEKING WORK | REMOTE ~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. I have recently built a software NGO with over half a million supporters and over a thousand active volunteers and major political and media networking. I have built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.

If there's a problem related to tech, I can solve it, and build a team or company around it. Available for work as dev/IC, EM, Director, or CTO, with experience in each. Full-solution MVP development from scratch. Performance optimization and modernization of older systems. DSL and programming language design, compilers. Let me know if you're looking for experience that isn't below! HN posts are short. CV upon request.

If you think I might be able to help you, shoot me an email: damian.jobsites+hn@gmail.com

~~

Example engagement types:

- Long term dev / IC or managerial roles

- Security audits for cryptography and secure code

- Review your code and dev processes, 10-page report

- Short-term dev and research work

- One-shot meetings

(see reply for skill list)

boltzmann-brain··on Ask HN: Who wants to be hired? (June 2025)
Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.

boltzmann-brain··on Ask HN: Who wants to be hired? (June 2025)
SEEKING WORK | REMOTE

~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. I have recently built a software NGO with over half a million supporters and over a thousand active volunteers and major political and media networking. I have built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.

If there's a problem related to tech, I can solve it, and build a team or company around it. Available for work as dev/IC, EM, Director, or CTO, with experience in each. Full-solution MVP development from scratch. Performance optimization and modernization of older systems. DSL and programming language design, compilers. Let me know if you're looking for experience that isn't below! HN posts are short. CV upon request.

If you think I might be able to help you, shoot me an email: damian.jobsites+hn@gmail.com

~~

Example engagement types:

- Long term dev / IC or managerial roles

- Security audits for cryptography and secure code

- Review your code and dev processes, 10-page report

- Short-term dev and research work

- One-shot meetings

(see reply for skill list)

boltzmann-brain··on Ask HN: Who wants to be hired? (May 2025)
It's extremely messy and annoying to work with, to do the same thing you'd do by walking one step in Haskell you have to do five somersaults in Scala. It can't be fixed, and the Scala community thinks fixing it means hiding it behind fifty layers of fragile abstractions.
boltzmann-brain··on Ask HN: Who wants to be hired? (May 2025)
Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.

boltzmann-brain··on Ask HN: Who wants to be hired? (May 2025)
SEEKING WORK | REMOTE | US and EU Timezones

~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. I have recently built a software NGO with over half a million supporters and over a thousand active volunteers and major political and media networking. I have built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.

If there's a problem related to tech, I can solve it, and build a team or company around it. Available for work as dev/IC, EM, Director, or CTO, with experience in each. Full-solution MVP development from scratch. Performance optimization and modernization of older systems. DSL and programming language design, compilers. Let me know if you're looking for experience that isn't below! HN posts are short. CV upon request.

If you think I might be able to help you, shoot me an email: damian.jobsites+hn@gmail.com

~~

Example engagement types:

- Long term dev / IC or managerial roles

- Security audits for cryptography and secure code

- Review your code and dev processes, 10-page report

- Short-term dev and research work

- One-shot meetings

(see reply for skill list)

boltzmann-brain··on Ask HN: Freelancer? Seeking freelancer? (May 2025)
Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.

boltzmann-brain··on Ask HN: Freelancer? Seeking freelancer? (May 2025)
SEEKING WORK | REMOTE | US and EU Timezones

~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. I have recently built a software NGO with over half a million supporters and over a thousand active volunteers and major political and media networking. I have built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.

If there's a problem related to tech, I can solve it, and build a team or company around it. Available for work as dev/IC, EM, Director, or CTO, with experience in each. Full-solution MVP development from scratch. Performance optimization and modernization of older systems. DSL and programming language design, compilers. Let me know if you're looking for experience that isn't below! HN posts are short. CV upon request.

If you think I might be able to help you, shoot me an email: damian.jobsites+hn@gmail.com

~~

Example engagement types:

- Long term dev / IC or managerial roles

- Security audits for cryptography and secure code

- Review your code and dev processes, 10-page report

- Short-term dev and research work

- One-shot meetings

(see reply for skill list)

boltzmann-brain··on Ask HN: Freelancer? Seeking freelancer? (April 2025)
Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.

boltzmann-brain··on Ask HN: Freelancer? Seeking freelancer? (April 2025)
SEEKING WORK | REMOTE | US and EU Timezones

~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. I have recently built a software NGO with over half a million supporters and over a thousand active volunteers and major political and media networking. I have built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.

If there's a problem related to tech, I can solve it, and build a team or company around it. Available for work as dev/IC, EM, Director, or CTO, with experience in each. Full-solution MVP development from scratch. Performance optimization and modernization of older systems. DSL and programming language design, compilers. Let me know if you're looking for experience that isn't below! HN posts are short. CV upon request.

If you think I might be able to help you, shoot me an email: damian.jobsites+hn@gmail.com

~~

Example engagement types:

- Long term dev / IC or managerial roles

- Security audits for cryptography and secure code

- Review your code and dev processes, 10-page report

- Short-term dev and research work

- One-shot meetings

(see reply for skill list)

boltzmann-brain··on Anduril banned from recruiting on NixOS forums
> What has Anduril done? Tried to sponsor some conference. Post a job ad on a project forum

make weapons for a government controlled by putin

boltzmann-brain··on Anduril banned from recruiting on NixOS forums
that's a bed-time story - Anduril will interview people from Europe but then explain that they can't hire people from Europe.
boltzmann-brain··on Anduril banned from recruiting on NixOS forums
basically you're asking "did they hurt those people specifically? (never mind if they hurt other people)"

this is morally very shortsighted and selective and is in opposition to most people's value systems.

boltzmann-brain··on Anduril banned from recruiting on NixOS forums
not here: while I have little against military applications in a world that needs to defend itself from putin, i've found Travis Whitaker to be unserious and adolescent when it comes to doing serious business. After interacting with Travis I would never consider working for or with him or Anduril, and I would be wary of hiring anyone that did work for them in the past.
boltzmann-brain··on Ask HN: Who wants to be hired? (April 2025)
Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.

boltzmann-brain··on Ask HN: Who wants to be hired? (April 2025)
SEEKING WORK | REMOTE | US and EU Timezones

~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. I have recently built a software NGO with over half a million supporters and over a thousand active volunteers and major political and media networking. I have built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.

If there's a problem related to tech, I can solve it, and build a team or company around it. Available for work as dev/IC, EM, Director, or CTO, with experience in each. Full-solution MVP development from scratch. Performance optimization and modernization of older systems. DSL and programming language design, compilers. Let me know if you're looking for experience that isn't below! HN posts are short. CV upon request.

If you think I might be able to help you, shoot me an email: damian.jobsites+hn@gmail.com

~~

Example engagement types:

- Long term dev / IC or managerial roles

- Security audits for cryptography and secure code

- Review your code and dev processes, 10-page report

- Short-term dev and research work

- One-shot meetings

(see reply for skill list)

boltzmann-brain··on Ask HN: Who is hiring? (April 2025)
Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.

boltzmann-brain··on Ask HN: Freelancer? Seeking freelancer? (March 2025)
Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.

boltzmann-brain··on Ask HN: Freelancer? Seeking freelancer? (March 2025)
SEEKING WORK | REMOTE | US and EU Timezones

~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. I have recently built a software NGO with over half a million supporters and over a thousand active volunteers and major political and media networking. I have built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.

If there's a problem related to tech, I can solve it, and build a team or company around it. Available for work as dev/IC, EM, Director, or CTO, with experience in each. Full-solution MVP development from scratch. Performance optimization and modernization of older systems. DSL and programming language design, compilers. Let me know if you're looking for experience that isn't below! HN posts are short. CV upon request.

If you think I might be able to help you, shoot me an email: damian.jobsites+hn@gmail.com

~~

Example engagement types:

- Long term dev / IC or managerial roles

- Security audits for cryptography and secure code

- Review your code and dev processes, 10-page report

- Short-term dev and research work

- One-shot meetings

(see reply for skill list)

boltzmann-brain··on Ask HN: Who wants to be hired? (March 2025)
Main tech skills:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...

- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.

boltzmann-brain··on Ask HN: Who wants to be hired? (March 2025)
SEEKING WORK | REMOTE | US and EU Timezones

~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. I have recently built a software NGO with over half a million supporters and over a thousand active volunteers and major political and media networking. I have built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.

If there's a problem related to tech, I can solve it, and build a team or company around it. Available for work as dev/IC, EM, Director, or CTO, with experience in each. Full-solution MVP development from scratch. Performance optimization and modernization of older systems. DSL and programming language design, compilers. Let me know if you're looking for experience that isn't below! HN posts are short. CV upon request.

If you think I might be able to help you, shoot me an email: damian.jobsites+hn@gmail.com

~~

Example engagement types:

- Long term dev / IC or managerial roles

- Security audits for cryptography and secure code

- Review your code and dev processes, 10-page report

- Short-term dev and research work

- One-shot meetings

(see reply for skill list)

boltzmann-brain··on Nine – seemingly impossible C64 demo
VIC II doesn't have that functionality. the first commodore that could do this was the Amiga series.
boltzmann-brain··on Nine – seemingly impossible C64 demo
no. there are 9 separately moving objects and them being visually similar or even the same doesn't mean much
← PreviousPage 5 of 15Next →