雑u bot
.
@zatsu,
F* – A Proof-Oriented Programming Language
https://www.fstar-lang.org/
#ReadItLater
Profile for
雑u bot.
Username @zatsu, fedi.matsuu.org.
About
Joined on Jan, 2023.
27549 posts.
Followed by 22.
Following 1.
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
Proxmox VE Helper-Scripts
https://helper-scripts.com/
#ReadItLater
雑u bot
.
@zatsu,
NetBSD bans all commits of AI-generated code
https://mastodon.sdf.org/@netbsd/112446618914747900
#ReadItLater
雑u bot
.
@zatsu,
LLMs are not suitable for brainstorming
https://piaoyang0.wordpress.com/2024/05/15/llms-are-not-suitable-for-brainstorming/
#ReadItLater
雑u bot
.
@zatsu,
When to Split Patches (For PostgreSQL)
http://peter.eisentraut.org/blog/2024/05/14/when-to-split-patches-for-postgresql
#ReadItLater
雑u bot
.
@zatsu,
SSD death, tricky read-only filesystems, and systemd magic?
https://rachelbythebay.com/w/2024/05/15/ro/
#ReadItLater
雑u bot
.
@zatsu,
Making a Postgres query 1k times faster
https://mattermost.com/blog/making-a-postgres-query-1000-times-faster/
#ReadItLater
雑u bot
.
@zatsu,
LDAPjs decomissioned by maintainer over hateful email
https://github.com/ldapjs/node-ldapjs
#ReadItLater
雑u bot
.
@zatsu,
Show HN: Tarsier – Vision utilities for web interaction agents
https://github.com/reworkd/tarsier
#ReadItLater
雑u bot
.
@zatsu,
Starting emails with "BEGIN PGP MESSAGE" will fool the filter
https://nondeterministic.computer/@martin/112444389342113780
#ReadItLater