原文:Category Theory: 01 One Structured Family of Structures

Category Theory: One Structured Family of Structures 這次看來要放棄了。看了大概三分之一。似乎不能夠讓注意力集中了。先更新吧。 群的定義 G G, , e ,一個數據集 G ,一個二元操作符 ,和一個幺元 e 。 滿足結合律: a b c a b c 滿足封閉性。 存在單位元: e a a a e 存在逆元:對於每一個a,存在一個逆元a : a ...

2018-11-25 10:30 1 619 推薦指數:

查看詳情

The case for learned index structures

17年的舊文,最近因為SageDB論文而重讀。 文章主要思路是通過學習key的順序、結構等來預測record在位置、存在與否等。效果方面,據稱部分場景下,相對b-tree可以優化70%的內存占 ...

Tue Apr 16 08:02:00 CST 2019 0 490
Spark Structured Streaming(一)基礎

1. 流處理的場景 我們在定義流處理時,會認為它處理的是對無止境的數據集的增量處理。不過對於這個定義來說,很難去與一些實際場景關聯起來。在我們討論流處理的優點與缺點時,先介紹一下流處理的常用場景。 ...

Wed Jun 10 00:13:00 CST 2020 0 997
Spark Structured Streaming(二)實戰

5. 實戰Structured Streaming 5.1. Static版本 先讀一份static 數據: val static = spark.read.json("s3://xxx/data/activity-data/") static.printSchema root ...

Fri Jun 12 19:40:00 CST 2020 0 1162
Structured Streaming編程向導

簡介   Structured Streaming is a scalable and fault-tolerant stream processing engine built on the Spark SQL engine. You can express your streaming ...

Mon Aug 13 00:37:00 CST 2018 0 1059
Representation Theory by an Unhappy Guy

Why Unhappy? --- Potential to have no PhD to read. Here are some mathematics I like very much. > Lecture 1 Temperley–Lieb Category [Note ...

Thu Feb 18 09:32:00 CST 2021 0 519
 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM