idkana
@idkidknow.com
Reposted by idkana
Team Cherry Holiday Sign-off! Hollow Knight: Silksong - Sea of Sorrow revealed, the original Hollow Knight refreshed, and more!
Read the blog post here: www.teamcherry.com.au/blog/holiday...
Read the blog post here: www.teamcherry.com.au/blog/holiday...
December 16, 2025 at 12:49 AM
Team Cherry Holiday Sign-off! Hollow Knight: Silksong - Sea of Sorrow revealed, the original Hollow Knight refreshed, and more!
Read the blog post here: www.teamcherry.com.au/blog/holiday...
Read the blog post here: www.teamcherry.com.au/blog/holiday...
I just completed all 12 days of Advent of Code 2025! #AdventOfCode adventofcode.com
I just calculated an upper bound and passed Day 12...
I just calculated an upper bound and passed Day 12...
Advent of Code 2025
adventofcode.com
December 12, 2025 at 8:59 AM
I just completed all 12 days of Advent of Code 2025! #AdventOfCode adventofcode.com
I just calculated an upper bound and passed Day 12...
I just calculated an upper bound and passed Day 12...
这种程度的依赖类型比Rust的参数化lifetime好理解多了
Understanding Capture Checking in Scala | SoftwareMill
Capture checking is an upcoming Scala feature that allows you to track which designated values (capabilities) are captured (i.e., stored as references) by arbitrary other values. This tracking happens...
softwaremill.com
December 5, 2025 at 9:51 AM
这种程度的依赖类型比Rust的参数化lifetime好理解多了