cookie

ما از کوکی‌ها برای بهبود تجربه مرور شما استفاده می‌کنیم. با کلیک کردن بر روی «پذیرش همه»، شما با استفاده از کوکی‌ها موافقت می‌کنید.

avatar

四汪的万花筒

废话记录。随意,湿货多。 @Swung0x48的一个频道 人体升级行为: @Flesh_Engine Lang: zh-CN / en-US / ja-JP(?) 🏳️‍🌈 friendly.

نمایش بیشتر
الصين92 463زبان مشخص نشده استدسته بندی مشخص نشده است
پست‌های تبلیغاتی
281
مشترکین
اطلاعاتی وجود ندارد24 ساعت
اطلاعاتی وجود ندارد7 روز
اطلاعاتی وجود ندارد30 روز

در حال بارگیری داده...

معدل نمو المشتركين

در حال بارگیری داده...

#作为补充的借题发挥 • 我们无法无限追问。根据认识论,必须存在没有确证的信念(non-inferential belief)作为思考的基础,例如相信形式逻辑。 • (我相信)人与人的区别,在于逻辑体系,以及他们持有的未确证信念。 (I believe that) people differ by their logic system, and the non-inferential beliefs they hold.
نمایش همه...
先是相信什么,再找依据来支撑这个信念。这是人不可避免的思考方式。 只要谈论的领域没有数学、代码、实验结果这样的自然仲裁者的话,如果很多人都相信一件事情的话,人们就会共同建立起一座「防御塔」。对于任何水平的质疑,人总是能在塔的某个高度找到回应这个质疑的反驳。(考虑神学,任何你能想到的证明神是荒谬的攻击,都被神学所回应了。) 一座座塔插入云霄,我们很难看清最终谁更高。最终我们都只是用自己的喜好来选择自己在哪座塔生活和防范外敌。 人是不可能用文字埋葬任何观点的吧,只要那个观点有人想要相信。
نمایش همه...
Factorio Is the Best Technical Interview We Have (🔥 Score: 108+ in 1 hour) Link: https://readhacker.news/s/4HrAy Comments: https://readhacker.news/c/4HrAy
نمایش همه...
Factorio Is The Best Technical Interview We Have

There's been a lot of hand-wringing over The Technical Interview lately. Many people realize that inverting a binary tree on a whiteboard has basically zero correlation to whether or not someone is actually a good software developer. The most effective programming test anyone's come up with is still Fizzbuzz. One consequence of this has been an increased emphasis on Open Source Contributions, but it turns out these aren't a very good metric either, because most people don't have that kind of time.

Read
70+ Comments
草草草草草
نمایش همه...
编程语言的变革仍未到来。 计算机界的变革仍未到来。 The computer revolution has not happened yet.」 via https://t.co/BsOu6UkvGf— kaworunagisa17❄️ (@nagisakaworu17) March 19, 2021
نمایش همه...
Self:编程语言的变革仍未到来

本文是一篇小作品。 本文引用并翻译了在 HOPL III 上发表的论文 Self(DOI: 10.1145/1238844.1238853)中的倒数第二节。在 ACM Digital Library 收录的所有 HOPL(History of Programming Languages) 论文中,这篇论文的下载量排到了第八位。 我将要引用并翻译的段落出自论文的倒数第二节 “8. Conclus

现在单片机都涨价?
نمایش همه...
我真的服了
نمایش همه...
他妈的
نمایش همه...
其实是在编写一本致力做到面向工业、有现实意义的 PLT 词典......(我这里对 PLT 采取的是在词典中给出的宽泛意义上的理解)。刚刚完成了目录、统领性的文字、每一章的序言和仅仅九个条目,字数就已经达到惊人的两万字了...... 而且我感觉这个目录还缺了很多很多东西(现在的首要目标应该是填坑...),我觉得就算是写完目前的条目,最后的字数应该也会到达 10w~20w 字,彻彻底底的出版级别... 不过我仍然想每天坚持写一到两个词条,最终争取在一年内完成这篇文章。 我希望我能够一直更新它,不断保证这本词典的与时俱进(不仅是和理论研究以及工业理解对齐,还要和个人的进一步理解认识对齐)。 emmmm,所以有人来帮帮寒一起 撰写条目 / 校对条目 / 新增条目 / 完善目录 / 修正格式 / 封面制作 / 任何意见或建议 么QAQ 一个词条的字数大概千字左右,其实也没有很多QAQ 打了 🔜 标记的都是未完成的条目... 如果有任何相关的建议也非常欢迎提出。如果最终我真的能够写完,那也是迄今为止对我的个人努力和毅力提出的最大考验和证明... 这本词典叫《当我们谈论语言时我们在谈论什么:编程语言理论(PLT)术语和译名考释》我会见目前的版本发上来(可以看到绝大多数内容都只是空白的格式标记),包含了所有的统领性文字和少数几个条目。如果大家有任何想法,非常欢迎与我讨论。@所有人 如果我真的能够做到,那个时候说不定会真的付梓呢。
نمایش همه...
نمایش همه...
یک طرح متفاوت انتخاب کنید

طرح فعلی شما تنها برای 5 کانال تجزیه و تحلیل را مجاز می کند. برای بیشتر، لطفا یک طرح دیگر انتخاب کنید.