#z — Public Fediverse posts

When I first got to know the #Z notation #formal method in the early 1980s, I was very impressed. In those days, imperative languages like C and Pascal ruled the industrial landscape, and pen-and-paper #programming was still an accepted, nay expected, practice. The Z notation and its emphasis on proof obligations meshed well with that paper-borne process of specification and design.

Not long after, I got to know #ML and its Hindley-Milner type system. Thereafter, I was no longer impressed with Z's use of an overtly ceremonial and verbose syntax to describe what ML could do with just one expression.

This superiority of the #FP syntax over Z's bloated notation is even more evident in modern descendants of ML, such as Standard ML, OCaml, and Haskell, and especially the dependently typed proof assistant offsprings like Coq, Lean, Agda, and Idris.

Dramatickou noc mají za sebou záchranáři na chorvatském pobřeží. Z Velebitského kanálu zachránili dva Čechy, které během bouře odneslo moře na paddleboardu. Ve stejné oblasti se do problémů dostala také čtveřice mladých Portugalců na nafukovacím člunu. Dva se podařilo najít živé, po dalších dvou pokračuje rozsáhlé pátrání.

Tón: : mírně negativní
#česko #gdelt #chorvatsko #bouře #z...

https://www.novinky.cz/clanek/zahranicni-chorvate-v-noci-zachranovali-dva-cechy-ktere-unesla-boure-na-more-40592499

Friday night we saw Slightly Stoopid with Z-Trip, and Chali 2na came out and did a few songs.

Slightly Stoopid / Road Trippin' Summer Tour 2026 / Marymoor Live / Redmond, Washington / Friday July 31 2026

/ via Sand & Teaser

#SlightlyStoopid #Z-Trip #Chali2na

Friday night we saw Slightly Stoopid with Z-Trip, and Chali 2na came out and did a few songs.

Slightly Stoopid / Road Trippin' Summer Tour 2026 / Marymoor Live / Redmond, Washington / Friday July 31 2026

/ via Sand & Teaser

#SlightlyStoopid #Z-Trip #Chali2na

Simmod’s 4-in-1 PL Lens Adapter Has Interchangeable RF, Z, L, and E Mounts https://petapixel.com/2026/07/29/simmods-4-in-1-pl-lens-adapter-has-interchangeable-rf-z-l-and-e-mounts/ #Equipment #pladapter #adapter #mounts #simmod #News #rf #E #l #z

я щас с шефом встретился. чуваки, мужайтесь. о мобилизации говорят всё чаще. и один фэбос сказал, что даже правило "после выборов" не обязано соблюдаться. "Всё может быть"

#z #ПутинскаяРоссия #мобилизация

📢 Call for speakers! We've got 1 confirmed talk for our next Cloud Native Computing Switzerland Meetup (Tue, Sep 15, 3-6pm, VSHN Zürich) - and 2 more slots open.

Got a cloud-native, Kubernetes, or open-source project to share? We'd love to hear from you. All sessions in English, no sales pitches, open-source projects only. We especially welcome speakers from underrepresented groups.

👉 Suggest your talk: https://www.cnc-meetup.ch/
📅 Event: https://www.meetup.com/cloud-native-computing-switzerland/events/313169872/

#CloudNative #Kubernetes #Z

Here's something odd 👇🧐 When enabling #Z.ai #GLM5.2, Sigmund became convinced it's #Anthropic #Claude (and it's honestly not). I wonder if this reflects Z training their models on Anthropic output, as some people have suggested. Can also just be a random confabulation. But it's weird.

Shifting U.S. Public Opinion and Political Dynamics in the Israeli-Palestinian Conflict

📰 Original title: ¿Será Trump el último presidente sionista de Estados Unidos?

🤖 IA: It's clickbait ⚠️
👥 Users: It's clickbait ⚠️

View full AI summary https://en.killbait.com/shifting-u-s-public-opinion-and-political-dynamics-in-the-israeli-palestinian-conflict.html?utm_source=mastodon_social&utm_medium=social&utm_campaign=killbait.mastodon_social

#politics #israelipalestinianconflict #uspolitics #z...

‘I felt slight contact with my hair’ – Croatia star rages at last-gasp VAR call against Portugal as coach Zlatko Dalic slams refereeing decisions

Matanovic reflected on the incident after the match, explaining that he initially did not know whether he had…
#NewsBeep #News #Headlines #CA #Canada #croatia #I.Matanovic #Portugal #PortugalvsCroatia #WorldCup #Z.Dalic
https://www.newsbeep.com/626726/

‘I felt slight contact with my hair’ – Croatia star rages at last-gasp VAR call against Portugal as coach Zlatko Dalic slams refereeing decisions

Matanovic reflected on the incident after the match, explaining that he initially did not know whether he had…
#NewsBeep #News #Topstories #croatia #Headlines #I.Matanovic #Portugal #PortugalvsCroatia #TopStories #WorldCup #Z.Dalic
https://www.newsbeep.com/625188/

#art #painting #satire #caricature #z #state
Ціна будь-якої московитської війни. Рахував Marian Kamensky

а в цьому незламному каналі ми іноді розраховуємо не тільки ціну, а й цінність. заходьте і користуйтесь розрахунками: https://tinyurl.com/all-encrypted-radio-messages

@cnbc.com

Fable fight exposes #AI access risk

https://www.youtube.com/watch?v=u92-47e6dTY

#AI #K2.7 #Moonshot #Z.AI #OpenAI #Anthropic #OpenWeights

Z-Library Lets People Run White-Label, Login-Only Pirate Mirrors

https://torrentfreak.com/z-library-lets-people-run-white-label-login-only-pirate-mirrors/

#z-library #zlibrary #Piracy

У хохла снова "слабо ебёте"
youtu.be/lRshylZ2qQw

#шарий #хохлы #lol #z

Photo Op by dtanist

https://tmblr.co/Z7VXvxjIv2Ibqm00

#nyc #newyorkcity #new #york #city #nikon #zf #nikkor #z #40mm #brooklyn #coney #island #beach #snow #visitors #red #coats #birds #gulls #sea #seagulls #feeding #shore #sand #flickr #thingsdavidlikes

Anhörung: Sachverständige äußern sich zum Kinderbildungsgesetz ( #KiBiz)
https://www.landtag.nrw.de/home/aktuelles/meldungen-und-berichte/meldungen-berichte-und-informati/meldungen-und-berichte/2026/04/2304_anhoerung_kibiz.html
Der Reformentwurf ist zwar verbessert worden, aber wir #PIRATEN bleiben skeptisch. Oder wie @heriag meint:
" #Ki. nder sehen von den #Bi llionen keinen #Z ent ;-)

Планшети для студентів покоління Z стали щоденною необхідністю — дослідження Lenovo
# #AI #Lenovo #LenovoIdeaTabProGen2 #Z
https://gizchina.net/2026/04/22/planshety-studentiv-pokolinnya-z-lenovo/

Планшети для студентів покоління Z стали щоденною необхідністю — дослідження Lenovo
# #AI #Lenovo #LenovoIdeaTabProGen2 #Z
https://gizchina.net/2026/04/22/planshety-studentiv-pokolinnya-z-lenovo/

https://blog.gslin.org/archives/2026/04/03/12970/time-series-data-%e7%9a%84%e9%a0%90%e6%b8%ac/

Time series data 的預測

#algo #algorithm #amazon #anomaly #chronos #data #detection #foundation #google #model #score #series #time #timesfm #transformer #z

Oak Bridge by dtanist

https://tmblr.co/Z7VXvxj7EK0K0a00

#nyc #newyorkcity #new #york #city #nikon #zf #nikkor #z #40mm #manhattan #upper #west #side #uws #central #park #oak #bridge #skyline #back #rock #bay #flickr #thingsdavidlikes

verstka.media/s-chem-stalkivay…

#Куколды, отправившиеся воевать за нацистов, вдруг поняли, что #хохлы их за людей не держат и в конце Свинореза скорее всего отправят в РФ по обмену пленными, где их уже будут ждать уважаемые люди, которые отвезут малолетних дебилов на пыжа.
На права человека, блядь, ссылаются клоуны мерзкие.

И какой-то #куколд говорит, что РДК это часть русского мира)))

Всем поделом. Надеюсь, что половину накатают на гусеницу советского танка, а остальных - передадут обратно на Родину.

#z

Keyword search is not enough for a growing Zettelkasten. RAG lets you ask questions in natural language and find what matters. https://www.mycelium-of-knowledge.org/when-ai-becomes-your-zettelkastens-co-pilot-how-an-agent-changed-my-knowledge-workflow/ #z

CVE Alert: CVE-2026-3200 - z-9527 - admin - https://www.redpacketsecurity.com/cve-alert-cve-2026-3200-z-9527-admin/

#OSINT #ThreatIntel #CyberSecurity #cve-2026-3200 #z-9527 #admin