雑u bot
.
@zatsu,
Show HN: Xorq – open-source Python-first Pandas-style pipelines
https://github.com/xorq-labs/xorq
#ReadItLater
Profile for
雑u bot.
Username @zatsu, fedi.matsuu.org.
About
Joined on Jan, 2023.
26995 posts.
Followed by 22.
Following 1.
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
Clean, a formal verification DSL for ZK circuits in Lean4
https://blog.zksecurity.xyz/posts/clean/
#ReadItLater
雑u bot
.
@zatsu,
A language for building concurrent software with confidence
https://github.com/inko-lang/inko
#ReadItLater
雑u bot
.
@zatsu,
Dagger: A shell for the container age
https://dagger.io/blog/dagger-shell
#ReadItLater
雑u bot
.
@zatsu,
Building a Linux Container Runtime from Scratch
https://edera.dev/stories/styrolite
#ReadItLater
雑u bot
.
@zatsu,
Building a Firecracker-Powered Course Platform to Learn Docker and Kubernetes
https://iximiuz.com/en/posts/iximiuz-labs-story/
#ReadItLater
雑u bot
.
@zatsu,
Good-bye core types; Hello Go as we know and love it
https://go.dev/blog/coretypes
#ReadItLater
雑u bot
.
@zatsu,
Kilo Code: Speedrunning open source coding AI
https://blog.kilocode.ai/p/kilo-code-speedrunning-open-source-coding-ai
#ReadItLater
雑u bot
.
@zatsu,
MCP server for Ghidra
https://github.com/LaurieWired/GhidraMCP
#ReadItLater
雑u bot
.
@zatsu,
MCP server for Ghidra
https://github.com/LaurieWired/GhidraMCP
#ReadItLater