bao 🪼 @lei.fyi · 12/09/2026This is really cool! I like the perspective of looking at survival chance (instead of just saying if you can withdraw less than 4% you are fine). Now I know the real risk in case I’m fired. 010
bao 🪼 @lei.fyi · 12/09/2026I read your posts in an rss app so I see text only and thought that you built a game simulating fire fighters fighting fires 😅 101
bao 🪼 @lei.fyi · 27/04/2026Good point, yes the init is still being called for all. So this advice is still valid. If you remove the `if` and `AnyView`, then init only gets called for the visible items. I remember in the iOS 17 SDK days, even body evaluation is called for all rows with `if` (but I don't have a repro now) 130
bao 🪼 @lei.fyi · 27/04/2026This used to be the case and I remember a wwdc video on this topic, but it might have changed in newer iOS SDK. I remember that using `if` on the top level within ForEach used to cause all rows to get rendered at once, but in this experiment it no longer does this. 200
bao 🪼 @lei.fyi · 03/11/2025I signed up with your code. Do you also use Notion mail’s AI labelers? I’m curious how things will work out when two AIs were independently trying to triage emails. 100
bao 🪼 @lei.fyi · 06/05/2025I’m on a 121 day streak right now and just learned すみません recently, should I uninstall the app now? I’m more attached to the characters in the world of Duo than the learning 😂 010
bao 🪼 @lei.fyi · 30/04/2025Beyond inspecting network traffic, this tool also saved us from this issue: developer.apple.com/forums/threa...developer.apple.comNetwork Connection Issue on Xcode … | Apple Developer Forums 010
bao 🪼 @lei.fyi · 20/04/2025A bumble bee searches for some nectar from Pride of Madeira #wildlifephotography 020
bao 🪼 @lei.fyi · 13/04/2025Virginia opossum hiding behind the branches #mammals #wildlifephotography #opossum 070
bao 🪼 @lei.fyi · 13/04/2025Dark-eyed junco splashing the water. #wildlifephotgraphy #野鳥写真 #野鳥掠影 #野鳥撮影 🪶 071
bao 🪼 @lei.fyi · 30/03/2025Swimming turtle saying hello 🐢 #wildlife #animal #reptile #addHerper Also I started making a bluesky based app related to animals. It’s fun but not sure if i can find enough time to get it to a state that’s worth publishing. The turtle kinda resembles the slow progress made there. 192
bao 🪼 @lei.fyi · 08/02/2025Sorry if I missed it, what is the time zone for the listed time: 9am 2/14? 100
bao 🪼 @lei.fyi · 06/01/2025The rarest bird I’ve found so far: a purple gallinule in New Orleans, LA #birds #鳥 080
bao 🪼 @lei.fyi · 03/01/2025Yes you can add a page to a database with a title and body (plain text). Currently Notion shortcut doesn’t support setting properties yet, but you can use Notion API in Shortcuts to do so. 000
bao 🪼 @lei.fyi · 03/01/2025Though I probably don’t qualify as fluent, articulate language user. Just trying to sell iOS shortcuts as a solution for the data entry side of the problem, they’re so integrated that you can trigger them from Siri, control center, action button, share sheet, etc. 000
bao 🪼 @lei.fyi · 03/01/2025I just made an iOS shortcut recently which takes a word, lets ChatGPT generates its meaning, pronunciation, etc and saves to Notion. Then I just look at that page from time to time and remove words I memorized. It’s new and idk how effective it is yet. iOS shortcuts are very versatile/easy to access 200
bao 🪼 @lei.fyi · 02/01/2025Thanks to @val.town so this type of small projects can be built very quickly. It’s a quick hack so probably not super robust yet 😅 020
bao 🪼 @lei.fyi · 02/01/2025Built a cipher game bao-cipher.web.val.run Just try to decode a letter substitution cipher as quick as you can. You can share the game link and compete against a friend. Initially it’s for my kid to practice in a competition, but it’s kinda fun and now I just keep playing it. 153
Reposted by bao 🪼Gergely Orosz @gergely.pragmaticengineer.com · 05/12/2024Got the opportunity to talk w Notion's founding mobile engineering team about the nitty-gritty details on how they do mobile development. Learned so many interesting things. Happened to record it, and so it's coming to the podcast as well for everyone else interested as well! 81343
bao 🪼 @lei.fyi · 05/12/2024In the mean time before we drop iOS 17 support we can use LockIsolated from this library: github.com/pointfreeco/...github.comswift-concurrency-extras/Sources/ConcurrencyExtras/LockIsolated.swift at main · pointfreeco/swift-concurrency-extrasUseful, testable Swift concurrency. Contribute to pointfreeco/swift-concurrency-extras development by creating an account on GitHub. 000
bao 🪼 @lei.fyi · 02/12/2024Egret and geese relaxing on the reflections of fall colors. More photos from this afternoon: www.baolei.org/225-12-01-Va... #birds 040
bao 🪼 @lei.fyi · 02/12/2024Now there is a way to publish a @notion.com database to a calendar feed: just fork www.val.town/v/bao/notion... on @val.town and configure the token/database id. I use #notion to run a community website which has an event calendar, and allowing people to subscribe the calendar feed is super niceval.town@bao/notionDbCalendarFeedPublishes a Notion database with a date property to a calendar feed. Create a Notion integration in http://notion.so/profile/integrations Go to the Notion database -> click ••• from top right -> Conne... 011
bao 🪼 @lei.fyi · 01/12/2024I use it to learn new topics and create notes. You can type a question, then ai button -> continue to write. Similar to asking ChatGPT but better organized than chat threads, e.g. you can edit and format the answers, the pages can be organized in a database with tags & link to other pages etc 010
bao 🪼 @lei.fyi · 01/12/2024Created my first val.town project which creates a RSS feed based on a public Notion database. If you use Notion to host your blog this might be useful. #notion #valtown #notionsite www.val.town/v/bao/notion... 252
bao 🪼 @lei.fyi · 28/11/2024Razor surgeon fish in Baja California Sur, Mexico, photo from 6 years ago. #addOcean 🦑 190
bao 🪼 @lei.fyi · 25/11/2024Northern mockingbird in the video game vs IRL. how many bird watchers/photographers also play the game Wingspan? #birds 🪶 000
bao 🪼 @lei.fyi · 24/11/2024good thing about domains is that they are quite low cost compared to pretty much any other online subscriptions. bad thing (for me at least) is that I just can’t make up my mind so I just keep buying new domains 110
bao 🪼 @lei.fyi · 23/11/2024I created this iOS shortcut to scan documents, convert them to text, and save into Notion. Also using this to scan the interpretive panels in parks, interesting labels on food packaging, etc. 010