OM DENNA PODDSÄNDNING 🔗
Flo and Julian talk to their guests about engineering microkernels, operating systems and the community around these technologies.
Uppdateringsfrekvens:
every 43 days
Genomsnittlig ljudlängd:
65 minutes
Engelsk
USA
11 avsnitt
sedan 18 december 2019
episodic
SENASTE AVSNITTET 🔗
Show Notes and Links
Michael
Roitzsch
returns to Syslog and we talk about scheduling in operating
systems. Michael has focussed his research on soft real-time systems
and explored, among other things, how good scheduling can help with
smooth video display. In this episode, we introduce basic sche…
TIDIGARE AVSNITT 🔗
Show Notes and Links
Werner Haas, resident hardware expert and colleague at Cyberus
Technology, joins Flo
and Julian to talk about the state of processor hardware in 2020.
We discuss instruction set archicture (ISA) in the context of the x86
vs. ARM vs. RISC-V debate and why CPU ISA might not b…
Show Notes and Links
In this episode, we talk with Martin Decky
about HelenOS. HelenOS is a modular
multiserver operating system based on a custom microkernel. It has
been implemented by a group of people at the Charles
University in Prague and is unusual for being a
non-commercial operating syst…
Show Notes and Links
Flo and Julian managed to get Marius Melzer
into the recording studio and talk with him about his passion: Formal
Verification. In this episode, we make a broader sweep compared to our
earlier spotlight on Ada/SPARK
and touch on many projects that are on-going in the formal
v…
Show Notes and Links
Flo and Julian invited Jo Van
Bulck to the Syslog
Podcast. Jo is probably best known for discovering the
Foreshadow vulnerability in Intel
CPUs, but his research is into the broader security of Trusted
Execution Environments (TEEs). In this episode, we’ve picked the most
high…
Show Notes and Links
Flo and Julian talk with Michael Hohmuth, who is the head and
co-founder of Kernkonzept. Michael was
already interested in operating systems before he joined the OS group
at TU Dresden. He started to write the
first L4 variant in a high-level
language when the state of the
ar…
Show Notes and Links
Flo and Julian talk with Michael
Roitzsch
who is the acting head of the Chair of Operating Systems at our alma
mater and researcher at the Barkhausen
Institute. Michael currently
participates in the PEPP-PT project and
shares his insights on the technical and political challe…
Show Notes and Links
Flo and Julian talk with Michael
Engel who went from
teaching operating systems fundamentals in Germany to researching
sustainability at the NTNU in Norway.
Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly.
Send feedback to podcast@ukvly…
Show Notes and Links
Flo and Julian talk with Norman Feske, one of the founders of Genode
Labs, about how to turn an idea into a
company. We touch on operating system research, the Genode OS
Framework, and Sculpt
OS.
Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #u…
Show Notes and Links
Flo and Julian talk to Alexander Senier about
Ada,
SPARK and how to build reliable
and trustworthy software. We also talk about Alexander’s company,
Componolit.
Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly.
Send feedback to podcast@…
PODCAST SÖKMOTOR
Du kan använda vår webbplats för att söka efter3,820,989podcaster och195,304,267avsnitt efter personer, platser eller ämnen.
I have no special talent. I am only passionately curious, and
I listen to podcasts.
‐ Albert "Llamacorn" Einstein
GÖR ANSPRÅK PÅ DENNA PODDSÄNDNING
Why to claim podcasts?
If you are a podcaster, the best way to manage your podcasts on Listen Notes is by claiming your Listen Notes
podcast pages.
It is a great, free way to engage the podcast community and increase the visibility of your podcasts.
After claiming your Listen Notes podcast pages, you will be able to:
✓
Manually refresh the RSS feed to sync up
✓
Get a verified badge (
✓
) alongside with your podcast name on Listen Notes
✓
Post radannonser for sponsorship,
guests, co-hosts,
cross-promotion...
✓
Respond to listener comments on Listen Notes
✓
Use speech-to-text techniques to transcribe your show and
edit transcripts
✓
Improve the presence of your podcasts, e.g., self-service
podcastintervju...
✓
If you share your Listen Notes page and at-mention @ListenNotes
on X (formerly Twitter),
vårt officiella X-konto (tidigare Twitter) will retweet to promote
your show to our followers.
Coming soon:
◯ Self-service promotion on Listen Notes
◯ Track your podcast stats on Listen
Notes, e.g., listens, page
views...
◯ Manage episodes
REDIGERA
Tack för att du hjälper till att hålla databasen över podcaster uppdaterad.
