| Clicks |
Replies |
Title |
Author |
Last Reply |
| 589 |
3 |
（我看过一些鬼屋的招聘广告，都说要求员工不能太胖）
不知道他们会不会气死
|
圆环之理 |
5/3 悄悄打开魔盒 |
| 3091 |
43 |
预计一个星期的时间内做完。
|
巨大八爪鱼 |
5/3 巨大八爪鱼 |
| 993 |
3 |
https://leanprover-community.github.io/mathematics_in_lean/
这个教程是关于如何用lean4和mathlib4做数学的
https...
|
悄悄打开魔盒 |
5/2 悄悄打开魔盒 |
| 607 |
1 |
如题
|
啊啊是谁都对 |
5/2 巨大八爪鱼 |
| 548 |
1 |
如题
目前在滚动榜第五位
|
啊啊是谁都对 |
5/2 啊啊是谁都对 |
| 798 |
2 |
如题
|
啊啊是谁都对 |
5/2 啊啊是谁都对 |
| 639 |
1 |
|
啊啊是谁都对 |
5/2 啊啊是谁都对 |
| 1804 |
22 |
如题
|
圆环之理 |
5/2 圆环之理 |
| 1033 |
11 |
其实是蹭隔壁一家店的Wifi的
但是后来隔壁一家店的Wifi坏了
所以现在在健身房就又得用自己的流量了
|
圆环之理 |
5/2 圆环之理 |
| 786 |
4 |
如题
|
啊啊是谁都对 |
5/2 啊啊是谁都对 |
| 468 |
3 |
如题
|
圆环之理 |
5/2 圆环之理 |
| 480 |
0 |
亲爱的用户：欢迎来到梯子吧，Purasbar欢迎您的到来~
请先阅读我们的社区准则：
https://zh.purasbar.com/documents/eula/
以及版权...
|
社区管理员 |
5/2 社区管理员 |
| 1019 |
18 |
为什么没有任何一个人会认为圆神不算真的【喜欢扮鬼吓人】？
|
浅风仁樱 |
5/2 浅风仁樱 |
| 555 |
1 |
一楼留空，以备未来修改
|
浅风仁樱 |
5/2 浅风仁樱 |
| 616 |
1 |
lean是一款数学形式化语言，它可以用编程语言撰写数学证明，便于计算机进行形式验证，因此一定程度上可以避免人工检查数学证明所带来的负担和错误。
类似的语言有coq，isabelle，metama...
|
悄悄打开魔盒 |
5/2 悄悄打开魔盒 |
| 460 |
0 |
亲爱的用户：欢迎来到lean4吧，Purasbar欢迎您的到来~
请先阅读我们的社区准则：
https://zh.purasbar.com/documents/eula/
以...
|
社区管理员 |
5/2 社区管理员 |
| 439 |
1 |
亲爱的用户：欢迎来到蝙蝠聊天吧，Purasbar欢迎您的到来~
请先阅读我们的社区准则：
https://zh.purasbar.com/documents/eula/
以及...
|
社区管理员 |
5/2 圆环之理 |
| 530 |
0 |
上个月（2024.4）最高突破7万美元
月底大跌，如今（2024.5）只有5.7万美元左右
美联储加息/降息的选择影响
|
悄悄打开魔盒 |
5/2 悄悄打开魔盒 |
| 1192 |
28 |
中华人民共和国国务院令
（第651号）
现公布修订后的《中华人民共和国商标法实施条例》，自2014年5月1日起施行。
总理 李克强
2014年4月29日
|
啊啊是谁都对 |
5/2 啊啊是谁都对 |
| 2038 |
31 |
中华人民共和国商标法(2019修正)
中华人民共和国商标法
（1982年8月23日第五届全国人民代表大会常务委员会第二十四次会议通过 根据1993年2月22日第七届全国人民代表大会常务委...
|
啊啊是谁都对 |
5/2 啊啊是谁都对 |
| 1074 |
15 |
全国人民代表大会常务委员会关于修改《中华人民共和国著作权法》的决定(2020)
中华人民共和国主席令
（第六十二号）
《全国人民代表大会常务委员会关于修改〈中华人民共和国著作...
|
啊啊是谁都对 |
5/2 啊啊是谁都对 |
| 1118 |
23 |
中华人民共和国著作权法
（1990年9月7日第七届全国人民代表大会常务委员会第十五次会议通过 根据2001年10月27日第九届全国人民代表大会常务委员会第二十四次会议《关于修改〈中华人民共和国著...
|
啊啊是谁都对 |
5/2 啊啊是谁都对 |
| 462 |
2 |
我要这天，再遮不住我眼；要这地，再埋不了我心；要这众生，都明白我意；要那诸神，都烟消云散！
|
七海八千代 |
5/1 七海八千代 |
| 4605 |
120 |
每到五一劳动节，最高法和各地高级法院就会发布一批劳动争议典型案例
本帖将这些案例全数转载，以飨诸位读者
|
啊啊是谁都对 |
5/1 啊啊是谁都对 |
| 742 |
6 |
如题
|
圆环之理 |
5/1 悄悄打开魔盒 |
| 570 |
2 |
知乎下线匿名功能后没多久，腾讯就宣布永久下线qq群聊匿名功能
|
圆环之理 |
5/1 圆环之理 |
| 481 |
6 |
这次打算去贵州贵阳。
|
巨大八爪鱼 |
5/1 巨大八爪鱼 |
| 982 |
13 |
如题
|
圆环之理 |
5/1 圆环之理 |
| 1528 |
9 |
如果我和一个人的关系为“老死不相往来”，那么按照举世皆友理论这个人是否与我处于敌对状态？
|
啊啊是谁都对 |
4/30 圆环之理 |
| 833 |
7 |
|
圆环之理 |
4/30 圆环之理 |
| 495 |
2 |
如题
|
圆环之理 |
4/30 圆环之理 |
| 575 |
0 |
问：人是怎么变强的？
答：#自强#
人是从谦卑开始变强的。
从认为自己可以凭意志力对抗诱惑，转而开始思考方法来降低对抗诱惑的系统难度。...
|
七海八千代 |
4/30 七海八千代 |
| 952 |
9 |
如题
|
圆环之理 |
4/30 圆环之理 |
| 454 |
2 |
对于这点我至今都心怀怨恨。其他倒还真没什么不满了
|
圆环之理 |
4/30 圆环之理 |
| 492 |
0 |
容易吃得过多
|
圆环之理 |
4/30 圆环之理 |
| 1595 |
6 |
一个在B7的隐藏层
一个在B14F的隐藏层
一个在B35F的隐藏层
一个在B48F左上方
还有一个在B48F的墙里！（那个破墙镐下面）
|
HSbF6Onizuka |
4/30 巨大八爪鱼 |
| 589 |
0 |
我不知道为什么一用骨传导耳机耳朵就难受
其他耳机虽然用久了也难受，但是那是需要用一段时间以后才会难受的
而我用骨传导耳机一用就难受
|
圆环之理 |
4/30 圆环之理 |
| 658 |
5 |
rt
|
七海八千代 |
4/30 啊啊是谁都对 |
| 688 |
3 |
但愿我以后能吸取教训，不要让自己吃撑
|
圆环之理 |
4/30 巨大八爪鱼 |
| 545 |
0 |
亲爱的用户：欢迎来到耳机吧，Purasbar欢迎您的到来~
请先阅读我们的社区准则：
https://zh.purasbar.com/documents/eula/
以及版权...
|
社区管理员 |
4/30 社区管理员 |
| 784 |
5 |
巨大八爪鱼 一派护法 十九级(68888) 设置 | 退出
|
巨大八爪鱼 |
4/30 巨大八爪鱼 |
| 912 |
11 |
这是一款PC平台的鬼屋模拟类游戏
|
圆环之理 |
4/30 圆环之理 |
| 648 |
2 |
如题
虽然感觉仍然不算太合适，但暂定如此
大家如果有什么更好的会员名建议，直接在下面发
|
啊啊是谁都对 |
4/30 圆环之理 |
| 1077 |
10 |
|
巨大八爪鱼 |
4/30 巨大八爪鱼 |
| 578 |
1 |
有点像b站的梗指南，还有梗百科
|
悄悄打开魔盒 |
4/30 啊啊是谁都对 |
| 1552 |
32 |
中华人民共和国劳动合同法
（2007年6月29日第十届全国人民代表大会常务委员会第二十八次会议通过 根据2012年12月28日第十一届全国
人民代表大会常务委员会第三十次会议《关于修改＜中...
|
啊啊是谁都对 |
4/30 啊啊是谁都对 |
| 461 |
0 |
中华人民共和国劳动合同法
（2007年6月29日第十届全国人民代表大会常务委员会第二十八次会议通过 根据2012年12月28日第十一届全国
人民代表大会常务委员会第三十次会议《关于修改＜中...
|
啊啊是谁都对 |
4/30 啊啊是谁都对 |
| 2280 |
24 |
尝试建设一个图楼，发一些我喜欢的原神涩图
|
啊啊是谁都对 |
4/30 啊啊是谁都对 |
| 787 |
0 |
手机版发帖或回帖时（不含楼中楼），可选择上传一张10MB以内的BMP、JPG、GIF或PNG格式的图片。
由于手机照片的文件大小普遍较大（3~5MB左右），为了节省服务器硬盘空间，一旦发现上传的...
|
社区管理员 |
4/30 社区管理员 |
| 957 |
7 |
手机版发帖或回帖时（不含楼中楼），可选择上传一张BMP、JPG、GIF或PNG格式的图片。
由于手机照片的文件大小普遍较大（3~5MB左右），为了节省服务器硬盘空间，一旦发现上传的照片的...
|
巨大八爪鱼 |
4/30 巨大八爪鱼 |
