#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
#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
At 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
#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
#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
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
If 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
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
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
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
This 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.
This 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.
Fantastic 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
#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
I 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
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