xieyuheng 最近的时间轴更新 xieyuheng 最近的时间轴更新xieyuheng's repos on GitHub
TypeScript · 132 人关注
inet-cute
An implementation of interaction nets in JS.
TypeScript · 70 人关注
chimera
TypeScript · 58 人关注
inet-js
This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
C · 44 人关注
inet-forth
An implementation of interaction nets as a forth-like language.
C · 30 人关注
joy
backup of the joy programming language
TypeScript · 27 人关注
lambda-lisp.js
An implementation of lambda calculus.
Vue · 22 人关注
luoxu-search
TypeScript · 17 人关注
cell-complex
Libraries and tools for topological and geometric modeling.
TypeScript · 17 人关注
logic-db
Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
Agda · 16 人关注
cat
A categorical semantics library in Agda.
HTML · 14 人关注
cicada-nymph
a forth like language written in fasm assembler
Elixir · 10 人关注
exo
logic programming in elixir
TypeScript · 8 人关注
analytic-geometry
A program to draw analytic geometry graphs on canvas.
C++ · 5 人关注
jojo-history
history of jojo's bizarre programming adventure
HTML · 5 人关注
learn-x
4 人关注
awesome-inet
Rust · 4 人关注
cicada-rs
old cicada attempt in rs
Python · 4 人关注
dot-config
C · 4 人关注
inet-lisp
An implementation of interaction nets.
TypeScript · 4 人关注
inet-website
Website of iNet
HTML · 4 人关注
inner
Ones Inner Universe.
TypeScript · 3 人关注
dance-with-expressions
式之舞 / Dance with Expressions
C · 3 人关注
eoc
Learning how to write compiler from "Essentials of Compilation".
3 人关注
inspiring-designs
A collection of inspiring designs.
TypeScript · 3 人关注
learner.js
A machine learning library learned from "The Little Learner".
Agda · 2 人关注
agda-oplss13
to learn agda with Dan Licata and Ian Voysey ^-^
TypeScript · 2 人关注
aziz
Compiler backend practices (runtime and code generation)
Emacs Lisp · 2 人关注
cicada-mode
emacs mode to edit cicada code
TypeScript · 2 人关注
conceptor
An implementation of formal concept analysis.
2 人关注
craftinginterpreters_zh
手撸解释器教程《Crafting Interpreters》中文翻译
TypeScript · 2 人关注
enchanter
Enchanter is web (and console) application framework with powerful spells! 🪄
Emacs Lisp · 2 人关注
eshell
emacs shell
TypeScript · 2 人关注
explicit-lisp.js
An implementation of lambda calculus by explicit substitution.
CSS · 2 人关注
fonts
Scheme · 2 人关注
ikarus
as a backup
Scheme · 2 人关注
inc.scm
C · 2 人关注
inet-lisp-st
A single-threaded implementation of interaction nets as a lisp-like language.
Shell · 1 人关注
.zsh
ZSH_CUSTOM=$HOME/.zsh
Common Lisp · 1 人关注
1993-building-problem-solvers
Backup of the code of "Building Problem Solvers" by Kenneth D. Forbus and Johan de Kleer, 1993.
1 人关注
awesome-why
为什么之空耳与猎奇
Python · 1 人关注
biysc2021-notes
1 人关注
chinese-independent-developer
👩🏿💻👨🏾💻👩🏼💻👨🏽💻👩🏻💻中国独立开发者项目列表 -- 分享大家都在做什么
1 人关注
collective-code-construction-contract
The Collective Code Construction Contract (C4) is an evolution of the github.com Fork + Pull Model, aimed at providing an optimal collaboration model for free software projects.
TypeScript · 1 人关注
commander.js
Scala · 1 人关注
cookbook-scala
Racket · 1 人关注
eoc.rkt
1 人关注
fidb-databases
Example databases for FiDB.
TypeScript · 1 人关注
fidb-zero
What if we use file system as database?
TypeScript · 1 人关注
geometer
Low dimensional topology and geometry.
C · 1 人关注
glfw-example
TypeScript · 1 人关注
grammar
Scheme · 1 人关注
ikarus-linux
1 人关注
image-link
C · 1 人关注
jamdoo
简牍 -- 一个支持纵书的中文文本编辑器。
Scheme · 1 人关注
kanren
Backup of old Kanren code
C · 1 人关注
library
The papers and books I've read or am about to read.
HTML · 0 人关注
100r.co
Official Website
TypeScript · 0 人关注
actor
HTML · 0 人关注
akka-docs-offline
0 人关注
aristotle
about aristotle
0 人关注
awesome-chinese-translation
令人拍案的中文翻译
0 人关注
awesome-ludwig
Awesome Ludwig People.
JavaScript · 0 人关注
basic-ts
Scala · 0 人关注
bebop
Ok, three, two, one, let's jam!
TypeScript · 0 人关注
causality
Vague but exciting!
Assembly · 0 人关注
cicada-baremetal
JavaScript · 0 人关注
cicada-notebook-for-rs
interactive UI of cicada-language
Emacs Lisp · 0 人关注
cicada-nymph-mode
emacs mode for cicada-nymph language
Scala · 0 人关注
cicada-scala
TypeScript · 0 人关注
command-line
Tools for building command-line interface.
0 人关注
comp
TypeScript · 0 人关注
conceptor-website
JavaScript · 0 人关注
confer
TypeScript · 0 人关注
coupler
Simple tools for doing dependency injection through constructors.
HTML · 0 人关注
cppannotations
Svelte · 0 人关注
dialogos
Emacs Lisp · 0 人关注
dot-emacs
my emacs config file
TypeScript · 0 人关注
dustbin
0 人关注
emacszh-tg-configs
emacszh telegram 群组成员的配置文件
TypeScript · 0 人关注
eoc.js
TypeScript · 0 人关注
fidb
What if we use file system as database?
TypeScript · 0 人关注
framework
Our framework for programming language design
Python · 0 人关注
gamepy
game theory
TypeScript · 0 人关注
graphwind
A library for drawing graphs on canvas.
Java · 0 人关注
guest0x0
Neon lights in the night tonight and stars that shine in the open sky
HTML · 0 人关注
hyperspec
hyperspec backup
Idris · 0 人关注
idris-cats
JavaScript · 0 人关注
instar-chat
a simple relay chat app
TypeScript · 0 人关注
instar0
web framework practice
TypeScript · 0 人关注
instar1
express (web framework) practice
Racket · 0 人关注
iu-compiler-course-backup
Emacs Lisp · 0 人关注
jojo-mode
Assembly · 0 人关注
jonesforth
as a backup
HTML · 0 人关注
Kodchasan
NewLisp · 0 人关注
lang-bench
0 人关注
lang0
TypeScript · 0 人关注
lattice-lisp.js
A lisp with structural type system.
0 人关注
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
Python · 0 人关注
loss
machine learning experiments
 |
xieyuhengV2EX 第 304014 号会员，加入于 2018-03-28 11:48:18 +08:00 |
xieyuheng.com
深圳
xieyuheng
| 为什么市面上没有很流行的基于栈的指令集构架（ISA），而全是基于寄存器的？ 程序员 • xieyuheng • 2023-10-20 07:34:16 AM • 最后回复来自 tek | 19 |
| 未来个人计算机的内存大小会随着摩尔定律继续增长吗？会达到 64bits 架构的寻址极限吗？ 程序员 • xieyuheng • 2023-10-20 15:32:49 PM • 最后回复来自 msg7086 | 53 |
| uxn -- 64k 内存的极简栈虚拟机（类 forth） 程序员 • xieyuheng • 2023-10-18 20:35:02 PM |
| 我的嵌入在浏览器里的编辑器帅吗？ 程序员 • xieyuheng • 2023-10-21 10:25:04 AM • 最后回复来自 supersu | 24 |
| 一个嵌入在浏览器中的文本编辑器 JavaScript • xieyuheng • 2023-10-15 01:12:42 AM |
| VueUse 最佳实践 - Anthony Fu Vue.js • xieyuheng • 2023-10-16 17:21:32 PM • 最后回复来自 xieyuheng | 7 |
| 按照 Codd 的 12 条规则，是否大多数所谓关系型数据库其实并不是？ 程序员 • xieyuheng • 2023-10-14 03:12:06 AM • 最后回复来自 yanerweb | 1 |
| 互联网论坛上还有一些聊天群里经常说的 troll（钓鱼）行为究竟是什么意思？ 互联网 • xieyuheng • 2023-10-12 09:56:18 AM • 最后回复来自 nothingistrue | 21 |
| Telegram 上的中文数据库兴趣小组 Telegram • xieyuheng • 2023-10-11 14:08:16 PM • 最后回复来自 xieyuheng | 5 |
xieyuheng 最近回复了
2024-05-13 01:32:20 +08:00 回复了 Livid 创建的主题 › V2EX 站点状态 › 20240505 - 邀请码系统 |
s/树桩图/树状图
2024-05-13 01:30:49 +08:00 回复了 Livid 创建的主题 › V2EX 站点状态 › 20240505 - 邀请码系统 |
2023-10-19 20:23:52 +08:00 回复了 xieyuheng 创建的主题 › 程序员 › 未来个人计算机的内存大小会随着摩尔定律继续增长吗？会达到 64bits 架构的寻址极限吗？ |
@strayerxx 确实，就是因为无知才会提问。
2023-10-19 16:15:14 +08:00 回复了 xieyuheng 创建的主题 › 程序员 › 未来个人计算机的内存大小会随着摩尔定律继续增长吗？会达到 64bits 架构的寻址极限吗？ |
》 如果你要反驳什么，请反驳那个主要的要点，而不是一些旁枝末节。
‘你是本科的嗎？’ 应该算是旁枝末节，我不应该回复。
》 如果你要说的话是为了伤害别人，那么请不要说。如果你要说的话，你有预感在将来你会想要删掉它，那你最好现在就不要说。
‘我是你爸爸’，是对你 ‘你是本科的嗎？’ 的回复， @shyangs 可能伤害到了你，对不起。
‘你是本科的嗎？’ 应该算是旁枝末节，我不应该回复。
》 如果你要说的话是为了伤害别人，那么请不要说。如果你要说的话，你有预感在将来你会想要删掉它，那你最好现在就不要说。
‘我是你爸爸’，是对你 ‘你是本科的嗎？’ 的回复， @shyangs 可能伤害到了你，对不起。
2023-10-19 16:12:41 +08:00 回复了 xieyuheng 创建的主题 › 程序员 › 未来个人计算机的内存大小会随着摩尔定律继续增长吗？会达到 64bits 架构的寻址极限吗？ |
@shyangs 对‘你是本科的嗎？’的回答而已。
2023-10-19 14:42:43 +08:00 回复了 xieyuheng 创建的主题 › 程序员 › 未来个人计算机的内存大小会随着摩尔定律继续增长吗？会达到 64bits 架构的寻址极限吗？ |
@shijingshijing 另外文章中所提到的 wikichip 也不错： https://en.wikichip.org/wiki/WikiChip
2023-10-19 14:41:24 +08:00 回复了 xieyuheng 创建的主题 › 程序员 › 未来个人计算机的内存大小会随着摩尔定律继续增长吗？会达到 64bits 架构的寻址极限吗？ |
@shijingshijing 文章里的这句话很有意思。
> 其次是架构瓶颈，即计算与存储单元分离带来的数据交换存在存储墙和功耗墙问题。
计算与存储单元不分离，应该挺有意思，可能需要新的计算模型和程序语言。
> 其次是架构瓶颈，即计算与存储单元分离带来的数据交换存在存储墙和功耗墙问题。
计算与存储单元不分离，应该挺有意思，可能需要新的计算模型和程序语言。
2023-10-19 14:36:02 +08:00 回复了 xieyuheng 创建的主题 › 程序员 › 未来个人计算机的内存大小会随着摩尔定律继续增长吗？会达到 64bits 架构的寻址极限吗？ |
@shyangs 我是你爸爸。另外，几十年前的人想象 1G ，也是天文数字吧？
2023-10-18 17:19:25 +08:00 回复了 xieyuheng 创建的主题 › 程序员 › 我的嵌入在浏览器里的编辑器帅吗？ |
@supersu 好的，就 substring 的搜索对吗？
Select Language