Dependent Types, Proof Development, Ltac Programming, Mathematical Verification
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
Travels, 10
cameroncounts.wordpress.comยท4h
Cactus Language โข Syntax 12
inquiryintoinquiry.comยท2h
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.ukยท2d
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.ioยท2d
Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.comยท5m
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท18h
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.orgยท1d
Loading...Loading more...