Search for "andi" returned 7903 results

The Object-Oriented/Functional-Programming symmetry: theory and practice
42 min

The Object-Oriented/Functional-Programming symmetry: theory and practice

Getting software right with properties, generated tests, and proofs
62 min

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

Framing digital industry into planetary limits and transition policies
41 min

Framing digital industry into planetary limits and transition policies

The environmental costs of digital industry and pathways to…

Harry Potter and the Not-So-Smart Proxy War
35 min

Harry Potter and the Not-So-Smart Proxy War

Taking a look at a covert CIA virtual fencing solution

Software tools for wikis beyond MediaWiki and its extensions
30 min

Software tools for wikis beyond MediaWiki and its extensions

Observations on societal and technological changes in the DPRK
53 min

Observations on societal and technological changes in the DPRK

Distributing Freedesktop SDK applications to Flatpak, Snapd and Docker
23 min

Distributing Freedesktop SDK applications to Flatpak, Snapd and Docker

Data Quality and Feature Extraction at scale with RoboSat.pink
25 min

Data Quality and Feature Extraction at scale with RoboSat.pink

Past and Future of the OSMF Membership Working Group
30 min

Past and Future of the OSMF Membership Working Group

Generating seccomp profiles for containers using podman and eBPF
26 min

Generating seccomp profiles for containers using podman and eBPF

Space-enabled opportunities in business incubation, applications and services
18 min

Space-enabled opportunities in business incubation, applications and services

Shortest path in the database and more with pgRouting
23 min

Shortest path in the database and more with pgRouting

Geographic measures in Boost Geometry: length, area and beyond
26 min

Geographic measures in Boost Geometry: length, area and beyond

Global land cover monitoring and updating: big data challenges
24 min

Global land cover monitoring and updating: big data challenges

Standing up a OSM clone with GeoServer and CSS
22 min

Standing up a OSM clone with GeoServer and CSS

Design and development of the UN Vector Tile Toolkit
20 min

Design and development of the UN Vector Tile Toolkit

The UN Open GIS initiative – Vision, strategies, and achievements
26 min

The UN Open GIS initiative – Vision, strategies, and achievements

GDPR and ePrivacy: Compliance Nightmares for Open-Source Projects?
45 min

GDPR and ePrivacy: Compliance Nightmares for Open-Source Projects?

recheck and the Sorcerer's Stone: Turning Selenium into Adamantium
35 min

recheck and the Sorcerer's Stone: Turning Selenium into Adamantium

Building large health networks GNU Health Federation and openSUSE
42 min

Building large health networks GNU Health Federation and openSUSE

10 years of Freedom and Equity in Healthcare

Grappling with growth, and other good problems to have
41 min

Grappling with growth, and other good problems to have

What makes processors fail - and how to prevent it
43 min

What makes processors fail - and how to prevent it

Animatronics and robots in the movies with Matt Denton
33 min

Animatronics and robots in the movies with Matt Denton

The Art And Science Of The Motivational Corporate Anthem
29 min

The Art And Science Of The Motivational Corporate Anthem

Making music in the free and open-source world
26 min

Making music in the free and open-source world