Search for "Loic" returned 356 results

Fuzzy Fuzzy Logic
25 min

Fuzzy Fuzzy Logic

Logic Programming and Databases
37 min

Logic Programming and Databases

Why port 10k LOC to Rust
40 min

Why port 10k LOC to Rust

Lessons learned

DerivationBuilder, extracting Nix's sandboxing logic for library use
20 min

DerivationBuilder, extracting Nix's sandboxing logic for library use

Delta encodings help separate business logic from database operations
42 min

Delta encodings help separate business logic from database operations

Using the OGC Web Processing Service (WPS) to move business logic to the server
26 min

Using the OGC Web Processing Service (WPS) to move business logic to the server

Do as I Say not as I Do: Stealth Modification of Programmable Logic Controllers I/O by Pin Control Attack
60 min

Do as I Say not as I Do: Stealth Modification of Programmable Logic Controllers I/O by…

Twintesizer
9 min

Twintesizer

Gastro Aid
3 min

Gastro Aid

Changes
4 min

Changes

InstantHelp
7 min

InstantHelp

Smartkey
6 min

Smartkey

From transistor to processor
43 min

From transistor to processor

Recursive Definitions in Lean
43 min

Recursive Definitions in Lean

Unconventional HDL synthesis experiments
43 min

Unconventional HDL synthesis experiments

Will it synthesize?

Logical Language Lojban
59 min

Logical Language Lojban

A Hackers' /Spoken/ Language?!

Synology Disk Station Manager (DSM) - the good, the bad and the ugly
29 min

Synology Disk Station Manager (DSM) - the good, the bad and the ugly

Solving Puzzles with Constraint Solvers
47 min

Solving Puzzles with Constraint Solvers

🛡️ Linux Permissions and Hardening
25 min

🛡️ Linux Permissions and Hardening

The TIM Project: Building a relay computer from scrap
28 min

The TIM Project: Building a relay computer from scrap

Time Lord's adventures: abusing time on Linux systems
22 min

Time Lord's adventures: abusing time on Linux systems

Keynote: RustBelt: Securing the Foundations of the Rust Programming Language
60 min

Keynote: RustBelt: Securing the Foundations of the Rust Programming Language

Ethics in the data society
35 min

Ethics in the data society

Power and politics in the development of the driverless car

The gift of sharing
48 min

The gift of sharing

A critical approach to the notion of gift economy within…

The 1949 EDSAC Computer Rebuild
29 min

The 1949 EDSAC Computer Rebuild