Search for "$1" returned 10000 results

A Language Server for your DSL for Fun and Profit
41 min

A Language Server for your DSL for Fun and Profit

Developing DSLs: A Look at Three Practical Strategies with Real-World Examples
42 min

Developing DSLs: A Look at Three Practical Strategies with Real-World Examples

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

Beyond the Basics of LSP: Advanced IDE services for OCaml
44 min

Beyond the Basics of LSP: Advanced IDE services for OCaml

Service-less communication: is it possible?
46 min

Service-less communication: is it possible?

Abstraction and program design, or the power of parametricity
45 min

Abstraction and program design, or the power of parametricity

Keynote: Local-first Software
55 min

Keynote: Local-first Software

Closing & Infrastructure Review
19 min

Closing & Infrastructure Review

TI Nspire Taschenrechner Hacken
32 min

TI Nspire Taschenrechner Hacken

We Could Be Green IT Heroes
30 min

We Could Be Green IT Heroes

SELinux für Newbies
37 min

SELinux für Newbies

InfoSec in SW-QS
31 min

InfoSec in SW-QS

Mit offenen Parlamentsdaten zu mehr Transparenz, Innovation und Mitwirkung
42 min

Mit offenen Parlamentsdaten zu mehr Transparenz, Innovation und Mitwirkung

E-Voting – eine Betrachtung aus digital-ethischer Perspektive
44 min

E-Voting – eine Betrachtung aus digital-ethischer Perspektive

Plattformregulierung in der Schweiz
48 min

Plattformregulierung in der Schweiz

Rights in Exile: the Digital Hub Providing Access to Justice for Refugees
25 min

Rights in Exile: the Digital Hub Providing Access to Justice for Refugees

GBA: Tales of Camelot
37 min

GBA: Tales of Camelot

Uncovering discrimination in public fraud detection systems
29 min

Uncovering discrimination in public fraud detection systems

Cracking Passwords for Fun and Profit
47 min

Cracking Passwords for Fun and Profit

E-ID und Vertrauensinfrastruktur – Stand der Arbeiten und Ausblick
50 min

E-ID und Vertrauensinfrastruktur – Stand der Arbeiten und Ausblick

Pilotprojekt E-Collecting: How low can we go?
48 min

Pilotprojekt E-Collecting: How low can we go?

Gemeinsam vernetzt: Internetzugang im Wohnbauprojekt organisieren
47 min

Gemeinsam vernetzt: Internetzugang im Wohnbauprojekt organisieren

A year in AI
43 min

A year in AI

Your Museumsbahn needs you!
35 min

Your Museumsbahn needs you!

WICMP Opening
20 min

WICMP Opening