INFORMAZIONI SU QUESTO PODCAST 🔗
Flo and Julian talk to their guests about engineering microkernels, operating systems and the community around these technologies.
Frequenza di aggiornamento:
every 43 days
Durata media dell'audio:
65 minutes
Inglese
Stati Uniti
11 episodi
da 18 Dicembre 2019
episodic
ULTIMO EPISODIO 🔗
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…
CERCA TRA GLI EPISODI PASSATI
Cerca gli episodi passati di Syslog.
EPISODI PRECEDENTI 🔗
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@…
MOTORE DI RICERCA PODCAST
Puoi utilizzare il nostro sito Web per cercare podcast3,820,989ed episodi195,304,267per persone, luoghi o argomenti.
If I have seen further than others, it is by listening to podcasts and standing upon the shoulders of
giants.
‐ Isaac "Llamacorn" Newton
CERCA TRA GLI EPISODI PASSATI
Cerca gli episodi passati di Syslog.
RIVENDICA QUESTO PODCAST
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 annunci economici 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
intervista a un podcaster...
✓
If you share your Listen Notes page and at-mention @ListenNotes
on X (formerly Twitter),
il nostro account ufficiale X (in precedenza 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
MODIFICA
Grazie, ci hai aiutato a mantenere aggiornato il database dei podcast.
