技术,生活,随看 \随转
【深圳垃圾分类正式进入“强制分类”时代】
从深圳市城市管理和综合执法局获悉,《深圳市生活垃圾分类管理条例》9月1日起正式实施,深圳垃圾分类由“倡议分类”进入“强制分类”,对未按规定分类投放生活垃圾并拒不改正的个人,最高处200元罚款;
对混合收集、运输已分类生活垃圾的收运单位,最高处50万元罚款。(新华社)
韩国科学技术院并发和并行实验室 CS492 在线课程:并行程序的设计和分析(基于Rust)

课程目标:

本课程面向对并行计算机系统的现代理论和实践感兴趣的计算机科学(或相关学科)的高级本科生/研究生。 本课程旨在帮助此类学生:

1. 了解并发编程的动机和挑战
2. 学习并发程序的设计模式和推理原理
3. 设计,实施和评估并发程序
4. 将这些理解应用于实际的并行系统

该课程主要是讨论共享可变状态的最新理论及其在实际系统中的应用。

参考资料:

- 经典论文 - A Promising Semantics for Relaxed-Memory Concurrency : https://sf.snu.ac.kr/promise-concurrency/
- Rust 社区明星并发库:crossbeam-rs

学习本课程需要的基础知识:

1. 数学(大一):命题和证明
2. 数据结构(CS206):链表,堆栈,队列
3. 系统编程(CS230):内存布局,高速缓存,锁定
4. 编程语言(CS320):Lambda演算,解释器

如果没有对这些主题的正确理解,您可能会在此课程中苦苦挣扎。
在本课程中可以帮助您的其他建议:

1. 对计算机体系结构的基本了解(CS311)
2. Rust编程经验


学习该课程要做的第一件事: https://github.com/kaist-cp/cs492-concur/issues/42 (当然这可以忽略,你没有学号无法登录该系统)

非该学校学生如何学习?

关注课程源码仓库: https://github.com/kaist-cp/cs492-concur
学习相关视频 ,会陆续上传: https://www.youtube.com/channel/UC8Jmj0869byUnsSRu_F5m9A
课程 slides: https://docs.google.com/presentation/d/1NMg08N1LUNDPuMxNZ-UMbdH13p8LXgMM3esbWRMowhU/edit#slide=id.p

homework占 60% 的评分比重,那说明homework更重要,可以重点关注源码仓库里的homework 目录。
马斯克宣布脑机接口重大突破,正为首次植入人脑做准备

2020 年度 Neuralink 的发布会上马斯克演示了一台用于为大脑植入芯片“LINK V0.9”的原型机;发布会现场,一头被植入芯片的猪被被用于演示,可以得知芯片可以检测大脑的运动信号并预测关节的运动,实际运动与预测非常拟合。
在此之前一直存在着侵入式和非侵入式脑机之争,Neuralink 公司已经尝试在各种动物身上进行试验通过了技术认证,包括老鼠、猴子、山羊;下一步想进行人体实验,但是由于美国的监管严格,公司希望在中国或俄罗斯进行。
黑豹演员查德威克·玻色曼死于癌症,享年43岁。
8月24日晚上,三亚亚龙湾云天热带森林公园有限公司创始人操竞东在网上实名举报称,公司董事长、第一大股东、法定代表人毛剑峰个人曾行贿海南一位原常务副省长1000万元。
阿里云网盘内测中:最高6TB、非会员高速下载
60多年来世界粮食 #出口国 大排名,
美国“世界粮仓”不是虚传

#进口国 排名在这👉https://t.co/KN1rdOM3LU https://t.co/zV4lsl2kDo
Cindy @cindywei2017
Download By @awemebot
This is the damage left from the explosion of 2750 ton of ammonium nitrate in the port of Beirut. What do you know about this material. And why do you think it is that much explosive?

🆔 @Facebook
腾讯用户被腾讯封号,到腾讯客服中心维权无果,从腾讯客服中心跳楼死亡。
Back to Top