Viewing profile — bgibson

Warp Dex | Generalist hackers and engineers | REMOTE | https://warp.io/ Warp is a new decentralized cryptocurrency exchange (DEX), built entirely in an Ethereum smart contract, wit…

What's the best Emacs-Vim hybrid now, with a Vim keybinds and modal editing interface to Emacs? Doom? Spacemacs? Or something new?

Reddit comment from a Notable employee: https://www.reddit.com/r/ChatGPTPro/comments/18jbj32/does_an... TLDR: market conditions not conducive to their business at this time. (Ed: f…

He's basically writing about discoverability in UI/UX. https://duckduckgo.com/?q=UI%2FUX+discoverability There's also the Calmtech movement, somewhat related to the post: https://c…

> I don't understand how people can possibly think that identity obfuscation at scale is a good thing for a financial system. There's an important side-effect to an anonymous finan…

Sure, the two I had in mind in NYC are Kadena ( http://kadena.io ) and Jane St. ( https://www.janestreet.com ). Jane St. is more an OCaml shop but they like Haskell people. Kadena …

Would you have any interest in doing Haskell full-time? I know several well-funded companies looking for folks with similar backgrounds to yours, in SF, NYC, and London. Happy to c…

Clearmatics | London & Palo Alto | Theoretical Cryptographer | Onsite or Remote | Fulltime | https://www.clearmatics.com/ Clearmatics is developing a Distributed Ledger Technology …

True, but to nitpick it looks more like this: Raw materials + innovation + labor + capital + time = waste byproducts + new utility added to the world in the form of convenient pers…

I have no connection of any sort to Stride (or any chat app for that matter, other than a few I use, which doesn't include Stride yet). This aspect of chat has just been a point fo…

That looks like a big improvement too, thanks!

>It still expends resources, but does so in a non wasteful manner. And this is a flaw. There is a law of conservation at work here, whereby to create one source of value, another h…

Or one of my personal favorites, the Epistemology of Computer Simulations in Science: https://plato.stanford.edu/entries/simulations-science/#EpiC...

Haven't used Stride yet but as someone who hates always-on chat I could see myself really appreciating its deep work oriented features: mute notifications, allow others in the chan…

It's also interesting that the material is lighter than water. "Tactical" life vests and shark-resistant wetsuits come to mind as possible products too. If you could get the Navy S…

Cool project. It might be interesting, to the HN crowd at least, to see blog post or other writeup on the specific mods you made to Gecko and other standard browser components to c…

Reducing interdependence in human society mitigates systemic risk. It absolutely is a virtue to be collectively working towards.

Hey mbrock, off-topic question, but I came across an interesting discussion you had here on HN a few months ago on formal verification of Solidity/EVM and some related work you wer…

Will do!