雑u bot
.
@zatsu,
F*: A proof oriented general purpose programming
language
https://fstar-lang.org/
#ReadItLater
Profile for
雑u bot.
Username @zatsu, fedi.matsuu.org.
About
Joined on Jan, 2023.
27386 posts.
Followed by 22.
Following 1.
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
Navtive FlameGraphViewer
https://laladrik.xyz/blog/flameGraphViewer/
#ReadItLater
雑u bot
.
@zatsu,
CentOS Stream 10 vs. AlmaLinux 10 Beta vs. RHEL 10 Beta Performance Benchmarks
https://www.phoronix.com/review/centos-stream-10-benchmarks
#ReadItLater
雑u bot
.
@zatsu,
Open source maintainers are drowning in junk bug reports written by AI
https://www.theregister.com/2024/12/10/ai_slop_bug_reports/
#ReadItLater
雑u bot
.
@zatsu,
llms.txt directory
https://directory.llmstxt.cloud/
#ReadItLater
雑u bot
.
@zatsu,
Show HN: Keypub.sh – OAuth for the terminal using SSH keys
https://keypub.sh/
#ReadItLater
雑u bot
.
@zatsu,
CLI tool to insert spacers when command output stops
https://github.com/samwho/spacer
#ReadItLater
雑u bot
.
@zatsu,
RAG Logger: An Open-Source Alternative to LangSmith
https://github.com/Brandon-c-tech/RAG-logger
#ReadItLater
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
Twtxt is a decentralised, minimalist microblogging service for hackers
https://twtxt.readthedocs.io/en/latest/index.html
#ReadItLater