boltzmann-brain

you can't multiplex sprites so that more than 8 appear on the same line.

the secret is to pretend you have a 9th sprite by emulating it with characters that look exactly like one of the sprites would.

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.

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 work 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)

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.

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 work 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)

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, and a lot of other experience that won't fit in this post.

SEEKING WORK | REMOTE | EU

~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. 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 make it sustainable. 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 work 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)

Location: EU

Remote: Only

Willing to relocate: No

Technologies:

- 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, and a lot of other experience that won't fit in this post.

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. 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. 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

Location: EU

Remote: Only

Willing to relocate: No

Technologies:

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

- 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

- Devops & co: Distributed Systems, Ansible, Terraform, AWS, Docker, Linux admin, ...

- 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, and a lot of other experience that won't fit in this post.

~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. 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 make it sustainable. 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

~~

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

- 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

- Devops & co: Distributed Systems, Ansible, Terraform, AWS, Docker, Linux admin, ...

- 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, and a lot of other experience that won't fit in this post.

SEEKING WORK | REMOTE | NA

~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. 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 make it sustainable. 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 work 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)

no one ever said that, stop derailing arguments. this is bs.

yes, i'm sure you're privy to the internal business dealings and strategy at nintendo and can speak authoratitavely as to how and why they make certain internal choices.

no, i can advocate for having public rail without knowing how to lay track, how to fund it, or how to run the schedules. i can also advocate for photovoltaics and heat pumps getting funded, and i can advocate for health care reform without even knowing where that reform would go, just by knowing that the current state of the health care system is bad. there's no burden of proof when stating a preference.

exactly as you say, an argument for UBI doesn't necessarily need to mean retreading the whole history of UBI designs and legislatures, it just means someone would like to UBI exist without necessarily having to be an expert on how to implement it. I wanted to eat some sushi today and I didn't start questioning myself "well how would you evolve sushi rice starting with a wild rice cultivar", i just went to the store and bought it and now i'm fine. there are experts for that sort of thing and I leave it up to them. I guess if someone doesn't realize there are experts for topics then that betrays they think they are an expert with everything.

> Does that seem like an environment that's highly conducive to innovation?

people invent stuff and put it out in the public domain every day, not everyone is a robber baron. look at youtube or hackaday one day, maybe you'll learn something.

No, that would not be fair, that would be self-serving and unfair, and again a mis-representation of what you're being challenged with.

You say "Yes, let's go back to the middle ages when when you could only be an artist/writer/etc. if you found a rich patron willing to support you" like that's not the case today, which is either duplicitous or just naiive.

Donations are exactly that, a rich patron willing to support you.

So you're basically getting upset over some made up reality where currently musicians don't need support from rich people, but that reality only exists in your head.

who do you think owns record labels? poor people?

Downloading files is mostly used for piracy. At some point, 70% of all internet was used for torrents and nothing else. Are you trying to tell me the internet should have been shut down?

"criminals will do crime" is a crappy argument for making the lives of law abiding citizens considerably worse.

Yes, because the counter point to that reduces to "criminals do crime" and that is never a good argument against the personal rights of the smallest, lest powerful, most vulnerable, and most disenfranchised unit in the legal system, the private person.

> encryption never expires and does not care

wow, I never thought about it this way. Amazing point. Thanks.

> How could drm risk anyone's life?

- medical software - firmware on medical devices, eg people's vision implants are being turned off remotely, as well as anti-epilepsy implants, iirc - train you're taking to hospital has been turned off (trains being remotely disabled via DRM happened in Poland recently) - heated seats unable to provide warmth because you don't own DRM for a car long after the DRM servers have been shut down and copyright has lapsed. Or just because the DRM server is down right now - you get in your car to go to hospital and can't, because e.g. you bought a Fisker car which now doesn't start due to a DRM server that doesn't exist anymore after the company went bankrupt - pretty much the same thing with other EVs when they're outside of mobile network range. You have a car that works and could get you to safety, but instead you expire in the desert, and the thing doesn't even have a tank full of water you could drink - inability to repair medical devices makes them non-functional because any code fixes you could do via a disassembler are fully rpevented with DRM and TPMs - your juice press won't take your fruit pack because it's not DRM'd by them and so you die of thirst - your water fountain won't produce water because the water (!!) wasn't DRM'd, or because the server is just gone - you want to call someone for help via wifi but you're unable to because the app won't work on a jailbroken device due to DRM - you are strongly autistic and you are anchored to a specific piece of media to calm you down, and the DRM somehow becomes broken and now you can't watch that anymore and suddenly your quality of life deteriorates. you refuse to ingest foods and wither away in a hospital due to DRM

I could go on, but you get the gist. NONE of those trajectories will apply to EVERYONE, but once everything that uses electricity has DRM in it, the impact on the general population will be significant.

> Nintendo would have to fundamentally change it's business model and alter the design of their games

it's all C++, dude. Most of the time it's all based on engines that already run on Windows. So what are you telling me, programmers are unable to port minor amounts code over to a different, vastly more powerful architecture? This sounds like some sort of incompetence olympics.

I'd say it's morally more important for me to be able to run my games at framerates that don't make me nauseous and/or give me epilepsy as opposed to some overbearing company taking away my basic ownership rights in order to squeeze another nickel out of me.

Without the ability to use asbestos, the incentive to build houses is lower, so we actually will have less houses.

Good for them. Free Software is much too easy to abuse, and we need something that provides additional protections.

Indeed, people didn't invent the telephone, television, or typewriter because they thought "wow this would be a great payout for the next 20-80 years for me and my subsequent heirs, let me invent something useful", they did it because they needed a telephone, television, or typewriter, and one didn't exist yet.

> And fund it how exactly?

The work necessary to properly answer this question is a team of 100+ domain experts working for at least 5 years. There's no way you're getting a good answer to this question in a comment thread on a website for programmers. Why even ask that question - what value do you expect out of the responses?

> so you're basically saying you're fine with a creator needing to get a business major in order to sell merch... just so they can give away the thing they real care for?

What a nonsensical, bad-faith, mis-representation of GP. At this point you might as well start talking about hot air balloons, another thing that wasn't mentioned in GP. If this is what you're going to be doing, you shouldn't be on this website at all. Your comments particularly stand out as always being on the wrong side of the conversation, no matter what point is brought up. It's obvious you just want to be a contrarian for no sake at all.