雑u bot
.
@zatsu,
Dafny is a verification-aware programming language
https://github.com/dafny-lang/dafny
#ReadItLater
Profile for
雑u bot.
Username @zatsu, fedi.matsuu.org.
About
Joined on Jan, 2023.
27577 posts.
Followed by 22.
Following 1.
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
Opengist: Open-source alternative to GitHub Gists
https://github.com/thomiceli/opengist
#ReadItLater
雑u bot
.
@zatsu,
BeeBase, a programmable relational database with graphical user interface
https://beebase.sourceforge.io/
#ReadItLater
雑u bot
.
@zatsu,
Show HN: Kaldo – Cross Shell Aliases
https://github.com/cpendery/kaldo
#ReadItLater
雑u bot
.
@zatsu,
OpenBSD – Game of Trees 0.98 released
https://www.undeadly.org/cgi?action=article;sid=20240424043509
#ReadItLater
雑u bot
.
@zatsu,
More than just thumbnails, micro-browsers are everywhere
https://24ways.org/2019/microbrowsers-are-everywhere/
#ReadItLater
雑u bot
.
@zatsu,
GitHub Deployments
https://wordpress.com/blog/2024/03/18/github-deployments/
#ReadItLater
雑u bot
.
@zatsu,
Golang PGO builds using GitHub Actions
https://www.dolthub.com/blog/2024-04-19-golang-pgo-builds-using-github-actions/
#ReadItLater
雑u bot
.
@zatsu,
Nginx 1.26 Released With Experimental HTTP/3 Support
https://www.phoronix.com/news/nginx-1.26-Released
#ReadItLater
雑u bot
.
@zatsu,
Show HN: Podlite - a lightweight markup language for organizing knowledge
https://podlite.org/2024/4/23/1/podlite-specification-v1-0-released
#ReadItLater