拉普拉斯的小妖 @huizhicheng Twitter Profile

拉普拉斯的小妖

@huizhicheng

Joined February 2023

13Posts 3Followers 56Following

拉普拉斯的小妖 Reposted

西乔 XiQiao

@recatm

Oct 23

出大事了。Linux 把一大堆毛子开发者（仅是使用 .ru域名邮箱）丢出了开发者列表，太抽象了评论区: I hope our Chinese friends take note and not waste a number of years on thankless work to be thrown overboard when your time comes. Remember this news next time you hear complaints…

拉普拉斯的小妖 Reposted

Mike Dodds

@miike

Oct 24

I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: mikedodds.github.io/files/talks/20…

miike's tweet image. I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: mikedodds.github.io/files/talks/20…

拉普拉斯的小妖 Reposted

Lean

@leanprover

Jul 31

Check out this excellent video on proving the continuity of various functions using Lean 4. It's a fantastic introduction to Lean, and its tactic framework for proof automation. youtube.com/watch?v=BZjAgh…

拉普拉斯的小妖 Reposted

Prophet

@welltypedwitch

Jul 28, 2023

How to read inference rules cohost.org/prophet/post/2…

拉普拉斯的小妖 Reposted

Yao Li

@lastland0

Jul 19

Flight attendant: is there a doctor onboard? Me: Yes, but not that type of… Flight attendant: We need to build a verified software stack with a verified networked program on a verified OS compiled by a verified compiler… And we need to connect all these logics together! Me:

拉普拉斯的小妖 Reposted

No Context French 🇫🇷

@nocontextfre

Jul 19

拉普拉斯的小妖 Reposted

Cambridge University Press - Philosophy

@CambUP_PHILNYUK

Mar 11

Don’t miss your chance to read new Cambridge Element Mathematical Rigour and Informal Proof by @FennerTanswell Free access available until 15 March. cup.org/3Ioioy4 #cambridgeelements #philosophy

CambUP_PHILNYUK's tweet image. Don’t miss your chance to read new Cambridge Element Mathematical Rigour and Informal Proof by @FennerTanswell Free access available until 15 March.
cup.org/3Ioioy4
#cambridgeelements #philosophy

拉普拉斯的小妖 Reposted

Ningcong Chen

@JXQNHZr1yUAj5Be

Nov 19, 2023

有没有人能我和解释一下近年来部分PL人炒作e-graph的出发点是啥？重写系统可以视为一种代数或者字符串替换系统，虽然我没有调研过历史，但这种东西用到的数学基础应当在90年代前就很完备了（模态逻辑的成熟）。所以到底为啥有人总认为e-graph+XXX可以work，有什么东西是我们30年前不知道或者做不了？

拉普拉斯的小妖 Reposted

Clément Canonne

@ccanonne_

Mar 11

This is a valuable short note to have, and a wonderful motivation. We need more of these. "A basic lower bound for property testing", by Eldar Fischer. arxiv.org/abs/2403.04999

ccanonne_'s tweet image. This is a valuable short note to have, and a wonderful motivation. We need more of these.

"A basic lower bound for property testing", by Eldar Fischer. arxiv.org/abs/2403.04999

拉普拉斯的小妖 Reposted

Joel Ellenwood

@_InfiniteZeal

Feb 6

I have no reason to hate Russians I have no reason to hate the Chinese I have no reason to hate Iranians All of my enemies are in a 68.34 square mile area right here in the United States.