Search for "ari" returned 4858 results

How can you trust formally verified software?
28 min

How can you trust formally verified software?

G3W-SUITE: a new framework for the QGIS projects WEB publication.
28 min

G3W-SUITE: a new framework for the QGIS projects WEB publication.

SILENCE, BRAND! Datenschutzrechte für Betroffene
53 min

SILENCE, BRAND! Datenschutzrechte für Betroffene

PID Loops Control All the Things
45 min

PID Loops Control All the Things

Reclaiming our faces
28 min

Reclaiming our faces

Sequoia: A New OpenPGP Implementation in Rust
31 min

Sequoia: A New OpenPGP Implementation in Rust

DG88: Progress in the Embedded GPU space
43 min

DG88: Progress in the Embedded GPU space

Nerding out over silly machines
57 min

Nerding out over silly machines

Moonbounce Radio Communication
48 min

Moonbounce Radio Communication

To the Moon and back in two seconds. The joy of light speed…

Advanced Hexagon Diag
66 min

Advanced Hexagon Diag

Harnessing diagnostics for baseband vulnerability research

Van Gogh TV - Piazza virtuale
43 min

Van Gogh TV - Piazza virtuale

Hallo hallo ist da jemand?

Ethics does not belong on the wall! Ethical framework for the use of location data
46 min

Ethics does not belong on the wall! Ethical framework for the use of location data

SDN control of disaggregated optical transport networks
28 min

SDN control of disaggregated optical transport networks

Open Hardware in Times of Crisis and the Future of Local Production to halt Climate Change
61 min

Open Hardware in Times of Crisis and the Future of Local Production to halt Climate Change

SIGKILL imminent
69 min

SIGKILL imminent

Novel Robot Uprising Mitigation Strategies

Gas boilers suck! Hack yours today, save money, save the planet!
29 min

Gas boilers suck! Hack yours today, save money, save the planet!

Avoiding mistakes in Embedded Systems development
40 min

Avoiding mistakes in Embedded Systems development

The Elephant on an Adventure: A Custom-Built Shelter for Network Devices
27 min

The Elephant on an Adventure: A Custom-Built Shelter for Network Devices

Digital Medical Imaging - from scanner to screen.
60 min

Digital Medical Imaging - from scanner to screen.

Playing with Neo4j ­-[:USING]­-> PHP
46 min

Playing with Neo4j ­-[:USING]­-> PHP

1, Qt, Profit!
52 min

1, Qt, Profit!

How developing for Maemo and Symbian becomes fun and may…

openPower - the current state of commercial openness in CPU development
31 min

openPower - the current state of commercial openness in CPU development

is there no such thing as open hardware?

Poetoid Lyricam: A Camera That Takes Poems
24 min

Poetoid Lyricam: A Camera That Takes Poems

Ten Years of Rowhammer:
41 min

Ten Years of Rowhammer:

A Retrospect (and Path to the Future)

Understanding and fixing cross-compilation requirements
54 min

Understanding and fixing cross-compilation requirements

How to make your FOSS project cross-compilation friendly