随笔分类 - misc
摘要：The Lockheed Martin F-35 Lightning II is an American family of single-seat, single-engine, all-weather stealth multirole combat aircraft that is inten
阅读全文
posted @ 2022-02-15 17:13
华容道专家
摘要：IT要改成Internal Turn(内卷)的缩写了。:-) Nvidia CUDA Software Gets Ported to Open-Source RISC-V GPGPU Project | Tom's Hardware (tomshardware.com) RISC-V has bee
阅读全文
posted @ 2022-02-15 13:55
华容道专家
摘要：比如我们有个.c，编译时并没有用-g生成调试信息： #include <stdio.h> int add(int a, int b) { return a + b; } int main() { printf("%d\n", add(3, 5)); } 只要没有strip掉symbol，也可以用gd
阅读全文
posted @ 2022-02-15 13:41
华容道专家
摘要：GNU Octave The Octave syntax is largely compatible with Matlab. The Octave interpreter can be run in GUI mode, as a console, or invoked as part of a s
阅读全文
posted @ 2022-02-14 22:21
华容道专家
摘要：如果我们粗俗地把每个晶体管看作边长为10nm的正方形，那么100亿个的面积是： 100 * 108 * 10 * 10-9 * 10 * 10-9 = 10-6 平米 = 1平方毫米 铁壳里面是die，不像1平方毫米的样子。1纳米=10-9米。原子的直径的数量级是10-10m。原子核的"直径"在10
阅读全文
posted @ 2022-02-14 17:40
华容道专家
摘要：optimization - MySQL index + math operators - Stack Overflow [原文更详细] I have RatingTable: UserID int, Rating int, BanMask int, index rating_index (Rati
阅读全文
posted @ 2022-02-14 15:25
华容道专家
摘要：看完微软大神写的求平均值代码，我意识到自己还是too young了 | 量子位 On finding the average of two unsigned integers without overflow - The Old New Thing (microsoft.com) assembly
阅读全文
posted @ 2022-02-13 16:16
华容道专家
摘要：BASIC (Beginners' All-purpose Symbolic Instruction Code) is a family of general-purpose, high-level programming languages whose design philosophy emph
阅读全文
posted @ 2022-02-11 23:44
华容道专家
摘要：亮点在右上角。 施氏食狮史_百度百科 还有 季姬击鸡记_百度百科 季姬寂，集鸡，鸡即棘鸡。棘鸡饥叽，季姬及箕稷济鸡。鸡既济，跻姬笈，季姬忌，急咭鸡，鸡急，继圾几，季姬急，即籍箕击鸡，箕疾击几伎，伎即齑，鸡叽集几基，季姬急极屐击鸡，鸡既殛，季姬激，即记《季姬击鸡记》。 LeCun看了都说好！Meta
阅读全文
posted @ 2022-02-11 10:03
华容道专家
摘要：度目智能视频分析盒G1搭载英伟达芯片，算力高达14TOPS；[link] 疑似公版电脑：智能视频分析盒_瑞铭安普 (rymap.com) NVIDIA Jetson AGX Xavier Benchmarks - Incredible Performance On The Edge Review -
阅读全文
posted @ 2022-02-10 16:33
华容道专家
摘要：看资料时遇到Bayes/MDL和Finite State Machine w/ Data Path. w/是with的缩写，找到出处了。我曾以为/MDL是Model的缩写，多搜了一会发现应该是Minimum Description Length的缩写。 The slash ( / ), also k
阅读全文
posted @ 2022-02-06 09:21
华容道专家
摘要：在今日头条的评论区看到有人说Ubuntu不好用，理由是装yum不方便。 Ubuntu和Debian的默认包管理器是apt，yum是从RedHat的rpm发展来的。Ubuntu有图形界面的软件中心(Software Center). 有个老笑话说某人的女朋友每次都打开Bing搜百度，然后再在百度里搜。
阅读全文
posted @ 2022-02-04 18:04
华容道专家
摘要：有感于网上有些人说“我就爱玩游戏”。 我觉得：花1万买电脑不如花4000买电脑，1000买轮滑装备之类，5000存起来，过3~5年再买个电脑。电脑降价太快了。车和表么，入手马上卖出去，99.9999成新也算二手货，要亏不少。 不知道玩啥好的话，我觉得可以参考这里：玩主论坛 (xitek.com) 或
阅读全文
posted @ 2022-02-04 13:02
华容道专家
摘要：为了黑这个：“OpenAI发文表示，他们已经为Lean创建了一个神经定理证明器，用于解决各种具有挑战性的高中奥林匹克问题，包括两个改编自IMO的问题和来自AMC12、AIME竞赛的若干问题。该证明器使用一个语言模型来寻找形式化命题(formal statement)的证明。” The four co
阅读全文
posted @ 2022-02-04 09:25
华容道专家
摘要：这是篇论文: competition_level_code_generation_with_alphacode.pdf Backspace You are given two strings s and t, both consisting of lowercase English letters.
阅读全文
posted @ 2022-02-03 22:40
华容道专家
摘要：我认为：用AF_INET好，用PF_INET也行。winsock.h里:#define AF_INET 2#define PF_INET AF_INET#define PF_UNIX AF_UNIX上面这样的宏定义有26行。In practice, though, the PF_ and AF_ m
阅读全文
posted @ 2022-02-02 09:54
华容道专家
摘要：逛商场时看到华为的笔记本和台式机，用了一小会，感觉挺不错。做工很精致，高档货的样子。这点比龙芯做的好。龙芯的机箱看上去比较低端，还配个光驱(好在是超薄的)。华为很有一些高端手机，卖得不便宜，已经成功地在一部分国内外用户中树立起了品牌形象，觉得高端、值这个价。龙芯好像还是过去的低端便宜的形象。 SSD
阅读全文
posted @ 2022-01-30 11:02
华容道专家
摘要：把图像看作如100x100个点(像素)，每个像素红绿蓝3个灯泡，是直观的。 RGB可以转换成YUV亮度和颜色。YUV和RGB来回转换不丢失信息，也不能压缩。人眼对亮度比对颜色敏感，比如灯光昏暗时分辨不出颜色。每2个或4个点共用颜色信息，如(100, 101, 98, 99)用100来表示，就可以压缩
阅读全文
posted @ 2022-01-29 12:56
华容道专家
摘要：看"Math for Programmers"时遇到一句: With some initial velocity perpendicular to the black hole, the spaceship begins an elliptical orbit. 为啥不是抛物线或圆，而是椭圆呢？ 搜
阅读全文
posted @ 2022-01-27 17:45
华容道专家
摘要：两个向量a和b, a点积b = 模a * 模b * cos(夹角) 二维我想可以用cos(alpha - beta) = cos(alpha)cos(beta) + sin(alpha)sin(beta)来证明。 上述合角公式用向量来证明很方便，可惜循环论证了。 这里有别的证明方式：Sin, Cos
阅读全文
posted @ 2022-01-26 15:48
华容道专家
浙公网安备 33010602011771号