Forwarded from Hacker News
Cicadas are so loud, fiber optic cables can ‘hear’ them (Score: 151+ in 15 hours)
Link: https://readhacker.news/s/5VePb
Comments: https://readhacker.news/c/5VePb
Link: https://readhacker.news/s/5VePb
Comments: https://readhacker.news/c/5VePb
WIRED
Cicadas Are So Loud, Fiber Optic Cables Can ‘Hear’ Them
In 2021, scientists experimenting with fiber optics picked up a strange signal: the cacophony of cicadas. It could lead to a new way of monitoring insects.
Forwarded from Hacker News (yahnc_bot)
Django 5.0 Is Released https://www.djangoproject.com/weblog/2023/dec/04/django-50-released/
Django Project
Django 5.0 released
Posted by Natalia Bidart on Dec. 4, 2023
Forwarded from Hacker News (yahnc_bot)
A slightly longer Lean 4 proof tour https://terrytao.wordpress.com/2023/12/05/a-slightly-longer-lean-4-proof-tour/
What's new
A slightly longer Lean 4 proof tour
In my previous post, I walked through the task of formally deducing one lemma from another in Lean 4. The deduction was deliberately chosen to be short and only showcased a small number of Lean tac…
反向代理的 Partial Transfer 问题
https://jia.je/software/2023/12/07/reverse-proxy-partial-transfer/
https://jia.je/software/2023/12/07/reverse-proxy-partial-transfer/
Forwarded from Easton Man's Channel (Easton's RSS Bot)
杰哥的{运维，编程，调板子}小笔记
VIPT 与缓存大小和页表大小的关系
VIPT（Virtual Index Physical Tag）是 L1 数据缓存常用的技术，利用了虚拟地址和物理地址的 Index 相同的特性，得以优化 L1 数据缓存的读取。但是 VIPT 的使用，与页表大小和 L1 数据缓存大小都有关系。这篇博客探讨一下，VIPT 技术背后的一些问题。
source
VIPT 与缓存大小和页表大小的关系
VIPT（Virtual Index Physical Tag）是 L1 数据缓存常用的技术，利用了虚拟地址和物理地址的 Index 相同的特性，得以优化 L1 数据缓存的读取。但是 VIPT 的使用，与页表大小和 L1 数据缓存大小都有关系。这篇博客探讨一下，VIPT 技术背后的一些问题。
source