Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@fanf@mendeddrum.org
2026-06-02 08:42:02

from my link log —
Why writing correct software is hard.
pron.github.io/posts/correctne
saved 2024-05-18

Why Writing Correct Software Is Hard
We try to understand the relationship between programs and correctness, and in particular, why writing correct programs must be hard. We will review results from computability theory and complexity theory, and see that programs and complete understanding – which is required for correctness – are fundamentally at odds.

@Techmeme@techhub.social
2026-06-03 00:16:21

Oxford Quantum Circuits, a UK-based startup building and deploying quantum computers, has raised a $350M Series C led by Bullhound Capital (Daphné Leprince-Ringuet/Sifted)
sifted.eu/articles/oxford-quan

Oxford Quantum Circuits raises blockbuster $350m Series C
UK company has deployed quantum systems to partner data centres across Europe, the US and Asia

@roelgrif@mstdn.social
2026-06-03 15:04:00

De steun van de ChristenUnie aan de asielwetten gaf voor Habtom Yohannes de doorslag om zijn functie als buitengewoon raadslid neer te leggen.
trouw.nl/opinie/opinie-waarom-

Opinie: Waarom ik mijn functie voor de ChristenUnie neerlegde
De steun van de ChristenUnie aan de asielwetten gaf voor Habtom Yohannes de doorslag om zijn functie als buitengewoon raadslid neer te leggen.

@cowboys@darktundra.xyz
2026-05-01 20:29:31

Christian Parker talks Caleb Downs, outlook for Cowboys' defense dallascowboys.com/news/christi

Christian Parker talks Caleb Downs, outlook for Cowboys' defense
Caleb Downs landing in Dallas has Christian Parker over the moon, and his outlook for the Cowboys defensive unit is one that could inspire a swift and noticeable turnaround.

@cowboys@darktundra.xyz
2026-05-01 19:58:33

Christian Parker talks Caleb Downs, outlook for Cowboys' defense dallascowboys.com/news/christi

Christian Parker talks Caleb Downs, outlook for Cowboys' defense
Caleb Downs landing in Dallas has Christian Parker over the moon, and his outlook for the Cowboys defensive unit is one that could inspire a swift and noticeable turnaround.

@cowboys@darktundra.xyz
2026-05-01 23:27:22

Christian Parker Breaks Down Jaishawn Barham's Fit in Cowboys Defense si.com/nfl/cowboys/onsi/christ

Christian Parker Breaks Down Jaishawn Barham's Fit in Cowboys Defense
Jaishawn Barham offers plenty of versatility, which gives Dallas Cowboys defensive coordinator Christian Parker a lot of options.

@cowboys@darktundra.xyz
2026-05-01 22:17:37

Christian Parker Determined to Separate Cowboys' Identity From Vic Fangio, Eagles si.com/nfl/cowboys/onsi/christ

Christian Parker Determined to Separate Cowboys' Identity From Vic Fangio, Eagles
Dallas Cowboys defensive coordinator Christian Parker made it very clear this Cowboys defense will be his own and not just some carbon copy of Vic Fangio and the Philadelphia Eagles' defense.

@cowboys@darktundra.xyz
2026-05-02 12:27:28

Christian Parker Can't Contain Excitement for Caleb Downs at Cowboys Rookie Minicamp si.com/nfl/cowboys/onsi/christ

Christian Parker Can't Contain Excitement for Caleb Downs at Cowboys Rookie Minicamp
Dallas Cowboys defensive coordinator Christian Parker couldn't be more excited for what first-round pick and safety Caleb Downs has shown early on in rookie minicamp.

@cowboys@darktundra.xyz
2026-05-02 00:22:29

Christian Parker's plan for LT Overton Sets Cowboys Rookie Up for Success si.com/nfl/cowboys/onsi/christ

Christian Parker’s Plan for LT Overton Sets Cowboys Rookie up for Success
Dallas Cowboys defensive coordinator Christian Parker knows what he wants to do with fourth-round pick LT Overton and we couldn't love the plan more for the rookie defender.

@cowboys@darktundra.xyz
2026-05-02 11:21:15

Cowboys’ Christian Parker Sounds off on New Defense heavy.com/sports/nfl/dallas-co

Cowboys’ Christian Parker Sounds off on New Defense
The Dallas Cowboys are rebuilding a battered defensive unit, but new DC Christian Parker wants to be clear--it's not the Eagles defense.