-
Jan 10, 2025 | 
jyllands-posten.dk | Jakob Nielsen
10/01/2025 KL. 07:00 En ekstrem ulighed i adgang til bolig og uddannelse udfordrer den demokratiske samtale, og vi er holdt op med at tale med hinanden på tværs af samfundsklasser. Nogle gange har jeg det, som om tiden går baglæns. At menneskeheden på trods af modernisering, digitalisering og globalisering de facto går tre skridt tilbage i stedet for ét skridt frem.
-
Nov 5, 2024 | 
abcnyheter.no | Jakob Nielsen
(Denne analysen ble først publisert på Altinget, som ABC Nyheter har et samarbeid med). Situasjonen før det amerikanske valget er merkelig:Vi har en veldig klar idé om hva Donald J. Trump vil gjøre hvis han taper valget. Han vil anklage Demokratene for juks, prøve å stoppe den videre prosessen og erklære seg selv som vinner. Men hva om han vinner? Vil han faktisk prøve å få sine politiske motstandere innesperret?
-
Aug 26, 2024 | 
zenodo.org | Matthieu Sozeau |Théo Winterhalter |Simon Boulier |Yannick Forster |Jason Gross |Abhishek Anand | +18 more
Release 1.3.2 of the MetaCoq project for Coq 8.20 is available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations, and the release notes for 1.3.1 for a summary of the changes w.r.t. previous versions.
-
Aug 26, 2024 | zenodo.org | Matthieu Sozeau |Théo Winterhalter |Simon Boulier |Yannick Forster |Jason Gross |Abhishek Anand | +18 more
Release 1.3.2 of the MetaCoq project for Coq 8.20 is available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations, and the release notes for 1.3.1 for a summary of the changes w.r.t. previous versions.
-
Jul 22, 2024 | 
zenodo.org | Matthieu Sozeau |Théo Winterhalter |Simon Boulier |Yannick Forster |Jason Gross |Abhishek Anand | +20 more
Release 1.3.2 of the MetaCoq project for Coq 8.19 is available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations, and the release notes for 1.3.1 for a summary of the changes w.r.t. previous versions.
-
Jul 22, 2024 | zenodo.org | Matthieu Sozeau |Théo Winterhalter |Simon Boulier |Yannick Forster |Jason Gross |Abhishek Anand | +20 more
Release 1.3.2 of the MetaCoq project for Coq 8.19 is available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations, and the release notes for 1.3.1 for a summary of the changes w.r.t. previous versions.
-
Jul 17, 2024 | 
abcnyheter.no | Jakob Nielsen
Artikkelen fortsetter under annonsenVold er ikke noe nytt i det amerikanske demokratiet. Men det er nytt at et av de to store partiene ikke lenger forsøker å forsvare den siviliserte politiske kampen. Nå avhenger mye av hvordan Donald Trump vil bruke attentatforsøket. Send oss gjerne forslag til kronikker vi kan publisere. Formen bør være kronikk/kommentar/blogginnlegg med maks 1000 ord.
-
Apr 14, 2024 | 
jyllands-posten.dk | Jakob Nielsen
14/04/2024 KL. 10:00 For abonnenter Det maskuline og mandens rolle er midt i en brydningstid. Det maskuline diskuteres, forhandles og rekonstrueres, og det samme gælder for kategorierne ”køn” og ”seksualitet”. At definere det maskuline er ikke en opgave, der kan løses i et snuptag i form af en DR-produceret podcast med en sognepræst, en redaktør for Weekendavisen og en magister i litteraturvidenskab som ordstyrer.
-
Mar 18, 2024 | 
zenodo.org | Théo Winterhalter |Yannick Forster |Jason Gross |Abhishek Anand |Jakob Nielsen |Enrico Tassi | +20 more
We are happy to announce release 1.3.1 of the MetaCoq project for Coq 8.17, available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations.
-
Mar 18, 2024 | zenodo.org | Théo Winterhalter |Yannick Forster |Jason Gross |Abhishek Anand |Jakob Nielsen |Enrico Tassi | +20 more
We are happy to announce release 1.3.1 of the MetaCoq project for Coq 8.17, available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations.
