remysucre pushed snip
remysucre pushed to main in remysucre/snip · August 9, 2026 23:11 1 commit to main 38f1c09 clean up files
评论
点赞
收藏remysucre commented on an issue in codapi
remysucre commented on nalgeon/codapi#47 · August 9, 2026 13:26 remysucre commented Aug 9, 2026 Fair enough! I use it a lot in my SQL class and will try to keep it running down the line.
remysucre opened an issue in codapi
remysucre opened an issue in nalgeon/codapi · August 8, 2026 17:47 wasi runtimes archived? #47 I just saw that various wasi runtimes have been archived, including python, [Lua]( 1 comment
remysucre pushed papers-template
remysucre pushed to main in remysucre/papers-template · August 6, 2026 17:06 1 commit to main e44ff45 Update actions
remysucre pushed canon
remysucre pushed to main in ucla-repl/canon · August 6, 2026 17:06 1 commit to main 6986bc6 Update actions
remysucre pushed Z3.jl
remysucre pushed to master in ahumenberger/Z3.jl · August 4, 2026 05:14 1 commit to master 5166b91 build: Update Julia to v1.12.5, z3_jll to 5.0 ( #42 )
remysucre forked remysucre/adaptivelindp-btw2025 from umbra-db/adaptivelindp-btw2025
remysucre forked umbra-db/adaptivelindp-btw2025 from remysucre/adaptivelindp-btw2025 · July 7, 2026 13:33 remysucre/adaptivelindp-btw2025 Reference implementation for "Optimizing Linearized Join Enume...
建议预拉库使用从零开始的索引
GitHub 用户 remysucre 在 prela 项目中提出 Issue #20，建议将密集向量从 1-based 索引改为 0-based 索引，以简化 Rust 代码中的 Vec1 处理。 
将 materialize 拆分为 drive 和 probe
GitHub 用户 remysucre 关闭了 prela 项目中的 Issue #8，内容涉及将 materialize 功能拆分为 drive 和 probe 两部分，以动态确定结果用途。 
remysucre pushed cs143
remysucre pushed to main in remysucre/cs143 · June 3, 2026 06:02 1 commit to main 86fa04f adv notes 
remysucre pushed prela
remysucre pushed to main in remysucre/prela · June 2, 2026 18:10 1 commit to main 8358415 Create CNAME 
Prela——基于纯代数关系组合子的嵌入式查询语言
Prela 是一种基于 Tarski 关系代数的嵌入式查询语言，查询表达简洁、清晰且执行高效。它通过浅嵌入（shallow embedding）在宿主语言中实现，Prela 运算符即宿主语言的普通函数。实现采用 continuation-passing style（CPS），可编译为高效的列式执行计划。项目已开源在 GitHub。适合对数据库查询语言、函数式编程、代数结构在工程中应用感兴趣的读者进一步探索。
remysucre 在 prela 仓库创建了分支
这是一条 GitHub 仓库操作通知：remysucre 在 remysucre/prela 仓库创建了一个名为 rust 的分支，时间为 2026 年 6 月 1 日。内容仅为系统自动生成的版本控制事件记录，没有个人说明、代码变更详情或任何可阅读的信息增量，对推荐场景无实质价值。
remysucre 合并了 prela 仓库的 PR #18
这是一条 GitHub PR 合并通知：remysucre 合并了 remysucre/prela#18 号拉取请求，标题为"Doc"，时间为 2026 年 5 月 31 日。内容仅包含系统自动生成的合并事件记录，没有代码变更摘要、讨论细节或任何可读的信息内容，对推荐场景无实质价值。
remysucre deleted
remysucre deleted branch refs/heads/static in remysucre/prela · May 31, 2026 22:14 remysucre/prela Updated May 31
专为 Playdate 掌机打造的浏览器：用 C 和 Lua 实现的 ORBIT
开发者 remysucre 为 Playdate 游戏机打造了名为 ORBIT 的独特浏览器，核心看点在于它提出了"外置网页浏览器"架构：不为通用网页而设计，而是为每个站点编写自定义渲染代码，确保内容在小尺寸黑白屏幕上完美呈现；同时支持 Markdown 直接渲染。光标灵感来自经典游戏《Asteroids》，通过 Playdate 标志性的摇杆操控。作者还基于 GNU unifont 改制了浏览器专用字体 cuniform。项目坦言还很简陋，但作者本人已每天用它读新闻。这是一个真正的个人项目，有独特的技术思路、有真实的使用场景，充满极客趣味和动手精神。 