https://github.com/chrox/readest
Tauri port(rewrite?) of foliate, 居然有人搞出来了

https://www.youtube.com/watch?v=FSy9G6bNuKA woc 想要这个

https://vxtwitter.com/AMAZlNGNATURE/status/1870257542292455467
图一. 近期在北京出门跑步的体验

Why the “Null” Lifetime Does Not Exist

Comments

via [email protected] (knl)

Sabrina Jewson

Why the “Null” Lifetime Does Not Exist

This post originated from an interesting conversation had on the Rust community Discord the other day, in which a user asks:

https://github.com/Z3Prover/z3/issues/4653#issuecomment-678798313

GitHub

Question: Proof Checking in Z3 - state of the art · Issue #4653 · Z3Prover/z3

Hello, Mr. Bjørner! I would like to be able to re-check proof objects produced by Z3 proof generation facility (for UNSAT) What options do I have? I see some proof-checking facility is available in...

https://arxiv.org/abs/2409.05746

[PATCH net-next 0/5] net: implement the QUIC protocol in linux kernel
https://lore.kernel.org/netdev/[email protected]/