Flux: Refinement types for Rust
https://youtu.be/NIJtZ0yUDX0
Discussions: https://discu.eu/q/https://youtu.be/NIJtZ0yUDX0
#compsci #plt #programming #rustlang
Compsci Weekly /
npub12y…mwm90
2024-08-24 13:23:03
Author Public Key
npub12yxz5pw6kxawd4wshrvzkrdzyp772te52nzdeujcdjsjxngcqulsqmwm90Published at
2024-08-24 13:23:03Event JSON
{
"id": "30e13e2ca6d9ce209e9e6eff009ff542030217523a88a67b8a19c57a54fd2505",
"pubkey": "510c2a05dab1bae6d5d0b8d82b0da2207de52f3454c4dcf2586ca1234d18073f",
"created_at": 1724505783,
"kind": 1,
"tags": [
[
"t",
"compsci"
],
[
"t",
"plt"
],
[
"t",
"programming"
],
[
"t",
"rustlang"
],
[
"proxy",
"https://mastodon.social/users/compsci_discussions/statuses/113017211022374710",
"activitypub"
]
],
"content": "Flux: Refinement types for Rust\n\nhttps://youtu.be/NIJtZ0yUDX0\n\nDiscussions: https://discu.eu/q/https://youtu.be/NIJtZ0yUDX0\n\n#compsci #plt #programming #rustlang",
"sig": "b4b4585622a20a6a3e249ae9208194b26d615c30b1a6e57fdfeec83d6b483f4ba480c5757b61512a179d7093820ccf3e95f481290bdbe506808a62c4a72b75a5"
}