Personal channel of @lancern
Topics: programming, hacking, memes, life, and more. Forward anything as you wish.
Join the discussion group for more fun.
Discord: https://discord.gg/RwUx9et7
Topics: programming, hacking, memes, life, and more. Forward anything as you wish.
Join the discussion group for more fun.
Discord: https://discord.gg/RwUx9et7
Boosting Compiler Testing by Injecting Real-world Code (PLDI'24)
https://shao-hua-li.github.io/files/2024_PLDI_Creal_preprint.pdf
https://shao-hua-li.github.io/files/2024_PLDI_Creal_preprint.pdf
邯郸初中生被害案嫌疑人被核准追诉
2024年3月10日,河北省邯郸市肥乡区初一学生王某某被杀害。3月11日,涉案的张某某、李某、马某某3名未成年犯罪嫌疑人被公安机关全部抓获。检察机关高度重视,依法提前介入公安机关侦查活动。3月21日,邯郸市肥乡区公安局对涉嫌故意杀人罪的张某某、李某及马某某提请检察机关核准追诉。
检察机关审查认为,张某某、李某及马某某3人作案时已满十二周岁不满十四周岁,故意杀人致被害人王某某死亡,情节恶劣,应当追究刑事责任。根据《中华人民共和国刑法》第十七条第三款的规定,河北省检察机关逐级层报最高人民检察院对张某某、李某及马某某核准追诉。
近日,经最高人民检察院审查,依法决定对犯罪嫌疑人张某某、李某及马某某核准追诉。
检察机关将在严格依法办案的同时,切实履行法律监督职责,进一步加大未成年人犯罪预防和治理力度。
人民日报
线索:@ZaiHuabot
投稿:@TNSubmbot
频道:@TestFlightCN
2024年3月10日,河北省邯郸市肥乡区初一学生王某某被杀害。3月11日,涉案的张某某、李某、马某某3名未成年犯罪嫌疑人被公安机关全部抓获。检察机关高度重视,依法提前介入公安机关侦查活动。3月21日,邯郸市肥乡区公安局对涉嫌故意杀人罪的张某某、李某及马某某提请检察机关核准追诉。
检察机关审查认为,张某某、李某及马某某3人作案时已满十二周岁不满十四周岁,故意杀人致被害人王某某死亡,情节恶劣,应当追究刑事责任。根据《中华人民共和国刑法》第十七条第三款的规定,河北省检察机关逐级层报最高人民检察院对张某某、李某及马某某核准追诉。
近日,经最高人民检察院审查,依法决定对犯罪嫌疑人张某某、李某及马某某核准追诉。
检察机关将在严格依法办案的同时,切实履行法律监督职责,进一步加大未成年人犯罪预防和治理力度。
人民日报
线索:@ZaiHuabot
投稿:@TNSubmbot
频道:@TestFlightCN
GCC 14 -fanalyzer improvements for buffer overflows and more -- David Malcolm
via Standard C++ (author: Blog Staff)
via Standard C++ (author: Blog Staff)
But what is a GPT? Visual intro to Transformers [video] https://www.youtube.com/watch?v=wjZofJX0v4M
今天有人提到 Lasse Collin 对于 xz 项目早就疲惫不堪,Jia Tan 是极少数愿意真正贡献代码的“开发者”,这都是这场悲剧不可或缺的背景条件。
在无人关心的角落,Florian Westphal 最近辞去了内核 netfilter co-maintainer,所以现在 nf 只剩 Pablo Neira Ayuso 一人维护。这可是无数人每天使用的 netfilter。
在无人关心的角落,我最爱的工具之一 strace 依然只由一个捷克人 Dmitry V. Levin 默默维护。
在无人关心的角落,tcpdump/libpcap 在由 the-tcpdump-group 持续更新,其中一位 Denis Ovsienko 的自我介绍是 sometimes I work jobs for living, sometimes I contribute pro bono to free and open source software projects, often I do both,给人一种很孤独的感觉。
在无人关心的角落,bash group 只有三位 active members,其中一位 Bob Proulx 有个古典博客,里面有记录他和妻子的平静生活。
我以前赞美人月神话,但我现在更关心默默无闻的开发者们,就像 vim 作者 Bram Moolenaar 一生没有和任何人建立亲密关系,我只想问,你这一生过得开心吗?
你们这些伟大的开发者们过得开心吗?
在无人关心的角落,Florian Westphal 最近辞去了内核 netfilter co-maintainer,所以现在 nf 只剩 Pablo Neira Ayuso 一人维护。这可是无数人每天使用的 netfilter。
在无人关心的角落,我最爱的工具之一 strace 依然只由一个捷克人 Dmitry V. Levin 默默维护。
在无人关心的角落,tcpdump/libpcap 在由 the-tcpdump-group 持续更新,其中一位 Denis Ovsienko 的自我介绍是 sometimes I work jobs for living, sometimes I contribute pro bono to free and open source software projects, often I do both,给人一种很孤独的感觉。
在无人关心的角落,bash group 只有三位 active members,其中一位 Bob Proulx 有个古典博客,里面有记录他和妻子的平静生活。
我以前赞美人月神话,但我现在更关心默默无闻的开发者们,就像 vim 作者 Bram Moolenaar 一生没有和任何人建立亲密关系,我只想问,你这一生过得开心吗?
你们这些伟大的开发者们过得开心吗?
A proposal to add signals to JavaScript https://github.com/proposal-signals/proposal-signals
Layout of Rust's u128 and i128 changed https://blog.rust-lang.org/2024/03/30/i128-layout-update.html
Git as a debugging tool https://lucasoshiro.github.io/posts-en/2023-02-13-git-debug/
Backdoor in upstream xz/liblzma leading to SSH server compromise (🔥 Score: 166+ in 33 minutes)
Link: https://readhacker.news/s/652ju
Comments: https://readhacker.news/c/652ju
Link: https://readhacker.news/s/652ju
Comments: https://readhacker.news/c/652ju
The rev.ng decompiler goes open source https://rev.ng/blog/open-sourcing-renvg-decompiler-ui-closed-beta