How to Choose Between Hindley-Milner and Bidirectional Typing
How to Choose Between Hindley-Milner and B…
阅读全文:How to Choose Between Hindley-Milner and Bidirectional TypingPersonal notes since 2014
一花一草一世界 | 心若无物就可以一花一世界,一草一天堂
技术、生活与偶然所得
How to Choose Between Hindley-Milner and B…
阅读全文:How to Choose Between Hindley-Milner and Bidirectional Typing华尔街见闻 Source: Wall Street CN | Original Li…
阅读全文:科技股力撑美股两连阳,美联储自曝通胀担忧,道指盘中闪跌,美伊风险助原油大反弹Swift 6.0 Blockers · Issue #933 · Ladybird…
阅读全文:Ladybird: Closing this as we are no longer pursuing Swift adoptionMacOS which officially supports 27 year ol…
阅读全文:27-year-old Apple iBooks can connect to Wi-Fi and download official updatesDelphi Innovation Timeline 31st Anniversar…
阅读全文:Delphi is 31 years old – innovation timelineThe political effects of X’s feed algorith…
阅读全文:The political effects of X’s feed algorithmDNS-PERSIST-01: A New Model for DNS-based …
阅读全文:DNS-Persist-01: A New Model for DNS-Based Challenge ValidationIntroducing Echo — Replay Software ← All p…
阅读全文:Show HN: Echo, an iOS SSH+mosh client built on GhosttyCosmologically Unique IDs | Jason Fantl Ja…
阅读全文:Cosmologically Unique IDsVermont EV buses prove unreliable for tran…
阅读全文:Vermont EV buses prove unreliable for transportation this winter(Cancelled) ~FLOSS/fund sponsorship~ and U…
阅读全文:Pocketbase lost its funding from FLOSS fundTailscale Peer Relays: Use your own device…
阅读全文:Tailscale Peer Relays is now generally availableShiro — A Unix environment in one HTML fil…
阅读全文:Show HN: A Unix environment in a single HTML file (420 KB)Chrome Releases: Stable Channel Update for…
阅读全文:Zero-day CSS: CVE-2026-2441 exists in the wild