喵喵小喵喵

Forwarded from Hacker News (yahnc_bot)

Introduction to Univalent Foundations of Mathematics with Agda https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/HoTT-UF-Agda.html

238 viewsMeow-meow 🍓, 02:00

Score: 88+Comments: 6+

喵喵小喵喵

https://vxtwitter.com/VictorTaelin/status/1723173119571968227
🤔

vxTwitter / fixvx

Taelin (@VictorTaelin)

MASSIVE BREAKTHROUGH

After committing the fast-deref experiment, I've immediately realized how I could leverage it to interleave HVM's runtime with compiled procedures. I quickly, manually compiled a sample.

Result: 35X SPEEDUP.

That's 5.5 BILLION RPS…

273 viewsMeow-meow 🍓, 02:28

喵喵小喵喵

Forwarded from Lancern's Treasure Chest

C++ 标准委员会于11月11日召开了C++26的第二次会议。本次会议新接收了4个核心语言提案、19个标准库提案进入C++26标准。

新接收的重要核心语言提案包括：

- P2662R3 Pack indexing：允许开发者使用数组索引语法提取template parameter pack中的单个元素。

新接收的重要标准库提案包括：

- P1673R13 A free function linear algebra interface based on the BLAS：一个线性代数库，类似于BLAS

- P2905R2 Runtime Format Strings：运行时指定的格式化串

- P2546R5 Debugging Support：一组检测调试器并主动调用调试功能的函数

此外本次会议还进一步讨论了包括Contracts和Reflection在内的其他内容。

https://herbsutter.com/2023/11/11/trip-report-autumn-iso-c-standards-meeting-kona-hi-usa/

Sutter’s Mill

Trip report: Autumn ISO C++ standards meeting (Kona, HI, USA)

Today, the ISO C++ committee completed its second meeting of C++26, held in Kona, HI, USA. Our hosts, Standard C++ Foundation and WorldQuant, arranged for high-quality facilities for our six-day me…

🤯4

188 viewsMeow-meow 🍓, 05:48

喵喵小喵喵

Forwarded from ✨【HZR】星咲®ラジオα (かずき天塩)

https://fxtwitter.com/ShinagawaJP/status/1722947219966353549

FixTweet / FixupX

にゃんこそば🌤データ可視化 (@ShinagawaJP)

この雨がやむと冬がやってくる。もはや「四季」じゃなくて「二季」だな･･･。🧐 #冬将軍

262 viewsMeow-meow 🍓, 13:41

喵喵小喵喵

https://android.stackexchange.com/questions/203891/how-to-take-full-image-backup-of-partitions-or-emmc

Android Enthusiasts Stack Exchange

How to take full image backup of partitions or eMMC?

I have an Archos 55 Platinum here. There is also a unofficial TWRP, if this might help.
I would like to make a backup of the storage of the phone, like dd for any partition, so I can inspect the co...

355 viewsMeow-meow 🍓, 05:17

喵喵小喵喵

Forwarded from Hacker News (yahnc_bot)

Upcoming changes to Rust's borrow checker https://blog.rust-lang.org/inside-rust/2023/10/06/polonius-update.html

218 viewsMeow-meow 🍓, 09:25

Score: 113+ 🔥Comments: 64+

喵喵小喵喵

https://vxtwitter.com/welltypedwitch/status/1723695609498997156
类型体操（but 崴脚了

vxTwitter / fixvx

Prophet (@welltypedwitch)

I've looked into what's actually happening here and this is honestly such a strange TS bug.
If TS knows that T is a subtype of { x : A | B }, it somehow assumes that T["x"] is *exactly* A | B and *not* a subtype of it, which is just wrong.

【QRT of Dillon…

397 viewsMeow-meow 🍓, 09:54

喵喵小喵喵

Forwarded from xkcd

226 viewsMeow-meow 🍓, 04:50

喵喵小喵喵

https://youtu.be/7MYYjseY-Do

YouTube

lazer updates - November 14, 2023

by the way. this is a lazer update.

peppy and pishifat walk through some of the newest additions to osu!, including mobile functionality for mania and other stuff that will be overshadowed

try lazer for yourself: https://osu.ppy.sh/home/download
read the…

277 viewsMeow-meow 🍓, 09:23

喵喵小喵喵

https://twitter.com/BACHeally/status/1722108335800103130

X (formerly Twitter)

BACHeally (@BACHeally) on X

💕💗💓✨🍀🌿☘️🌱💐
(*´³`(՞- -՞)ᶻᶻᶻ

❤1

827 viewsMeow-meow 🍓, 09:49

喵喵小喵喵

Forwarded from 每日无数猫 (雨洛🐱🐰🐾)

https://vxtwitter.com/cutest_animal1/status/1723693753586884843

vxTwitter / fixvx
💖 30.1K 🔁 2.92K

癒される動物 (@cutest_animal1)

親猫の上にいる子猫が可愛すぎる

🥰2

264 viewsMeow-meow 🍓, 10:12

喵喵小喵喵

怎么开了中成药
难道是我得癌症了大夫不忍心告诉我？

😁16

320 viewsMeow-meow 🍓, 10:15

喵喵小喵喵

Forwarded from DGN (dan)

《星际拓荒考古学家版》将于2023年12月7日登陆任天堂 switch。预计于2024年春季发行 switch 平台的实体版
https://youtu.be/yniQwQlyUl8
#OuterWilds

246 viewsMeow-meow 🍓, 17:33

喵喵小喵喵

https://vxtwitter.com/tldraw/status/1724410017963503894

vxTwitter / fixvx - GIF

tldraw (@tldraw)

(can't believe this works)

💖 384

👍1

420 viewsMeow-meow 🍓, 06:20

喵喵小喵喵

CACHEWARP
CacheWarp is a new software fault attack on AMD SEV-ES and SEV-SNP. It allows attackers to hijack control flow, break into encrypted VMs, and perform privilege escalation inside the VM.

https://cachewarpattack.com/

560 viewsMeow-meow 🍓, 08:05

喵喵小喵喵

https://vxtwitter.com/Madhouse_News/status/1724648164144349438

vxTwitter / fixvx

MADHOUSE Inc. (@Madhouse_News)

TVアニメ『葬送のフリーレン』

第10話「強い魔法使い」
辻彩夏さんによる作画監督修正🪄

第1話～10話まで絶賛配信中 ▼
https://frieren-anime.jp/onair/#streaming

#フリーレン #frieren

💖 45484

328 viewsMeow-meow 🍓, 09:21

喵喵小喵喵

https://vxtwitter.com/multikev/status/1724908185361011108

vxTwitter / fixvx