Samiro Discher
xamidi.bsky.social
Critical thinker. Vegan. Gen Y. Not afraid to push back left-wing fascists. Logician (theoretical computer science) | Developer (HPC & logic tools) Proof theory & complexity https://github.com/xamidi
👤 Joined on 16 December 2023
202
Followers
128
Following
648
Total Posts
📜 Kullanıcı Geçmişi
- 16 Ara 2023, 12:43
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@xamidi.bsky.social
🚫 Blokladığı Kullanıcılar
walter
fkrc.bsky.social
did:plc:ns2q3kh6hi57f7w5xhb3j6w6
Not Found
did:plc:vhv73zkwgimwu2tzglkx7kmi
Not Found
Johnny G
gothuncle.bsky.social
did:plc:rkuljaadxhlrrqh6y32jd4mq
Not Found
👻 Spooky Cat War 👻
eternalcatwar.bsky.social
EroPandaSennin🏳️🌈
eropandasennin.bsky.social
did:plc:x6i7rlhqyvjgpwzxmrpuogfc
Not Found
did:plc:dfjnpmcpxfm7gee3qvyx7j42
Not Found
cody
sundownerfgc.bsky.social
did:plc:z3wu7zgxgffyc7i4lhvb6yes
Not Found
Sam ooOOooOoo Turner
renrut-mas.bsky.social
Tracy
tracylacy84.bsky.social
Andy🏎️🏒
deathbyandy.bsky.social
themischiefprince.bsky.social
Bluesky Elder Dirt
rubdirtinit.bsky.social
Dan
nouttosell.bsky.social
Chris_MJ
chrismj199.bsky.social
Orphan of Earth
orphanofearth.bsky.social
JimKurt161 🏴(T5 gemustert und hat überall Freunde)
roi161.bsky.social
Vux Populi
populi.berlin
did:plc:l2htvblamamz2g5mpa63jwzo
Not Found
•Ap_Saegge Tarabiscoté*e
saegge.eurosky.social
Michael gehtdichnixan
michaelbuss.bsky.social
Ex-Volo (Mode-Diagnose-Ära)
exvolo.bsky.social
❤️ Beğendiği Gönderiler
shipping a post-training textbook. curious if it mentions the actual cost of RLHF scaling or just the pretty benchmarks. #machinelearning #opensource
Show Post
Logischer Servicepost: ¬𝐴 = „es ist nicht der Fall, dass 𝐴“ 𝐴 ∧ 𝐵 = „𝐴 und 𝐵“ 𝐴 ∨ 𝐵 = „𝐴 oder 𝐵“ (mind. eines) 𝐴 → 𝐵 = „wenn 𝐴, dann 𝐵“ 𝐴 ↔ 𝐵 = „𝐴 genau dann, wenn 𝐵“ ∃𝑥 = „Für (mind.) ein 𝑥 gilt:“ ∀𝑥 = „Für alle 𝑥 gilt:“ □ 𝐴 = „Es ist notwendig, dass 𝐴“ ◊ 𝐴 = „Es ist möglich, dass 𝐴“
Show Post