Header Image

Arimura Sena

  • 👋 Hi there, this is my personal website and blog
  • 🔧 It's frontend built with Angular and Lit, backend built with Rocket and SeaORM
  • 🧩 The best like character is Himeno Sena (姬野星奏) and Arimura Romi (有村ロミ)
  • 🌱 I'm currently learning Idris2 and Type Theory

近期博文

查看更多

Scala3 观察日志1:类、类型类、对象、隐式实例、函数式

似乎既支持完整的 OOP 与完整的 FP 是件很酷的事,但实际上...会被混乱不堪的写法吓晕 读前须知 本文适合至少对函数式编程或 Has

2026-01-222 次阅读
在不爱人的世界里痛苦与幸福的向生狂欢ーーcarnival

在不爱人的世界里痛苦与幸福的向生狂欢ーーcarnival

姑且缓解了我的gal阳痿,上一次推完一部新作应该是去年四月份的如月金星了... “世界这东西可能残酷且令人恐惧,却又是那样地美丽。” 在这个

2026-01-131 次阅读
序幕:雨

序幕:雨

穿过天空的厚重层云,雨点径直坠落,砸在地面,炸开无数的粉碎。继而又在地面形成积水,映出倒立的世界与晃动的人影。新的雨滴坠入水面,扩散出一圈圈

2025-11-1517 次阅读
传达的勇气和可悲的现实主义者——重玩「想要传达给你的爱恋」有感

传达的勇气和可悲的现实主义者——重玩「想要传达给你的爱恋」有感

到底是谁说的,觉得一部作品意难平的话,再玩一遍就不会意难平了? 本文最初写于 2025 年 6 月 13 日 确保你适合读这篇文字 新岛夕有

2025-06-1513 次阅读

近期动态

查看更多
拉黑煞笔 `vditor`,说好的源码模式结果还特么教我做事,一堆破智能行为害得我编辑个 MarkDown 费劲死了,写不来项目就别jb写挂羊头卖狗肉,下周开始将 RomiBlog 的 MD 编辑器支持迁移为听话的 Editor.md,望周知。...
2026-01-22 14:12
终究是如梦一场了 又集齐了一块新岛夕拼图,不过新岛夕这回是真不按套路出牌啊,居然学起隔壁口三才了(想想罚抄和星之终途结局共同点) 梦境轮回到挺有 LB 即视感的,而当所有伏笔回收的一瞬间确实太震撼了,一切都说得通但就是没想到结局最后没的是男主,尽管这种震撼并未持续多久就发现故事已然结束,实在是太快了...
2025-02-04 07:47

近期视频

去B站关注
安慕希国际版Addon实现文件本地读写
05:52

安慕希国际版Addon实现文件本地读写

69 1
【AI星奏】宮さん宮さん 亲王亲王御马前 | 恋彼女
01:58

【AI星奏】宮さん宮さん 亲王亲王御马前 | 恋彼女

155 1
【AI七濑步】你从未离去—致不再有你的夏天 | 夏夢渚
03:46

【AI七濑步】你从未离去—致不再有你的夏天 | 夏夢渚

79 0
使用Idris2语言实现的命令行待办事项小工具
03:00

使用Idris2语言实现的命令行待办事项小工具

280 3

最近在听

近期项目

查看更多
romi-blog
Rust

A blog system built with Angular and Rust.

angularblogblog-systemfull-stackmysqlrocketrocket-rsrustseaormtypescriptunocssviteweb
2
0
Other
更新于 2026-01-22
mcwss
TypeScript

A simple Minecraft Bedrock Edition websocket server framework, help developer to setup websocket server faster for Minecraft or your self package depend on it

javascriptjsminecraft-bedrockminecraft-bedrock-editionminecraft-bedrock-pluginminecraft-modminecraft-pluginminecraft-servernodenodejswebsocketwebsocket-serverws
7
0
GNU General Public License v3.0
更新于 2026-01-21
hulitool
Vue

The Vue+TypeScript+Vite+Pinia project is mainly for practicing Vue framework development

axioscodemirrorjavascriptjsmduipiniatooltoolststypescriptvitevuevue-routervue3webwebsite
5
0
MIT License
更新于 2026-01-21
GardenMansion
PureScript
0
0
更新于 2026-01-18