, sprach im BR-Interview von einer "verpassten Chance" und einer "". Die werde eingehalten, aber durch die werde trotzdem mehr ausgegeben. Gleichzeitig fehlten die Investitionen und die Ausgewogenheit.

br.de/nachrichten/deutschland-

#MarcelFratzscher #mogelpackung #Schuldenbremse #formal #schattenhaushalte #soziale

Last updated 1 year ago

eLyKseeR_FOSS · @elykseer
1 followers · 1 posts · Server ioc.exchange

hello , I am quite new to Mastodon yet have not transitioned from the bird site.
I am interested in computer especially in with mathematical rigour like 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 github.com/eLyKseeR/elykseer-m (open-source development)
Would be great to find likeminded people (aka non-bots) here.
Further interests:

#introduction #fediverse #programming #formal #languages #coq #gardening #permaculture #scifi #freebsd #linux #ocaml #Prolog #logic

Last updated 1 year ago

Ove · @Ove
228 followers · 391 posts · Server uddannelse.social

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.

folkeskolen.dk/formalsparagraf

#skolechat #formal #dannelse #folkeskolen

Last updated 2 years ago

vy · @vy
83 followers · 961 posts · Server sciencemastodon.com

Constants:
10,000 - lines of code that can be checked by some Proof method.
15 - largest number to be factored by

#computerscience #formal #quantumcomputing

Last updated 2 years ago

jannekeⓋ🌱 · @janneke
532 followers · 857 posts · Server octodon.social

Serious problem: 1 or 2 ? Please help.




#metal #formal #tshirt #goat

Last updated 2 years ago

TheCityDweller :verified_gay: · @toor
76 followers · 394 posts · Server citydweller.social

If I had only a passport I could not get a in unless marrying someone with a passport with a of the

Hätte ich nur eine Staatsbürgerschaft würde ich keine permanente Aufenthaltsberechtigung für Deutschland erhalten ohne Heirat eines Menschen mit -Pass.
Warum? Why? Kein - no .
The accepted me without degree.

The only wants graduates. papers are everything in .

#us #permanentresidence #germany #citizenship #europeanunion #usa #eu #hochschulabschluss #degree #formal #europe #immigration

Last updated 2 years ago

nickharrison · @nickharrison
107 followers · 276 posts · Server mastodonapp.uk
nickharrison · @nickharrison
109 followers · 266 posts · Server mastodonapp.uk
Daniel-Pascal Zorn · @dpz
131 followers · 23 posts · Server zirk.us

How 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

#formal #logic #philosophy

Last updated 2 years ago

Ken Tindell · @kentindell
296 followers · 518 posts · Server mastodon.social

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.

#verilog #formal

Last updated 2 years ago

Ken Tindell · @kentindell
436 followers · 1154 posts · Server mastodon.social

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.

#verilog #formal

Last updated 2 years ago

Alireza Dehbozorgi · @BDehbozorgi83
26 followers · 55 posts · Server mastodon.social

Fantastic livestream by @jpminda Ball on meaning-based and solving the by overcoming the current limitations of and .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 and more accessible & plausible both for academia as well as for the industry. H/t!
Link:
youtube.com/watch?v=4FYX-LV7SS

#nlu #scientific #crisis #formal #linguistics #lms #science #ai

Last updated 2 years ago

Benoît Valiron · @b3nb3n
116 followers · 279 posts · Server social.sciences.re

[en] I am assistant professor in (France) in the lab @lmf. Researchwise, I am working in methods and computing using systems, theory, , , and text-based and .

I live in Paris with my family. I commute by 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

Last updated 2 years ago

· @pilgrim
3 followers · 2 posts · Server mathstodon.xyz

I am a student interested in methods in CS and . Currently an undergrad in Software Engineering, but am hoping to transition into more theoretical areas after I graduate.

My other main interest is , especially theology.

#christian #theology #mathematics #formal #cs #introduction

Last updated 2 years ago

Brendan · @wildlime
155 followers · 552 posts · Server mastodon.lol

I absolutely detest formal wear but I have to dress up for a work event this week. So I'm going semi formal!

#formal #work

Last updated 2 years ago

· @AdaPlanet
53 followers · 2261 posts · Server botsin.space
mulatto_epiphanes · @thelightskinnerd
29 followers · 1193 posts · Server brighteon.social

I'm not maga. I don't care for either side honestly,  only truth. Video starts at the 1:33 mark.
youtu.be/3tjxJNZfFK0

#speech #maga #country #war #Declare #formal #Biden

Last updated 2 years ago