~/talks

Florian Gilcher

what they talk about

all 11 in the filters

where they keep going back

  • ACCU2 editions2018–2024

all 15 in the filters

on a stage with

all 14 in the filters

who talks about the same things

titleconferencedate
Panel: Rust in Safety CriticalOxidize 20252025-09-16
Panel documents concrete hurdles and wins: Rust’s type system enables easier formal verification and the community treats unsafe as a manageable, reviewable…
Panel on
Advanced Rust Programming TechniquesGOTO Copenhagen 20242024-09-30
Covers how Rust uses ownership and borrowing as contracts for resource lifetimes, shows three concrete API patterns for writing a string to a file (take…
Talk on
C++ Migration StrategiesOxidize Conference Berlin 20242024-05-28
Practical migration patterns focus on concrete tools and tradeoffs: use cxx to generate safe bindings and cxx-qt for Qt UIs, or drive Rust from CMake with…
Talk on
Panel: What has to change to increase Rust adoption in industrial companies?Oxidize Conference Berlin 20242024-05-28
Panelists list concrete blockers: managers treat Rust as a risk and ask for dollar proofs, companies need comparative experiments (two or three teams on the…
Panel on
A Tour Through Ferrocene DevelopmentACCU 20242024-04-17
Ferrocene is a downstream Rust compiler that achieves formal qualification (certificate issued last October) by combining a tool-specific specification with…
Talk on
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Li...FTSCS 20232023-10-22
Implements safe Rust→SPARK bindings for a real BBQueue circular buffer, proving the approach works after iterative fixes and testing. Mirrors Rust types as…
Talk on
Communities, Organisations, Relationships, Conflict and HopeEuroRust 20232023-10-12
Claims that growth and conscious governance choices create visible friction and public conflict, illustrated by the ruscon keynote demotion and Tokyo project…
Talk on
Ferrocene - qualifying the Rust compiler using a fully open source tool stackSDV Community Day July 20232023-07-06
A complete open source downstream of the Rust toolchain, ferrocene qualifies rustc for functional safety (including ISO 26262 and IEC 61508) by shipping LTS…
Talk on
On the importance of leavingFOSS Backstage 20222022-03-17
Leaving core roles in large projects requires planning not drama: announce intent months ahead, give about six months to transfer work, use an all-at email…
Talk on
Cloud Native Rust Workshop: Let's go parallel with RustCloud Native Rust Day EU 20212021-05-03
Builds a small TCP mailbox server in Rust that compiles and runs: uses TcpListener and TcpStream with read_line into String, parses into a Request enum…
Talk on
The Rust Programming Language: Origin, History and Why it's so important for Arm todayLinaro Tech Days 20202020-03-24
Rust guarantees compile‑time memory safety via ownership and borrowing, uses region‑based memory management instead of GC, and confines low‑level risks to…
Talk on
async/await with async-stdRustFest Barcelona 20192019-11-09
Claim: async/await stabilises around the conference and async-std ports libstd into async equivalents, exposing familiar types and JoinHandle semantics. It…
Talk on
The Power of the "Where" ClauseRust Latam 20192019-03-29
Explains exactly what a where clause can express: use Debug bound to make one print function compile for Point and Square, show that monomorphization generates…
Talk on
Top 3 Most Viewed TalksGOTO Berlin 20182018-10-31
Top three most viewed GOTO Berlin 2018 talks give concrete claims: agile came from scrum not the other way around with lineage traced to military training and…
Talk on
Three years of Rust - A look aroundACCU 20182018-04-11
Rust reaches production in three years: the toolchain (rustc on LLVM, Cargo and the crates.io registry, rust-gdb, a tested Book and doc-tests) ships on a…
Talk on
"Potential"RubyC 20172017-06-03
Shows concrete fixes: Vala has 2–3 maintainers and 179 unreviewed patches with the oldest 2,556 days old to illustrate backlog pain. Recommends low-effort…
Talk on
Lightning Talks Part OneBathRuby 20162016-03-11
A rapid set of mini reports names concrete surprises and concrete fixes: a project pulls in 120 gems which unpack to 4,000 files and reveal 35,000 methods…
Lightning on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.