Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism
Enshittification, the audiobook (the Kickstarter)
doctorow.medium.com·2d
Risky Bulletin: FCC removes 1,200 voice providers from US phone network
news.risky.biz·15h
Study provides first direct evidence that manual dexterity and brain evolution are connected
phys.org·1d
Picture by Paper Tape
hackaday.com·1d
AWS Weekly Roundup: Amazon Aurora 10th anniversary, Amazon EC2 R8 instances, Amazon Bedrock and more (August 25, 2025)
aws.amazon.com·2d
Broadcom Inc (AVGO) VMware Explore 2025 Call (Transcript)
seekingalpha.com·19h
Valuable News – 2025/08/25
discoverbsd.com·2d
An Efficient Dual-Line Decoder Network with Multi-Scale Convolutional Attention for Multi-organ Segmentation
arxiv.org·1d
Loading...Loading more...