Sign in

bao 🪼

@lei.fyi
71 followers 86 following 42 posts

iOS engineer @ notion.com | photos @ lei.fyi/photos | maker of draw.theiosapp.com cipher.theiosapp.com fitness.theiosapp.com favephotos.theiosapp.com

PostsRepliesMedia
bao 🪼 @lei.fyi · 12/09/2026
This 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/2026
I 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 · 26/07/2026
Nice game! How is it related to the 山手線?
100
bao 🪼 @lei.fyi · 29/04/2026
And hope ceos never find the Chinese models
010
bao 🪼 @lei.fyi · 27/04/2026
Good 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/2026
This 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/2025
I 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/2025
I’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/2025
Beyond inspecting network traffic, this tool also saved us from this issue: developer.apple.com/forums/threa...
developer.apple.com
Network Connection Issue on Xcode … | Apple Developer Forums
010
bao 🪼 @lei.fyi · 20/04/2025
A bumble bee searches for some nectar from Pride of Madeira #wildlifephotography
020
bao 🪼 @lei.fyi · 13/04/2025
Virginia opossum hiding behind the branches #mammals #wildlifephotography #opossum
070
bao 🪼 @lei.fyi · 13/04/2025
Dark-eyed junco splashing the water. #wildlifephotgraphy #野鳥写真 #野鳥掠影 #野鳥撮影 🪶
071
bao 🪼 @lei.fyi · 30/03/2025
A duck spreading its wings. 🪽 🪶 #wildlifephotography
A mallard expanding its wings
0100
bao 🪼 @lei.fyi · 30/03/2025
Swimming 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.
A pond slider swimming in the water
192
bao 🪼 @lei.fyi · 24/02/2025
clearest flying hummingbird picture I’ve taken so far 🪶 #鸟
Hummingbird
0201
bao 🪼 @lei.fyi · 16/02/2025
Wild turkeys and more photos at www.baolei.org/2025-02-15-S... 鳥 🪶
At least 5 wild turkeys on a meadow
070
bao 🪼 @lei.fyi · 08/02/2025
Sorry if I missed it, what is the time zone for the listed time: 9am 2/14?
100
bao 🪼 @lei.fyi · 06/01/2025
The rarest bird I’ve found so far: a purple gallinule in New Orleans, LA #birds #鳥
A purple gallinule standing on a long in the middle of a lake, next to a turtlePurple gallinule facing usPurple gallinule looking into the water
080
bao 🪼 @lei.fyi · 03/01/2025
Yes 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/2025
Though 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/2025
I 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
A screenshot of iOS shortcut for word learning which has 4 steps: (1) get text from share sheet input, if no input then ask for text, (2) ask ChatGPT to provide the words meaning, pronunciation, example sentence in one line, (3) append the result in a page in Notion, (4) open the Notion page
200
bao 🪼 @lei.fyi · 02/01/2025
Thanks 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/2025
Built 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.
Screenshot of the cipher game.
153
Reposted by bao 🪼
Gergely Orosz @gergely.pragmaticengineer.com · 05/12/2024
Got 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/2024
In the mean time before we drop iOS 17 support we can use LockIsolated from this library: github.com/pointfreeco/...
github.com
swift-concurrency-extras/Sources/ConcurrencyExtras/LockIsolated.swift at main · pointfreeco/swift-concurrency-extras
Useful, testable Swift concurrency. Contribute to pointfreeco/swift-concurrency-extras development by creating an account on GitHub.
000
bao 🪼 @lei.fyi · 02/12/2024
Ravens in San Francisco #birds #鳥#birding
ravens
050
bao 🪼 @lei.fyi · 02/12/2024
Egret and geese relaxing on the reflections of fall colors. More photos from this afternoon: www.baolei.org/225-12-01-Va... #birds
A great egret and a group of Canada geeseA group of Canada geese
040
bao 🪼 @lei.fyi · 02/12/2024
Now 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 nice
val.town
@bao/notionDbCalendarFeed
Publishes 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/2024
I 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/2024
thanks @jdan.me for inspirations
110
bao 🪼 @lei.fyi · 01/12/2024
Created 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...
Screenshot of an RSS feed based on a Notion website generated using the val.town val mentioned in this post.
252
bao 🪼 @lei.fyi · 30/11/2024
Raccoon climbing a tree #mammals
Raccoon on a tree
0141
bao 🪼 @lei.fyi · 30/11/2024
Bisons in San Francisco #mammals
American bisonAmerican bison, blackAmerican bison, brownAmerican bison
070
bao 🪼 @lei.fyi · 28/11/2024
Razor surgeon fish in Baja California Sur, Mexico, photo from 6 years ago. #addOcean 🦑
Razor surgeon fish, underwater photo
190
bao 🪼 @lei.fyi · 25/11/2024
converting some code to strict concurrency
100
bao 🪼 @lei.fyi · 25/11/2024
Northern mockingbird in the video game vs IRL. how many bird watchers/photographers also play the game Wingspan? #birds 🪶
Northern mockingbird on a roofNorthern mockingbird in Wingspan
000
bao 🪼 @lei.fyi · 24/11/2024
theiosapp.com and lei.fyi
010
bao 🪼 @lei.fyi · 24/11/2024
Tibetan macaque from China (Emei mountain in Sichuan) #addMam 🐵
110
bao 🪼 @lei.fyi · 24/11/2024
good 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/2024
I 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
bao 🪼 @lei.fyi · 23/11/2024
Black-necked stilt from California #addBirder #バードウォッチング #鳥 🦉
180
bao 🪼 @lei.fyi · 23/11/2024
Wow this is super cool!
020
bao 🪼 @lei.fyi · 19/11/2024
This is from my go to heron place
000