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