Programming Languages: Build, Prove, and Compare

Fashions in programming languages change continually. But the best way to stay up to date is not to study the latest fashion; it’s to master the timeless ideas that underlie all languages, even the most complicated.

This is the web site for Programming Languages: Build, Prove, and Compare: a text that distills timeless languages and their design ideas into easy-to-learn “bridge” languages implemented by interpreters whose key parts are explained in the text.

https://www.build-prove-compare.net/

【【ATC录音】甜妹管制来了 | 甜妹机长遇上甜妹管制谁更甜 | 虹桥机坪 | CC手打字幕】 https://www.bilibili.com/video/BV1Xw411U7yv

Bilibili

【ATC录音】甜妹管制来了 | 甜妹机长遇上甜妹管制谁更甜 | 虹桥机坪 | CC手打字幕_哔哩哔哩_bilibili

2023年9月10日 中午虹桥机坪121.95甜妹管制又来了~让我看看想她的有多少人？ATC录音+FR24视频+CC手打字幕SDR录制 RTL方案硬件 如需购买守听设备 可进UP主页查看我的橱窗 有UP自用及推荐的设备空白处有加速，时间请参考右上角UTC如果喜欢 请多多支持！, 视频播放量 531140、弹幕量 685、点赞数 14190、投硬币枚数 1767、收藏人数 7666、转发人数 4299, 视频作者 ZSSS-36R, 作者简介 一位住在ZSSS-36R接地点2海里的飞友，相关视频：【ATC录音】飒气女管制…

今日运转

今日观影

今日午餐：海淀黄庄热啊餐厅

桶运转

今日学习iPhone如何强制重启：

短按音量+ -> 短按音量- -> 长按电源

学费：两站地铁车费+40分钟时间损耗

又上完一周的班了。祝贺！

刚才才发现 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/

Reddit

From the cpp community on Reddit

Explore this post and more from the cpp community

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...

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.

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…

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

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

Weixin Official Accounts Platform

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

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

公司楼下的瑞幸爆单了

新单要一个半小时才能拿

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

？？？？？

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