Learnings

2026

1. • On iOS, the system delivers local notifications when their scheduled trigger conditions are met, even if the app is not running.

   developer.apple.comLocal and Remote Notification Programming Guide: Scheduling and Handling Local NotificationsDescribes how apps can send and receive user notifications locally and remotely. (opens in a new window)

   Oct 11
2. • GitHub Actions billable time is rounded up to the next whole minute for each job.

   GitHub DocsViewing job execution time - GitHub DocsYou can view the execution time of a job, including the billable minutes that a job accrued. (opens in a new window)

   Oct 10
3. • An Apple developer account costs KRW 129,000 and must be renewed every year.

   Oct 9
4. • I've been using Bend in a side project, and it is worth adopting selectively to mathematically prove domain rules that must always hold. While tests check whether a proposition holds for selected cases, I find it satisfying that Bend lets me prove that it holds in every case within the stated assumptions and input domain, and mechanically check that proof.

   Oct 8

5. This is the second version of Bend, a programming language that uses proofs to check whether AI-written code violates predefined rules. When an app's rules are declared as laws, every code change requires a proof that those laws hold, and the compiler checks it.

   • I find the attempt to bring rules into the realm of determinism impressive.

   bend-lang.comBendBend: a fast language that blocks AI mistakes via proof. (opens in a new window)GitHubfe-news/issues/2026-10.md at master · naver/fe-newsFE 기술 소식 큐레이션 뉴스레터. Contribute to naver/fe-news development by creating an account on GitHub. (opens in a new window)

   Oct 7
6. • Tools such as vitepress and rspress make it easy to generate documentation using only Markdown.

   Oct 6
7. • Tools such as dependabot and renovate can automate keeping dependencies up to date and opening PRs when security vulnerabilities are found. Still, some people seem to think they create noise. For now, I've left out automatic PRs and configured Slack notifications only for security risks rated Critical/High.

   GitHub DocsDependabot 빠른 시작 가이드 - GitHub 문서Dependabot를 사용하여 취약한 종속성을 찾아 수정하십시오. (opens in a new window)GitHubGitHub - renovatebot/renovate: Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.ioHome of the Renovate CLI: Cross-platform Dependency Automation by Mend.io - renovatebot/renovate (opens in a new window)GeekNewsDependabot을 끄자 | GeekNewsDependabot의 과도한 PR과 보안 경고가 만드는 노이즈를 지적하고, 실제 취약 코드 탐지와 주기적인 테스트를 대안으로 소개한 글. (opens in a new window)

   Oct 5