| Tweetovi |
|
Gapry
@_gapry
|
5 h |
|
我覺得用「智慧」一詞比較好.. 🤔🤔
|
||
|
|
||
| Gapry proslijedio/la je tweet | ||
|
Matt Fleming
@fleming_matt
|
14 h |
|
I wrote a BPF tool: github.com/mfleming/perfo…
I always wished time(1) displayed useful statistics like off-cpu time and whether the program was blocked on i/o (or sleeping in userspace). schedtime gives you that info by inspecting callstacks to work out why your app blocked.
|
||
|
|
||
| Gapry proslijedio/la je tweet | ||
|
Diogo (f a) Castro
@dfacastro
|
8 h |
|
Welcome to Haskell, we got list comprehensions (>>=), optional chaining (>>=) , async/await (>>=), if err != nil (>>=), function composition(>>=), mutable state (>>=), twitter.com/mountain_ghost…
|
||
|
|
||
| Gapry proslijedio/la je tweet | ||
|
Michael
@michael90187356
|
7 h |
|
Here is zhashmap, a fast open addressing hash table.
An experiment with tombstone bitmaps to avoid keyspace erosion. Bitmaps that could be used to store coherency information.
Skylake: ~1.7 ns lookup (~6 cycles) for hits without collisions (two loads).
github.com/michaeljclark/… pic.twitter.com/rGxIyb2pih
|
||
|
|
||
| Gapry proslijedio/la je tweet | ||
|
Calascibetta Romain
@Dinoosaure
|
17 h |
|
Implementing and Certifying a Web server in Coq - soap.coffee/~lthms/posts/M…
|
||
|
|
||
| Gapry proslijedio/la je tweet | ||
|
Year Progress
@year_progress
|
16 h |
|
▓▓░░░░░░░░░░░░░ 10%
|
||
|
|
||
|
Gapry
@_gapry
|
17 h |
|
|
||
| Gapry proslijedio/la je tweet | ||
|
qosf
@qosfoundation
|
1. velj |
|
.@FelixTripier from @IonQ_Inc talking about how you can build a quantum computer based on open source software and hardware @fosdem 2020. pic.twitter.com/uJtiPy8lS9
|
||
|
|
||
| Gapry proslijedio/la je tweet | ||
|
Gernot Heiser
@GernotHeiser
|
18 h |
|
“seL4 Microkernel Being Ported To RISC-V” – note: The #RISC-V port of #seL4 is done and released 1–2 years ago, ongoing work is on proving it correct phoronix.com/scan.php?page=…
|
||
|
|
||
| Gapry proslijedio/la je tweet | ||
|
Richard Feynman
@ProfFeynman
|
5. velj |
|
How to STUDY Mathematics:-
• Practice, Practice & More Practice.
• Review Errors.
• Master the Key Concepts.
• Understand your Doubts.
• Create a Distraction Free Study Environment.
• Create a Mathematical Dictionary.
• Apply Math to Real World Problems. 🧠 pic.twitter.com/Yf4CYXLwHn
|
||
|
|
||
|
Gapry
@_gapry
|
6. velj |
|
噢, 我同意這個觀點的確是對盡職的團隊不公平的評論, 是我失言了, Sorry.
我猜原文作者應該不是想要「發展較量」,可能只是很單純不喜歡 Java
|
||
|
|
||
|
Gapry
@_gapry
|
6. velj |
|
4. 原文作者的 GitHub 有 TS repo, 所以他應該也是理性的人。可能他只是為 C# 感到可惜︰如果當年 2010 mids 沒有跑去做其他事情, 十年後的今天 Big data (Hadoop), search (Elasticsearch) and messaging/stream-processing (Kafka) 都會各自有 C# 的勁敵
5. 以上只是個人的理性推測
|
||
|
|
||
|
Gapry
@_gapry
|
6. velj |
|
3. 感覺作者是在抱恕 Anders Hejlsberg 跑去開發 TS 而沒有把精力集中在 C# 生態系統, 以致現在的 C# 在 Big Data 生態系統之中和 Java 有一大段距離
|
||
|
|
||
|
Gapry
@_gapry
|
6. velj |
|
1. 原文所指的「停滯」的時間點應該是在 "mid 2010s. "
2. 我猜原文作者沒有留意 .Net Core 的出生, 所以作者指的 「.Net」應該是指 .Net Framework 而並非 .Net Core
|
||
|
|
||
|
Gapry
@_gapry
|
5. velj |
|
上帝睇唔過眼嗰個賤男所以決定以後照住你.. make sense
|
||
|
|
||
|
Gapry
@_gapry
|
5. velj |
|
咁嘅樣擺到明就系俾上帝照住嘅女人...
|
||
|
|
||
|
Gapry
@_gapry
|
5. velj |
|
因為今年啱啱先過咗一個月多DD, 仲有差唔多成十一月個月..
|
||
|
|
||
|
Gapry
@_gapry
|
5. velj |
|
For Math, Physics, paper books are better.
For CS, ebooks are better.
|
||
|
|
||
| Gapry proslijedio/la je tweet | ||
|
MariaDB Foundation
@mariadb_org
|
5. velj |
|
All slides from #mariadbday are now up on mariadb.org/2020-mariadb-d… and videos are starting to go up as well
|
||
|
|
||
|
Gapry
@_gapry
|
5. velj |
|
The TLA+ Video Course
#TLAPlus #ModelChecking
#GapryOnlineLearningCourseList
youtube.com/playlist?list=…
|
||
|
|
||