MENGENAI PODCAST INI 🔗
Flo and Julian talk to their guests about engineering microkernels, operating systems and the community around these technologies.
Kekerapan kemas kini:
every 43 days
Purata panjang audio:
65 minutes
Bahasa Inggeris
Amerika Syarikat
11 episod
sejak 18 Dis 2019
episodic
EPISOD TERKINI 🔗
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 s ...
EPISOD SEBELUMNYA 🔗
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 no ...
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 s ...
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 forma ...
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
h ...
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 ...
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 cha ...
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@uk ...
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 ...
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 podca ...
ENJIN PENCARIAN PODCAST
Anda boleh menggunakan tapak web kami untuk mencari podcast3,821,016dan episod195,314,008mengikut orang, tempat atau topik.
If I have seen further than others, it is by listening to podcasts and standing upon the shoulders of
giants.
‐ Isaac "Llamacorn" Newton
TUNTUT PODCAST INI
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 iklan baris 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
temu bual podcaster...
✓
If you share your Listen Notes page and at-mention @ListenNotes
on X (formerly Twitter),
akaun X rasmi kami (dahulunya 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
SUNTING
Terima kasih kerana membantu memastikan pangkalan data podcast dalam keadaan terkini.