Lancern's Treasure Chest

23:18 · Sep 6, 2023 · Wed

刚才才发现 std::span 没有 at 成员函数。

查了一下，原因是：

I actually proposed at() for std::span as part of P1024r0. It was soundly defeated in LEWG, 0|0|4|4|5.

I wasn’t there for the meeting, but from what I understand the feeling was that contracts (which at that time seemed highly likely for ‘20) were a better way to go for bounds checking, and that we should not be throwing exceptions for programmer errors like out-of-bounds access.

https://www.reddit.com/r/cpp/comments/djqdu2/why_is_stdspan_is_missing_at/

From the cpp community on Reddit

Explore this post and more from the cpp community

19:35 · Sep 6, 2023 · Wed

Comprehensive guide on Linux Huge Pages from programmer perspective
https://oxla.com/using-huge-pages-in-linux-applications/

https://redd.it/16bds8n
@r_cpp

Oxla

Using huge pages in Linux applications - Oxla

The memory in modern computers and operating systems uses paged virtual address space. Paging means that the memory is divided into fixed-size areas. Address space is the set of addresses that are available to use for a process. However...

16:31 · Sep 6, 2023 · Wed

http://pyalgoviz.appspot.com/

Pyalgoviz

PyAlgoViz - Home

Repository of Computer Science algorithms, written in Python, with visualizations written in Python as well. The animations run in the browser, and algorithms can be developed, saved, and shared from the browser. Example animations are: Dynamic Programming:…

18:23 · Sep 5, 2023 · Tue

When URL parsers disagree (CVE-2023-38633)

Comments

via serce@users.lobste.rs (serce)

canva.dev

When URL parsers disagree (CVE-2023-38633) - Canva Engineering Blog

Discovery and walkthrough of CVE-2023-38633 in librsvg, when two URL parser implementations (Rust and Glib) disagree on file scheme parsing leading to path traversal.

18:21 · Sep 5, 2023 · Tue

ZFS for Dummies https://ikrima.dev/dev-notes/homelab/zfs-for-dummies/

ikrima.dev

ZFS for Dummies - Gamedev Guide

As mentioned on previous posts, I have spent the past few weeks dealing with a ZFS crash on my FreeNAS install. Because of that, not only was I forced to learn how to troubleshoot ZFS, but I also had to learn how to setup new volumes and come up with new…

17:12 · Sep 5, 2023 · Tue

我司今年秋招内推开始了，实习岗位和正式岗位均可内推，欢迎咨询频道主。

附今年秋招推送：
https://mp.weixin.qq.com/s/54L70RYtFu-Bon--RfzL0w

Weixin Official Accounts Platform

佳期投资2024全球招聘正式开启！

全职和实习岗位等你来投递！和我们一起探索无限可能！

08:48 · Sep 5, 2023 · Tue

公司楼下的瑞幸爆单了

新单要一个半小时才能拿

12:33 · Sep 4, 2023 · Mon

A Gentle Introduction to Liquid Types https://goto.ucsd.edu/~ucsdpl-blog/liquidtypes/2015/09/19/liquid-types/

08:41 · Sep 4, 2023 · Mon

？？？？？

08:11 · Sep 4, 2023 · Mon

上周五都上过班了，为什么今天还要上班😡

08:06 · Sep 4, 2023 · Mon

https://stackoverflow.com/questions/2009063/are-disk-sector-writes-atomic

Stack Overflow

Are disk sector writes atomic?

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