φօӀìէìҟచąէçհ🇩🇪🇪🇺 · @PolitikWatch
71 followers · 1978 posts · Server social.cologne#MarcelFratzscher, sprach im BR-Interview von einer "verpassten Chance" und einer "#Mogelpackung". Die #Schuldenbremse werde #formal eingehalten, aber durch die #Schattenhaushalte werde trotzdem mehr ausgegeben. Gleichzeitig fehlten die Investitionen und die #soziale Ausgewogenheit.
#MarcelFratzscher #mogelpackung #Schuldenbremse #formal #schattenhaushalte #soziale
eLyKseeR_FOSS · @elykseer
1 followers · 1 posts · Server ioc.exchange
#introduction hello #fediverse, I am quite new to Mastodon yet have not transitioned from the bird site.
I am interested in computer #programming especially in #formal #languages with mathematical rigour like #Coq etc. Currently, I have something on my mind about a cryptographic data archive that should allow me to keep data of all sorts safe and alive for decades. The elephant 🐘 in the icon should highlight their good memory. You can find out more at https://github.com/eLyKseeR/elykseer-ml (open-source development)
Would be great to find likeminded people (aka non-bots) here.
Further interests: #gardening #permaculture #scifi #freebsd #linux #ocaml #prolog #logic
#introduction #fediverse #programming #formal #languages #coq #gardening #permaculture #scifi #freebsd #linux #ocaml #Prolog #logic
Ove · @Ove
228 followers · 391 posts · Server uddannelse.socialAt anvende fagenes formål som udgangspunkt for undervisningen i stedet for at undervise i faget. Dette vil betyde et fokus på elevernes egen livsverden. Anmeldelse af en ny - og i følge anmelderen - vred bog.
https://www.folkeskolen.dk/formalsparagraffen-laereruddannelsen-malstyring/visioner-og-vrede/4701294
#skolechat #formal #dannelse #folkeskolen
vy · @vy
83 followers · 961 posts · Server sciencemastodon.com#ComputerScience Constants:
10,000 - lines of code that can be checked by some #Formal Proof method.
15 - largest number to be factored by #QuantumComputing
#computerscience #formal #quantumcomputing
Darius Cordell Fashion · @darius_cordell_fashion
0 followers · 16 posts · Server mastodon.social#navy #blue #dariuscordell #fashion #dress #formal #ballgown #shopmycloset #shop #shopping #blackowned #blackownedbusiness #blacktwitter #classy #elegant #beautiful #gala #fashionstyle #dallastx #fashiondesigner #womensclothing #womensfashion #stylist
#navy #blue #dariuscordell #fashion #dress #formal #ballgown #shopmycloset #shop #shopping #blackowned #blackownedbusiness #blacktwitter #classy #elegant #beautiful #gala #fashionstyle #dallastx #fashiondesigner #womensclothing #womensfashion #stylist
Darius Cordell Fashion · @darius_cordell_fashion
0 followers · 3 posts · Server mastodon.social
Have your dream wedding gown recreated in a price range that works for you at https://www.dariuscordell.com
#wedding #weddinggown #weddingdress #weddings #fashion #style #bride #dress #dresses #shopping #shopmycloset #weddinggowns #weddingdresses #dresses #dallas #houston #dallastexas #usa #smallbusiness #shoplocal #designer #fashionblogger #fashionstyle #bridetobe #model #womensfashion #formal #white #familyowned #bridal #dariuscordell #fashiondesigners #oklahoma #shop #forsale #gowns #hautecouture
#wedding #weddinggown #weddingdress #weddings #fashion #style #bride #dress #dresses #shopping #shopmycloset #weddinggowns #weddingdresses #dallas #houston #dallastexas #usa #smallbusiness #shoplocal #designer #fashionblogger #fashionstyle #bridetobe #model #womensfashion #formal #white #familyowned #bridal #dariuscordell #fashiondesigners #oklahoma #shop #forsale #gowns #hautecouture
jannekeⓋ🌱 · @janneke
532 followers · 857 posts · Server octodon.social
Guttural Squirrel (He/him/his) · @gutturalsquirrel
8 followers · 66 posts · Server metalhead.club
TheCityDweller :verified_gay: · @toor
76 followers · 394 posts · Server citydweller.socialIf I had only a #US passport I could not get a #permanentresidence in #Germany unless marrying someone with a passport with a #citizenship of the #EuropeanUnion
Hätte ich nur eine #USA Staatsbürgerschaft würde ich keine permanente Aufenthaltsberechtigung für Deutschland erhalten ohne Heirat eines Menschen mit #EU-Pass.
Warum? Why? Kein #Hochschulabschluss - no #degree.
The #US accepted me without degree.
The #EU only wants graduates. #Formal papers are everything in #Europe. #Immigration
#us #permanentresidence #germany #citizenship #europeanunion #usa #eu #hochschulabschluss #degree #formal #europe #immigration
nickharrison · @nickharrison
107 followers · 276 posts · Server mastodonapp.uk
Tower Hill
#london
🌳
#topiary #hedge #box
#toweroflondon #nature #tree
#londonphotography #londonphotographer #landscape #landscapearchitecture #landscapearchitect #formal #formallandscape #city #londonlife #tower #towerhill #Plant #Garden #Green
#simple #design #landscapephotography #landscapephotographer #towerplace
#london #topiary #hedge #box #TowerOfLondon #nature #tree #londonphotography #londonphotographer #landscape #landscapearchitecture #landscapearchitect #formal #formallandscape #city #londonlife #tower #towerhill #plant #garden #green #simple #design #landscapephotography #landscapephotographer #towerplace #nikon #z6ii #nikkor
nickharrison · @nickharrison
109 followers · 266 posts · Server mastodonapp.uk
Tower Hill
#london
🌳
#topiary #hedge #box
#toweroflondon #nature #tree
#londonphotography #londonphotographer #landscape #landscapearchitecture #landscapearchitect #formal #formallandscape #city #londonlife #tower #towerhill #Plant #Garden #Green
#london #topiary #hedge #box #TowerOfLondon #nature #tree #londonphotography #londonphotographer #landscape #landscapearchitecture #landscapearchitect #formal #formallandscape #city #londonlife #tower #towerhill #plant #garden #green
Daniel-Pascal Zorn · @dpz
131 followers · 23 posts · Server zirk.us
How #formal #logic came to believe that it‘s the most fundamental perspective –
From Akihiro Kanamori: The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings, Berlin et al. 1994, 481
#philosophy #logic
Ken Tindell · @kentindell
296 followers · 518 posts · Server mastodon.socialThis particular one has one assertion that requires 3 minutes of compute time to prove, so I'll re-enable it at the end for final integration 'testing'. A 2 second run-time is important for the edit/prove cycle when coding Verilog modules.
Ken Tindell · @kentindell
436 followers · 1154 posts · Server mastodon.socialThis particular one has one assertion that requires 3 minutes of compute time to prove, so I'll re-enable it at the end for final integration 'testing'. A 2 second run-time is important for the edit/prove cycle when coding Verilog modules.
Alireza Dehbozorgi · @BDehbozorgi83
26 followers · 55 posts · Server mastodon.socialFantastic livestream by @jpminda Ball on meaning-based #NLU and solving the #scientific #crisis by overcoming the current limitations of #formal #linguistics and #lms .Special tribute also to Beth Carey for her professional hosting of the event. Apparently, Pat Inc is on the verge of a generating a novel scientific and revolutionary paradigm by turning #science and #ai more accessible & plausible both for academia as well as for the industry. H/t!
Link:
https://www.youtube.com/watch?v=4FYX-LV7SS0
#nlu #scientific #crisis #formal #linguistics #lms #science #ai
Benoît Valiron · @b3nb3n
116 followers · 279 posts · Server social.sciences.re#introduction [en] I am assistant professor in #Saclay (France) in the lab @lmf. Researchwise, I am working in #formal methods and #quantum computing using #type systems, #category theory, #rewriting, #realizability, and text-based and #graphical #languages.
I live in Paris with my family. I commute by #bike when my knees let me do it.
I toot in French and in English.
#introduction #Saclay #formal #quantum #type #category #rewriting #realizability #graphical #languages #bike
· @pilgrim
3 followers · 2 posts · Server mathstodon.xyzI am a #CS student interested in #formal methods in CS and #mathematics. Currently an undergrad in Software Engineering, but am hoping to transition into more theoretical areas after I graduate.
My other main interest is #theology, especially #Christian theology.
#christian #theology #mathematics #formal #cs #introduction
Brendan · @wildlime
155 followers · 552 posts · Server mastodon.lol
· @AdaPlanet
53 followers · 2261 posts · Server botsin.space
Range check and Length check in Ada (SPARK Mode) https://stackoverflow.com/questions/74268716/range-check-and-length-check-in-ada-spark-mode #ada #programming #formal-verification #ada
