boltzmann-brain

10 ms·

121.
by boltzmann-brain 1y ago
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: Ni
122.
by boltzmann-brain 1y ago
Location: EU Remote: Yes Willing to relocate: Yes Technologies: Python, Go, TypeScript, Rust, Haskell, Nix, Zig, AWS, Big Data Résumé/CV: ask damianjobsites@gmail.com Email: damianjobsites@gmail.com 20+ yoe as dev&#x2
123.
by boltzmann-brain 1y ago
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: Ni
124.
by boltzmann-brain 1y ago
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 volunteer
125.
by boltzmann-brain 1y ago
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: Ni
126.
by boltzmann-brain 1y ago
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 volunteer
127.
by boltzmann-brain 1y ago
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: Ni
128.
by boltzmann-brain 1y ago
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 volunteer
129.
by boltzmann-brain 1y ago
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: Ni
130.
by boltzmann-brain 1y ago
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 volunteer
131.
by boltzmann-brain 1y ago
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: Ni
132.
by boltzmann-brain 1y ago
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 volunteer
133.
by boltzmann-brain 1y ago
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: Ni
134.
by boltzmann-brain 1y ago
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 volunteer
135.
by boltzmann-brain 1y ago
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 i
136.
by boltzmann-brain 1y ago
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: Ni
137.
by boltzmann-brain 1y ago
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 tho
138.
by boltzmann-brain 1y ago
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: Ni
139.
by boltzmann-brain 1y ago
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 tho
140.
by boltzmann-brain 2y ago
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: Ni
141.
by boltzmann-brain 2y ago
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 tho
142.
by boltzmann-brain 2y ago
> 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
143.
by boltzmann-brain 2y ago
that's a bed-time story - Anduril will interview people from Europe but then explain that they can't hire people from Europe.
144.
by boltzmann-brain 2y ago
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.
145.
by boltzmann-brain 2y ago
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 Tr
146.
by boltzmann-brain 2y ago
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: Ni
147.
by boltzmann-brain 2y ago
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 tho
148.
by boltzmann-brain 2y ago
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: Ni
149.
by boltzmann-brain 2y ago
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: Ni
150.
by boltzmann-brain 2y ago
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 tho

More ›