🔊 We talked about a novel approach to task management: presenting tasks as files with executable code. This allows skipping the frontend, thus saving time & money on development. podcasters.spotify.com/pod/show/fairp…

🔊 We talked about two approaches to software development: top-down & bottom-up (specification-first and implementation-first). spotifyanchor-web.app.link/e/Wbvs6CrrbEb

📢 Weekly update: ⚒ Worked on our decision-making system. ⚒ Discovered a better way to write code via functional composition. fairpool-dex.medium.com/weekly-update-…

🔊 We talked about "controlled point-free programming" - a better way to write functions. It's a restricted version of the general point-free programming, which forces the developer to write the functions more clearly. podcasters.spotify.com/pod/show/fairp…

📢 Weekly update: ⚒ Worked on a better way to communicate within a team. ⚒ Worked on our decision-making system. fairpool-dex.medium.com/weekly-update-…

🔊 We talked about a common language for communicating within a team. podcasters.spotify.com/pod/show/fairp…

📢 Weekly update: ⚒ Worked on our decision-making system. ⚒ Worked on a better way to communicate within a team. fairpool-dex.medium.com/weekly-update-…

🔊 We talked about proving theorems for finite data using massively parallel evaluation. podcasters.spotify.com/pod/show/fairp…

📢 Weekly update: 💸 Designed monetization plans for the decision-making system. ⚒ Worked on our decision-making system. fairpool-dex.medium.com/weekly-update-…

🔊 We talked about using a formal language to describe how things work. podcasters.spotify.com/pod/show/fairp…

📢 Weekly update: ⚒ Found a way to prove theorems semi-automatically. ⚒ Worked on our decision-making system. fairpool-dex.medium.com/weekly-update-…

🔊 We talked about using SMT solvers to build better models of reality. spotifyanchor-web.app.link/e/jcjGsqqC7Eb

🔊 We talked about solving user intents & the Suave blockchain. podcasters.spotify.com/pod/show/fairp…

Battling covid

🔊 We talked about our experience of using Haskell for our decision-making system. podcasters.spotify.com/pod/show/fairp…

🔊 We've described the Freechain idea. podcasters.spotify.com/pod/show/fairp…

🔊 We talked about a new type of content that we can create using ChatGPT. podcasters.spotify.com/pod/show/fairp…

🔊 We talked about the technical limitations of the Optimism stack & the potential of Cosmos SDK. podcasters.spotify.com/pod/show/fairp…

🔊 We talked about rewriting our decision-making system in Rust and obtaining probabilistic proofs of one strategy being better than another. podcasters.spotify.com/pod/show/fairp…

🔊 We talked about the CryptoGPT idea. podcasters.spotify.com/pod/show/fairp…