Shows
Open Source Startup PodcastE188: Building (And Spinning Out) Open Source Projects With Informal SystemsIn our latest episode, co-hosts Robby and Tim talk with Zarko Milosevic (CTO) & Arianne Flemming (COO) of Informal Systems. They've built a protocol design & cross-chain infrastructure platform to foster trust in software and money. This episode explores how open source infrastructure and security drive company-building in high-stakes financial software. Using Malachite - a consensus engine built for a customer and later acquired by Circle - as an example, the conversation highlights how verifiability and reliability are core to the team’s approach.Informal operates in a unique way. They have core products and ones that ar...
2026-01-1037 min
Citizen Web3 PodcastPrivacy, Motivations and Points of Failure with Sergey Quokka
This episode of the #citizenweb3 podcast features Sergey from Quokka Stake. Sergey showed a great passion for privacy and the founding ethos behind Web3. They go into the need for decentralized infrastructure, values and the importance of DYOR. If you enjoy conversations with people who really mean it when they say they are in it for the tech, this is definitely an episode for you.
00:00 -- 04:56 : Intro
04:56 -- 07:42 : How important is decentralization in chain selection for Quokka Stake?
07:42 -- 11:25 : How did Sergey get into Web3?
11:25 -- 13:44 : Sergey delves into his thoughts on privacy in...
2024-02-1554 min
Citizen Web3 PodcastFormal Verification, Innovation and Consensus with Zarko Milosevic
This episode of the #citizenweb3 podcast features Zarko Milosevic from Informal Systems, a core developer of the Cosmos Network.
Informal Systems makes formal verification technology more accessible by developing tools and processes to improve the quality and experience of software engineering.
We spoke to Zarko Milosevic about Informal Systems and:
The evolution of Zarko Milosevic
The growth of Informal
Zarko’s personal values and goals
Informal’s vision of the three pillars of society
Leading by example in Cosmos governance
Progress in verification tools
Quint
Working in Cosmos
How the correct development tools can revo...
2023-01-2654 min
Citizen Web3 PodcastThe Cosmos, it's Might and Economics with Cryptocito
This episode of the #citizenweb3 podcast features Cryptocito, a popular, Cosmos-focused, YouTube blogger.
Cryptocito shares his research results and user experiences of Crypto projects that he finds exciting on his YouTube channel. These projects include Cosmos ATOM and related ecosystem projects such as Persistence XPRT, IrisNET IRIS, Akash AKT, Terra LUNA, Regen Network REGEN, Osmosis OSMO but also other Layer 1s like Hedera Hashgraph HBAR or Solana SOL.
We spoke to Cryptocito about Cryptocito's YouTube channel and:
The history of and the journey of Cryptocito
The modern monetary system
What is the secret ingredient...
2021-09-0945 min
Citizen Web3 PodcastSoftware development, databases and cycling with Tess Rinearson
This episode of the #citizenweb3 podcast features Tess Rinearson, the VPE at Interchain GMBH aka Tendermint core.
Interchain GmbH are responsible for stewarding some of the most foundational infrastructure for blockchain ecosystems. Their work helps secure billions of dollars in value across a variety of major blockchain projects, including Cosmos, and they are pioneering new protocols for interoperability across the entire blockchain ecosystem. Their vision is to create a new interconnected ecosystem, a new internet of blockchains: The Interchain.
We spoke to Tess Rinearson about Tendermint and:
Why Tendermint is one of the most...
2021-03-1748 min
BizBrosEP20: Sales people are liars: True or false?Haha, you are such a liar. Must be in sales.
Oh my, how did you manage to sell that? What did you promise thats not true?
I love these types of questions and the stigma around sales. Do you think its true?
Well, Sometimes. Maybe. Not.
Sales is closely tied with lying for ages now,but is it even true? We dive deep.
2021-01-2521 minBizBrosEP19: New Year's SpecialYet another awesome start of year 2020 recap. Its been shit. Recap done.
Now, we actually focus on predicting whats going to happen and new trends in 2021 and beyond. We arent some mere hindsight merchants. This will be used to talk shit if one of us missed the mark widely. Rep is at stake. Whats left of it.
Lets get it 2021!
2021-01-1333 minBizBrosEP18: Setting prioritiesIts that time of the year. New Years resolutions aka procrastination. Yeah buddy. We said it.
In that spirit, we discuss how you should set your daily/weekly/quarterly/etc priorities. What works and what doesn't.
Lets face it: NY resolutions dont get followed mainly because its hard to stick thru it. This episode will hopefully help you out how to make it thru the "pain" (some would dare say growth) with "buzzword" actionable tips.
2020-12-3026 minBizBrosEP17: Starting a businessWhat is the most painful thing when starting a business? Making money,huh?
Well - I personally (Milovan, cuz how would you know who wrote this?) hate a different thing, WAAAAAAYYYY before that problem comes up.
Yeah, its pretty obvious. Do we tell ya? (yeah now im talking about both of us even though its still Milovan)
Well, we do literally tell ya in the episode. We talk about best first hire - what to look for - some sucesses etc.
Let us know what you think
2020-12-1424 min
Citizen Web3 PodcastResearch, consensus and verification with Zarko Milosevic
This episode of the #citizenweb3 podcast features Zarko Milosevic, the lead researcher at Informal Systems, which develops tools to simplify the operation of organizations by leveraging open-source development, plaintext data, and distributed version control systems. They are a contributor to the Tendermint codebase, concentrating on protocol design, and formal verification within distributed systems.
Along with Zarko, we discuss software development, formal verification, determinism and cycles in the life of software development. We talk about consensus algorithms, their vision and their evolution. Zarko shares his vision on the effect of software and automation scripts on our lives in...
2020-12-1144 minBizBrosEP16: How to spot bad leadershipWell - great topic. Both Zarko and I have had a plethora of bad leaders. The thing is we didnt always know how to spot them and what to do about it.
So we wanted to share our experiences on how to spot a shit leader and how to help yourself in your growth. Bad leaders can leave a permanent mark on your career and the way you perceive the work environment and your colleagues.
Make sure you spot that and act accordingly. Reach out if you need some help or advice. Fuck bad...
2020-11-2018 minBizBrosEP15: Remote management - does anyone know how to do it properly?Pretentious title. Check. Great content. Check. Awesome guests. Check. Wait. That's not right as it's just the two of us. We must have made a msitaek with the tilte.
ANYWAYS - how hard is managing people remote as it's new for the majority of teams? We dive into what worked and what hasn't worked for us.
No episode would be good enough if we didnt go actionable with tips and how to improve the mental health of your remote teams. Check us out!
2020-11-1217 minBizBrosEP14: Getting into enterprise sales - what, how, when, why?How do you switch from SMB's to Enterprise? What is the skill set needed to make the transition? Does it even make sense to go after the enterprise accounts?
How do you get your teams to shift the mindset from transactional sales to enterprise? I mean, its just a pack of awesomeness. (Disclaimer: we think so - and our moms. For the most part)
We discuss this and a lot of other stuff, so tune in - sub and give us feedback!
2020-11-0421 minBizBrosEP13: How to create a winning culture within your teamHow many times have you had a team that has performed great and then all of a sudden it seems they just "stop" being awesome?
How do you turn that team around to the winning ways?
How do you turn people into winners right off the bat?
These are the questions we explore in the latest episode of the best podcast ever. In our production room. Yeah.
2020-10-1521 minBizBrosEP12: Stand out in the vast sea of samenessApplying for that job? The best approach is to send the CV and expect the best. Wait.
Following up with your prospect with email only and let's get it. Huh?
Lets grow that business and lets get that job. Such an up-to-date ways to get in front of people and get what you deserve. OR is it?
Tune in and listen in!
2020-10-0821 minBizBrosEP11: Subconscious selling - Using family and friends to hone skills - Yay or Nay?How many times have you used sales techniques on friends and family? Do you like doing it? (khm, yes i do. Just admit it - this is a safe space)
Do you shut your "skills" off when talking to them? (If yes, HOW - help!)
We discuss different approaches to selling/interviewing and how to set yourself up for success in your job hunt or prospecting/closing. A lot of great insights in this one. Kinda expected now, isnt it? :D
2020-10-0220 minBizBrosEP 10 GamificationDo you like to have fun? No? Ok, then this isnt the episode for you. Sorry.
Is there more? Please follow this thread.
As we keep
You here
For long.
Cuz thats how
Gamification works. Now - how do we apply that to businesses?
To make it more fun and enjoyable to work? Make teams who dont generally work like hand in glove to act like Watson and Sherlock?
Tune in!
2020-09-1126 minBizBrosEP9 Mental HealthWhat have you done for me lately? Do you experience this month over month? I know we did. People and companies not carrying about you? How are YOU doing? Well. You know. If you don't take care of yourself, why would anyone else?
We as a collective need to raise awareness on mental health in our companied and communities. If not you,then who? If not now,then when?
Let's not have it taboo. Let's pick each other up and not push each other down. There is your motivational message...
2020-09-0124 minBizBrosEP8 Price based sellingMaking money is easy. Just sell below the price you pay to get the product.
Boom. Money. Right? Eazy Peazy Lemon Squeezy.
Riiight? No. If you are doing that, Stop.
We talk about the differences in price based selling vs value-based and how that impacts the culture, the teams, and the organization as a whole.
Benefits and drawbacks and so on. Its a gooooood one folks. Let us know what you think or dont - you know. The usual. ABC.
2020-08-2522 min
BizBrosEP7 Storytelling 101How do people make friends? How do you sell something? How do we remember something? Well, obviously its through interaction - BUT its all about storytelling at the end of the day.
We discuss ways to incorporate stories in your every day life, how to sell better, tips and tricks how to improve your teams improv and storytelling.
Would like to think this is the best one yet. If we are wrong, so be it! :D
2020-08-2125 min2020-08-1117 minBizBrosEP5 Rant - From mental health to work-life balanceThis is one of those episodes where our non-structured way took us in so many topics that it seemed like we were ranting mainly. We are working on that! :D
We went through work work work balance and mental health, talked a lot about things you SHOULD NOT DO that we unfortunately did. So, hopefully this bit helps some people. Especially, people getting into the job market.
We might have a rant episode monthly. Not sure. 100%. :D
2020-08-0625 min
BizBrosEP4 Relationship Building 101How do you build relationships in business? Sales? Acquisitions?
What are some of the steps to take and NOT to take when trying to close?
Everything you have built for months can come crashing down within 10 seconds if you do something thats off pace.
We talk about all of this and more!
2020-07-2919 min
BizBrosEP3 Cold Calling 101Salespeople need all the help they can get to make them successful. The first step for any new SDR or any SDR really is to listen to this intro episode on cold calling tips, tricks, and best practices. Helping others be better is what we do. Dont repeat the mistakes we made :D
2020-07-2419 min
BizBrosEP2 Scaling 101Intro course on what to think about and do when starting to scale your business. Be prepared for pain, tears and a little more of pain. Thats how it works. We LOVE it though!
2020-07-1728 min
BizBrosEP1 Startup Dont'sHosts of the most popular business podcast talks about what you should definitely do and apsolutley don't when you are starting a startup.
2020-07-1523 min
BizBrosEP0 IntroWe got old. Some of our interests from the old days, veryyy old days. How we got to this point and then switched on the current scene and Do's and Don'ts of the interviewing process. What you should DEFO do if you are a candidate and so on. We covered a lot of ground here and hopefully, we keep adding to it. Let us know what you think! Both good and bad - more of the former please. Thanks.
2020-07-0832 min
Lap 76#13 | MOTOGP: Aleksandar Džankić / MotoGP sezona najzad počinje / Gde ide Aleks Markez? / Valentino Rosi - Petronas ili penzija?Lap #13 / MotoGP sezona najzad počinje. Gde ide Aleks Markez? Rosi - Petronas ili penzija?Kako izgleda novi kalendar MotoGP-a.Kome i da li više odgovara veliki broj trka u Španiji.Koji pristup će prevagnuti - rizik ili oprez.Može li nekome pomoći kalendar sa 13 trka da iznenadi u borbi za titulu.Hoće li Mark Markez napustiti Hondu ukoliko Aleks Markez dobije otkaz iz fabričkog tima na kraju 2021.Da li bi Pol Espargaro mogao da ugrozi Marka Markeza na istom motociklu.Džek Miler na fabričkom Dukatiju.Šta će 2021. raditi Andrea Doviciozo?Žoan Zarko u f...
2020-06-161h 30