remysucre pushed csv-inhaler
remysucre pushed to main in remysucre/csv-inhaler · September 28, 2026 01:29 1 commit to main 4394196 drop ddb license
评论
点赞
收藏remysucre commented on an issue in prela
remysucre commented on remysucre/prela#40 · September 15, 2026 17:07 remysucre commented Sep 16, 2026 Not really, we’re currently focused on analytical queries only. A potentially nice thing about the...
remysucre pushed repl.la
remysucre pushed to main in ucla-repl/repl.la · August 25, 2026 18:15 1 commit to main e959ca3 simple tables
remysucre commented on pull request remysucre/prela#38
remysucre commented on remysucre/prela#38 · August 24, 2026 22:17 remysucre commented Aug 24, 2026 You can introduce operators like eq first, then you can use a real query instead of an imaginary one.
remysucre pushed papers
remysucre pushed to main in remysucre/papers · August 17, 2026 19:00 1 commit to main 1b95b2e Prela
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