GIỚI THIỆU VỀ PODCAST NÀY 🔗
Flo and Julian talk to their guests about engineering microkernels, operating systems and the community around these technologies.
Tần suất cập nhật:
every 43 days
Độ dài âm thanh trung bình:
65 minutes
Tiếng Anh
Hoa Kỳ
11 tập
kể từ Ngày 18 tháng 12 năm 2019
episodic
TẬP MỚI NHẤT 🔗
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…
TÌM KIẾM CÁC TẬP TRƯỚC
Tìm kiếm các tập trước của Syslog.
TẬP TRƯỚC 🔗
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@…
CÔNG CỤ TÌM KIẾM PODCAST
Bạn có thể sử dụng trang web của chúng tôi để tìm kiếm các podcast3,820,989và các tập195,304,267theo người, địa điểm hoặc chủ đề.
Đầu tư vào tri thức luôn mang lại lợi ích lớn nhất, vì vậy tôi nghe podcast.
‐ Benjamin "Llamacorn" Franklin
TÌM KIẾM CÁC TẬP TRƯỚC
Tìm kiếm các tập trước của Syslog.
NHẬN PODCAST NÀY
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 quảng cáo rao vặt 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
phỏng vấn người làm podcast...
✓
If you share your Listen Notes page and at-mention @ListenNotes
on X (formerly Twitter),
tài khoản X chính thức của chúng tôi (trước đây là 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
CHỈNH SỬA
Cảm ơn bạn đã giúp cơ sở dữ liệu podcast luôn cập nhật.
