Search for "mare" returned 5797 results

Live Coding for Artists and Designers
22 min

Live Coding for Artists and Designers

How can you trust formally verified software?
28 min

How can you trust formally verified software?

Not your Grandfathers moon landing
59 min

Not your Grandfathers moon landing

Hell yeah, it's Rocket Science 3.1415926535897932384626!

It doesn’t always have to be Linux - An intro to FreeBSD
20 min

It doesn’t always have to be Linux - An intro to FreeBSD

Deaths per TWh
41 min

Deaths per TWh

The Price of Energy and Reducing CO2 Emissions

Rust in the Linux Kernel - A Status Check
44 min

Rust in the Linux Kernel - A Status Check

microvm.nix
34 min

microvm.nix

Should e-voting experience of Estonia be copied?
39 min

Should e-voting experience of Estonia be copied?

Observer report of 2023 parliamentary elections

Flightgear: The world of open source flight simulation
38 min

Flightgear: The world of open source flight simulation

Enclosure-PUF
61 min

Enclosure-PUF

Tamper Proofing Commodity Hardware and other Applications

Behaviour-Based Quality Assessment of OpenStreetMap Data in Data Scarce Area Using Unsupervised Machine Learning
5 min

Behaviour-Based Quality Assessment of OpenStreetMap Data in Data Scarce Area Using…

Towards automated and proactive anomaly detection in fiber access networks
31 min

Towards automated and proactive anomaly detection in fiber access networks

What is Algorave?
57 min

What is Algorave?

Nerding out over silly machines
43 min

Nerding out over silly machines

Decent Patterns
16 min

Decent Patterns

an Open UX Library for Decentralisation

Big tech’s 100bn € delusion with self-driving cars
53 min

Big tech’s 100bn € delusion with self-driving cars

Demystifying Common Microcontroller Debug Protocols
44 min

Demystifying Common Microcontroller Debug Protocols

Unleash your smart-home devices: Vacuum Cleaning Robot Hacking
31 min

Unleash your smart-home devices: Vacuum Cleaning Robot Hacking

Why is my vacuum as powerful as my smartphone?

From Historical OpenStreetMap data to customized training samples for geospatial machine learning
42 min

From Historical OpenStreetMap data to customized training samples for geospatial machine…

State Transitions in Complex Systems
36 min

State Transitions in Complex Systems

MariaDB and MySQL — what statistics optimizer needs
26 min

MariaDB and MySQL — what statistics optimizer needs

or when and how not to use indexes

Atlas Of Uncertainty
8 min

Atlas Of Uncertainty

Understanding and being creative with Pure Data’s data structures
121 min

Understanding and being creative with Pure Data’s data structures

Why openSUSE
24 min

Why openSUSE

About ideal use case and promoting the gold triangle of…

Running GSM mobile phone on SDR
31 min

Running GSM mobile phone on SDR

SDR PHY for OsmocomBB