25.02.2026 19:34
๐ 0
๐ 0
๐ฌ 0
๐ 0
I used to believe MacBook has better battery lifespan, then after I used a year health drop to 91%, I realize it's because my laptop need high load all day long for coding
Traveling these book to philly, no more book I don't understand in workspace๏ผ ==
ไธ็ฎกๅคๅฐๆฌกๅ้ป่พๅผ็ผ็จ่ฏญ่จ็ปๆ็ๆ่งๅฐฑๆฏ๏ผๆๆๆๆฏ่ฏญ่จ็ๅ้ ่ ๏ผไฝๆฏๆฏๆฌกๅ๏ผ่ฏญ่จๆฌ่บซ้ฝๅจๆไผๆๆฐไธ่ฅฟใ
typed my research idea to Gemini, it tells me: congratulation, you just reinvent a path to topos theory. =.=, then I look at the PT Johntone's book on my table....man, I have so poor math that I can't understand even first few pages ......
Really enjoyed this talk by @harrisongoldste.in that demonstrates inventive uses of the #LeanLang InfoView enhanced by metaprogramming techniques to display real-time testing data.
#LeanProver #Metaprogramming #VSCode #PropertyTesting
Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra!
The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs.
paper eprint.iacr.org/2025/1091.pdf
code github.com/qqq-wisc/qwla