Lancern's Treasure Chest

Clarified Question:
When the OS sends the command to write a sector to disk is it atomic? i.e. Write of new data succeeds fully or old data is left intact should the power fail immediately followin...

09:32 · Sep 3, 2023 · Sun

Lancern's Treasure Chest

CppMem: Interactive C/C++ memory model 一个用于分析 C/C++ 程序内存序的工具。它能够静态分析并发程序中所有操作之间可能存在的序关系，将这些序关系可视化，并立即指出程序中是否存在潜在的 data race 。 http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/

配套 POPL 论文

https://www.cl.cam.ac.uk/~pes20/cpp/popl085ap-sewell.pdf

23:41 · Sep 2, 2023 · Sat

CppMem: Interactive C/C++ memory model

一个用于分析 C/C++ 程序内存序的工具。它能够静态分析并发程序中所有操作之间可能存在的序关系，将这些序关系可视化，并立即指出程序中是否存在潜在的 data race 。

http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/

23:53 · Sep 1, 2023 · Fri

两年前给别人说好的 PR，一直咕到现在终于把功能写完了

咕咕咕咕咕

16:24 · Sep 1, 2023 · Fri

今日踩坑：__builtin_memset 不保证没有外部符号引用，其编译结果可能为 call memset

08:12 · Sep 1, 2023 · Fri

社区里的中小学开学了

路上好堵

08:09 · Sep 1, 2023 · Fri

RFC 3339 vs. ISO 8601 https://ijmacd.github.io/rfc3339-iso8601/

ijmacd.github.io

RFC 3339 vs ISO 8601

Comparison between RFC 3339 and ISO 8601 date formats

08:08 · Sep 1, 2023 · Fri

Android Goes All-in on Fuzzing

Comments

via swapgs@users.lobste.rs (swapgs)

Google Online Security Blog

Android Goes All-in on Fuzzing

Posted by Hamzeh Zawawy and Jon Bottarini, Android Security Fuzzing is an effective technique for finding software vulnerabilities. Over ...

11:43 · Aug 31, 2023 · Thu

发工资了！！！

08:19 · Aug 31, 2023 · Thu

https://x.com/cppnow/status/1697005300765593696

X (formerly Twitter)

C++Now on X

Using the C++ Sender/Receiver Framework: Implement Control Flow for Async Processing - by @sdowney - CppNow 2023

https://t.co/9c8Xg3nnWa

#Coding #Cpp

08:18 · Aug 31, 2023 · Thu

https://x.com/cppnow/status/1697005296311230940

X (formerly Twitter)

C++Now on X

import CMake: // 2023 State of C++20 modules in CMake - Bill Hoffman - CppNow 2023

https://t.co/6wrIBSvOwR

#Coding #Cpp

21:30 · Aug 30, 2023 · Wed

【日本小哥模仿JR山手线】 https://www.bilibili.com/video/BV1Gj41127JG

离谱

Bilibili

日本小哥模仿JR山手线_哔哩哔哩_bilibili

日本小哥模仿JR山手线, 视频播放量 594329、弹幕量 850、点赞数 27212、投硬币枚数 8019、收藏人数 14862、转发人数 14011, 视频作者阿比波斯, 作者简介知行合一，相关视频：日本电车宅表演如何用嘴完美模仿电车的声音。闭上眼睛，真的有种在坐东京地下铁银座线的赶脚。，【炸裂】山手线的车内广播居然是她的声音！，JR山手线池袋站更换bic camera主题曲为发车铃，【日综】如果你曾经在日本乘坐过JR.山手线，那么你一定听过车内播音员三浦七绪子的声音。那么她到底长什么样呢？，日…

19:10 · Aug 30, 2023 · Wed

是Anya

16:48 · Aug 30, 2023 · Wed

std::priority_queue 的元素比较器参数是第三个模板参数，导致每次需要自定义元素比较器时都要在第二个参数位置处写一长串的 std::vector<...> 。如果元素类型比较复杂，就更难写了。

如果可以有一个类似于 _ 这样的 placeholder 可以指定对应位置的参数使用默认值就好了。既可以是模板参数，也可以是函数参数。

例如 std::priority_queue<T, std::vector<T>, MyComp> 就可以简写为 std::priority_queue<T, _, MyComp> 。

10:27 · Aug 30, 2023 · Wed