Search for "andi" returned 7404 results

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

Please Identify Yourself!
45 min

Please Identify Yourself!

Digital Identity Systems in the EU & around the world

Joining the conversation: balancing privacy with usability for encrypted messages
50 min

Joining the conversation: balancing privacy with usability for encrypted messages

What I Learned from Loab: AI as a creative adversary
36 min

What I Learned from Loab: AI as a creative adversary

The artist behind the viral cryptid "Loab" reflects on her…

Did you know Matplotlib could do that?
29 min

Did you know Matplotlib could do that?

Machine learning from the ground up
30 min

Machine learning from the ground up

Sending text messages through space
24 min

Sending text messages through space

What's up with test.thing
25 min

What's up with test.thing

The Unsung Heroes of Imaging
41 min

The Unsung Heroes of Imaging

Prototype to Production for RAG applications
34 min

Prototype to Production for RAG applications

SimpleX Chat - Simple Messaging With Unusually Good Privacy
37 min

SimpleX Chat - Simple Messaging With Unusually Good Privacy

Scaling up victim notification, because crededential theft is scaling up too...
27 min

Scaling up victim notification, because crededential theft is scaling up too...

Newcommer Session
15 min

Newcommer Session

Proving Python code correct with Nagini
36 min

Proving Python code correct with Nagini

Bringing the Hack Back into the Chaos
57 min

Bringing the Hack Back into the Chaos

How to grow a flow3r
41 min

How to grow a flow3r

All cops are broadcasting
63 min

All cops are broadcasting

TETRA unlocked after decades in the shadows

Opencoil
56 min

Opencoil

PART II: disrupting disruption

Moving your mobile customers from IPv4 to IPv6
29 min

Moving your mobile customers from IPv4 to IPv6

Making Waterfalls
21 min

Making Waterfalls

How we make videogames
30 min

How we make videogames

Shepherding Software Dependencies
45 min

Shepherding Software Dependencies

Presentation on Iran´s Situation
75 min

Presentation on Iran´s Situation

Operation Triangulation
58 min

Operation Triangulation

What You Get When Attack iPhones of Researchers

ESS - Element’s distribution for Matrix deployments
57 min

ESS - Element’s distribution for Matrix deployments