#kani — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #kani, aggregated by home.social.
-
Hei #koiraihmiset #kissaihmiset #heppaihmiset #jyrsijäihmiset - niin, #lemmikkiihmiset.
Kivuttomalla on alkanut välipäiväale. Tilasin just Laikalle painepaidan ja viilennysliivin, hinta postituksineen 21 ja risat. Älyttömän halpaa.
https://www.kivuton.fi/pages/valipaivaale
#Koira #koirat #kissa #kissat #hevonen #hevoset #heppä #hepat #kani #kanit #jyrsijä #jyrsijät #lemmikki #lemmikit #eläin #eläimet #välipäiväale
-
Hei #koiraihmiset #kissaihmiset #heppaihmiset #jyrsijäihmiset - niin, #lemmikkiihmiset.
Kivuttomalla on alkanut välipäiväale. Tilasin just Laikalle painepaidan ja viilennysliivin, hinta postituksineen 21 ja risat. Älyttömän halpaa.
https://www.kivuton.fi/pages/valipaivaale
#Koira #koirat #kissa #kissat #hevonen #hevoset #heppä #hepat #kani #kanit #jyrsijä #jyrsijät #lemmikki #lemmikit #eläin #eläimet #välipäiväale
-
Hei #koiraihmiset #kissaihmiset #heppaihmiset #jyrsijäihmiset - niin, #lemmikkiihmiset.
Kivuttomalla on alkanut välipäiväale. Tilasin just Laikalle painepaidan ja viilennysliivin, hinta postituksineen 21 ja risat. Älyttömän halpaa.
https://www.kivuton.fi/pages/valipaivaale
#Koira #koirat #kissa #kissat #hevonen #hevoset #heppä #hepat #kani #kanit #jyrsijä #jyrsijät #lemmikki #lemmikit #eläin #eläimet #välipäiväale
-
Hei #koiraihmiset #kissaihmiset #heppaihmiset #jyrsijäihmiset - niin, #lemmikkiihmiset.
Kivuttomalla on alkanut välipäiväale. Tilasin just Laikalle painepaidan ja viilennysliivin, hinta postituksineen 21 ja risat. Älyttömän halpaa.
https://www.kivuton.fi/pages/valipaivaale
#Koira #koirat #kissa #kissat #hevonen #hevoset #heppä #hepat #kani #kanit #jyrsijä #jyrsijät #lemmikki #lemmikit #eläin #eläimet #välipäiväale
-
Hei #koiraihmiset #kissaihmiset #heppaihmiset #jyrsijäihmiset - niin, #lemmikkiihmiset.
Kivuttomalla on alkanut välipäiväale. Tilasin just Laikalle painepaidan ja viilennysliivin, hinta postituksineen 21 ja risat. Älyttömän halpaa.
https://www.kivuton.fi/pages/valipaivaale
#Koira #koirat #kissa #kissat #hevonen #hevoset #heppä #hepat #kani #kanit #jyrsijä #jyrsijät #lemmikki #lemmikit #eläin #eläimet #välipäiväale
-
Verifying the #Rust Standard Library - Carolyn Zech, Amazon Web Services
https://invidious.nerdvpn.de/watch?v=8_lzVNs1uPk
(or YT: https://www.youtube.com/watch?v=8_lzVNs1uPk)Carolyn is also a maintainer of #Kani, the Rust model checker.
She has been so supportive and kind during my struggles with HashMaps and Kani 🥺https://github.com/model-checking/kani/issues/3965
Give her a follow:
https://github.com/carolynzech#FormalVerification #FormalMethods #RustLang #Testing #SoftwareEngineering
-
Totally agree! Unit tests and usage of #LLMs in that area are a bad combo (both for implementation and tests).
However, I'd like to give you some "food for thought":
What if the LLM was generating code against a (human written) #proof?See this blog post, where they've written a proof with #Kani, a model checker in #Rust and let the #LLM generate the implementation until the proof passes:
-
F* (fstar) Interactive Tutorial:
https://fstar-lang.org/tutorial/
I'm only like 10% into the tutorial, but this language is CRAZY (fun)! :awesome: 😄
I try to learn the fundamentals of it, so I can use the backend of it in #Aeneas... so I can ultimately formally verify my #Rust crate (former attempts with #Creusot and #Kani failed for me).
Aeneas:
https://github.com/AeneasVerif/aeneasSee part two of toot for a toy example of proving function equivalence
1/2
-
ゲーム・VTuber・メタバースの新着情報ダイジェスト 2025.4.15
・誕生日：#律可 #季咲あんこ
・#石狩あかり 6周年 / #holoID「#AREA15」5周年
・#NeoPorte EASTERグッズ&ボイス
・チャンネル登録者数：#Kenji 100万人 / #空想料理店蟹 30万人Games, VTuber, and Metaverse New Informations Digest April 15, 2025
* Birthday: #Rikka #KisakiAnko
* #IshikariAkari 6th / #holoID "#AREA15" 5th Anniversary
* #NeoPorte EASTER Merchs & Voices
* YouTube Channel Subscribers: #Kenji 1M / #Kani 300K -
Kotia kävellessä syrämessä läikähti ja naamaan levisi leveä hymy, kun keski-ikäinen pariskunta ulkoillutti kahta kania Fredrika Runeberginpuistossa. Olivat aika isoja pupusia; toinen tummanharmaa, toinen valkea mustin merkein. Niin suloisia! (Mulla oli kaneja varhaisteinistä nuoreen aikuisuuteen).
Perään tuli helpotuksen huokaus - onneksi olin itekseni liikenteessä, #riistaviettinen #Laika olisi voinut tehdä tuosta kohtaamisesta kaikkea muuta kuin suloisan!
-
Kotia kävellessä syrämessä läikähti ja naamaan levisi leveä hymy, kun keski-ikäinen pariskunta ulkoillutti kahta kania Fredrika Runeberginpuistossa. Olivat aika isoja pupusia; toinen tummanharmaa, toinen valkea mustin merkein. Niin suloisia! (Mulla oli kaneja varhaisteinistä nuoreen aikuisuuteen).
Perään tuli helpotuksen huokaus - onneksi olin itekseni liikenteessä, #riistaviettinen #Laika olisi voinut tehdä tuosta kohtaamisesta kaikkea muuta kuin suloisan!
-
Kotia kävellessä syrämessä läikähti ja naamaan levisi leveä hymy, kun keski-ikäinen pariskunta ulkoillutti kahta kania Fredrika Runeberginpuistossa. Olivat aika isoja pupusia; toinen tummanharmaa, toinen valkea mustin merkein. Niin suloisia! (Mulla oli kaneja varhaisteinistä nuoreen aikuisuuteen).
Perään tuli helpotuksen huokaus - onneksi olin itekseni liikenteessä, #riistaviettinen #Laika olisi voinut tehdä tuosta kohtaamisesta kaikkea muuta kuin suloisan!
-
Kotia kävellessä syrämessä läikähti ja naamaan levisi leveä hymy, kun keski-ikäinen pariskunta ulkoillutti kahta kania Fredrika Runeberginpuistossa. Olivat aika isoja pupusia; toinen tummanharmaa, toinen valkea mustin merkein. Niin suloisia! (Mulla oli kaneja varhaisteinistä nuoreen aikuisuuteen).
Perään tuli helpotuksen huokaus - onneksi olin itekseni liikenteessä, #riistaviettinen #Laika olisi voinut tehdä tuosta kohtaamisesta kaikkea muuta kuin suloisan!
-
Kotia kävellessä syrämessä läikähti ja naamaan levisi leveä hymy, kun keski-ikäinen pariskunta ulkoillutti kahta kania Fredrika Runeberginpuistossa. Olivat aika isoja pupusia; toinen tummanharmaa, toinen valkea mustin merkein. Niin suloisia! (Mulla oli kaneja varhaisteinistä nuoreen aikuisuuteen).
Perään tuli helpotuksen huokaus - onneksi olin itekseni liikenteessä, #riistaviettinen #Laika olisi voinut tehdä tuosta kohtaamisesta kaikkea muuta kuin suloisan!
-
Karnal (1983) Available November 26
#horror – #horrormovies – #Karnal – #Kani – A fork in the road brings Narcing (Phillip Salvador) back to his hometown of Mulawin, rumored to be located not so far from Hell. Freshly married, he arrives from Manila in the hopes of introducing his wife Puring (Cecille Castillo) to his relatives. Gusting (Vic Silayan), the […] …
https://horrornerdonline.com/2024/11/karnal-1983-available-november-26/
-
カニが脱皮した直後の姿って見たことある？水族館が投稿した「激レアピンクガニさん」の動画が話題
https://www.huffingtonpost.jp/entry/story_jp_664300fae4b09724138d5d1b#huffingtonpost #NEWS #水族館 #カニ #オオカイカムリ #脱皮 #suizokukan #kani #ookaikamuri #dappi
-
カニが脱皮した直後の姿って見たことある？水族館が投稿した「激レアピンクガニさん」の動画が話題
https://www.huffingtonpost.jp/entry/story_jp_664300fae4b09724138d5d1b#huffingtonpost #NEWS #水族館 #カニ #オオカイカムリ #脱皮 #suizokukan #kani #ookaikamuri #dappi
-
カニが脱皮した直後の姿って見たことある？水族館が投稿した「激レアピンクガニさん」の動画が話題
https://www.huffingtonpost.jp/entry/story_jp_664300fae4b09724138d5d1b#huffingtonpost #NEWS #水族館 #カニ #オオカイカムリ #脱皮 #suizokukan #kani #ookaikamuri #dappi
-
Next in our #EverythingOpen Speaker Spotlight we have Tobin Harding who will take us through advanced #testing in @rustlang using tools like #Mutagen and #Kani
-
-
-
-
-
-
-
:ablobcatcoffee:
-
:beanblobcat: :blobcatangry:
-
:blobcatblep: :beanblobcat:
-
:blobcatcomfcool: :beanblobcat:
