Shows
Picture Me CodingSailing to ByzantiumThis week Mike and Erik tackle Byzantine Fault Tolerance! But what's it all about? Gangsters? Generals? Constantinople? Take a journey with us as we sail off into the dizzying complexity of Byzantine faults.LinksSome constraints and tradeoffs in the design of network communications | Proceedings of the fifth ACM symposium on Operating systems principlesNotes on Data Base Operating SystemsReaching Agreement in the Presence of Faults | Journal of the ACMThe Byzantine Generals Problem - Microsoft ResearchGitHub - JVerwolf/byzantine_generals: An implementation of Leslie Lamport's OM algorithm for the Byzantine Generals ProblemThe...2025-04-2358 min
KodsnackGentlemannaöverenskommelseFredrik och Kristoffer snackar livskraftig körning (durable execution), deterministiskt simuleringstestande, och lite om Roc. Kristoffer ger sin ögonblicksbild av livskraftig körning och relaterade saker han just nu snöat in på. Mycket kretsar kring stiliga och kraftfulla abstraktioner som leder fram till renare och enklare lösningar på kniviga problem. Tänk om du kunde stödja både synkron och asynkron körning av all din kod, utan att behöva skriva någonting som hanterar det i din kod? Landar vi i Haskell? Eller till och med Lisp? Ett stort tack ti...2025-04-0848 min
TechDaily.aiThe Math Behind Machines: Leslie Lamport, Algorithms & the Birth of Distributed SystemsEver wonder how your favorite apps stay consistent across multiple devices—or how massive cloud systems avoid total chaos? At the core of those answers is a quiet revolutionary: Leslie Lamport. In this episode, we unpack the mind and methodology of one of computer science's greatest thinkers.Join us for a deep dive into Lamport’s mathematical approach to computing, from redefining how we prove algorithms work to inventing the “happens-before” relationship and the iconic Bakery Algorithm. We explore how his background in mathematics shaped the evolution of distributed systems, reliability, and the very way we build digital...2025-04-0716 minPicture Me CodingLeslie Lamport and the Free Software MovementIn this SCaLE wrap-up Mike and Erik discuss the final day of the conference and talks by Denver Gingerich called "What happens when hardware puts software freedom first? We built a router to find out" and Leslie Lamport titled "Coding isn't Programming", and we got to meet Leslie Lamport and take photos with him and give him Picture Me Coding stickers.Music from #Uppbeat (free for Creators!):https://uppbeat.io/t/night-drift/the-horsemanMusic from #Uppbeat (free for Creators!):https://uppbeat.io/t/night-drift/xMusic from #Uppbeat (free for Creators!):2025-03-2644 minPicture Me CodingMike and Erik Go to Pasadena!This week we are on location in the city of Pasadena, CA for Scale 22x, the Socal Linux Expo. We talked to people and went to talks and drank a lot of coffee. We do a debrief of some of the amazing work we heard about in the first few days of the conference.Stay tuned next week to hear what we learned from Leslie Lamport!Check out some stuff we learned about!- The Open Source Rover (from JPL)- Solomon Hykes Keynote: "Robots Building Robots"...2025-03-191h 00
Entre Dev y Ops PodcastEDyO 96 - Fosdem 2025En el episodio 96 del podcast de Entre Dev y Ops hablaremos del veinticinco aniversario de la FOSDEM.
Blog Entre Dev y Ops - https://www.entredevyops.es
Telegram Entre Dev y Ops - https://t.me/entredevyops
Twitter Entre Dev y Ops - https://twitter.com/entredevyops
LinkedIn Entre Dev y Ops - https://www.linkedin.com/company/entredevyops/
Patreon Entre Dev y Ops - https://www.patreon.com/edyo
Amazon Entre Dev y Ops - https://amzn.to/2HrlmRw
Enlaces comentados:
Fosdem 2025 - https://fosdem.org/2025/
Fosdem Treasure Hunt - https://fosdem.org/2025/news/2025-01-30-treasure-hunt/
Curl - h...2025-03-0500 min
🧠 _SE Radio 653: Asanka Abeysinghe on Cell-Based Architecture Podcast: Software Engineering Radio - the podcast for professional software developers (LS 52 · TOP 0.5% what is this?)Episode: SE Radio 653: Asanka Abeysinghe on Cell-Based ArchitecturePub date: 2025-01-30Get Podcast Transcript →powered by Listen411 - fast audio-to-text and summarizationAsanka Abeysinghe, CTO at WSO2, joins host Giovanni Asproni to discuss cell-based architecture -- a style that's intended to combine application, deployment, and team architecture to help organizations respond quickly to changes in the business environment, customer requirements, or enterprise strategy. Cell-based architecture is aimed at creating scalable, modular, composable systems with...2025-02-121h 00
Software Engineering Radio - The Podcast for Professional Software DevelopersSE Radio 653: Asanka Abeysinghe on Cell-Based ArchitectureAsanka Abeysinghe, CTO at WSO2, joins host Giovanni Asproni to discuss cell-based architecture -- a style that's intended to combine application, deployment, and team architecture to help organizations respond quickly to changes in the business environment, customer requirements, or enterprise strategy. Cell-based architecture is aimed at creating scalable, modular, composable systems with effective governance mechanisms. The conversation starts by introducing the context and some vocabulary before exploring details about the main elements of the architecture and how they fit together. Finally, Asanka offers some advice on how to implement a cell-based architecture in practice. Brought to you b...2025-01-301h 00Software Engineering Radio - the podcast for professional software developersSE Radio 653: Asanka Abeysinghe on Cell-Based ArchitectureAsanka Abeysinghe, CTO at WSO2, joins host Giovanni Asproni to discuss cell-based architecture -- a style that's intended to combine application, deployment, and team architecture to help organizations respond quickly to changes in the business environment, customer requirements, or enterprise strategy. Cell-based architecture is aimed at creating scalable, modular, composable systems with effective governance mechanisms. The conversation starts by introducing the context and some vocabulary before exploring details about the main elements of the architecture and how they fit together. Finally, Asanka offers some advice on how to implement a cell-based architecture in practice. Brought to you b...2025-01-301h 00
Future Is Already HerePaxos and Raft : Consensus Algorithms - A Deep DiveIn this episode, we'll explore two fundamental consensus algorithms used in distributed systems: Raft and Paxos. These algorithms allow a collection of machines to work as a coherent group, even when some members fail. Understanding these algorithms is crucial for anyone building or working with distributed systems.
We'll begin by examining Paxos, a protocol that has become almost synonymous with consensus. We will discuss how Paxos ensures both safety and liveness, and supports changes in cluster membership. However, it is also known for its complexity and difficulty to understand. As Lamport put it, the...2025-01-2524 minFuture Is Already HereConsensus Algorithms: Raft, Paxos, and FlexiRaft - A Comparative Deep DiveIn this episode, we delve into the world of distributed consensus algorithms, exploring three key players: Raft, Paxos, and FlexiRaft. These algorithms are essential for ensuring reliability and consistency in distributed systems, allowing multiple machines to work together as a coherent group, even when some of them fail.
We'll start by unpacking the complexities of Paxos, a foundational algorithm that has been widely adopted but is also notoriously difficult to understand. We'll discuss its core concepts, its peer-to-peer approach, and why it's considered so challenging to implement effectively.
Next, we'll turn our attention to Raft...2025-01-2510 min
Paul Graham: il pifferaio magico dei nerdChi Scrive e Chi Non Lo Fa // Writes and Write-NotsTraduzione e lettura in italiano di Elena Carmazzi dall’essay originale di Paul Graham "Writes and Write-Nots" [Ottobre 2024].Di solito sono riluttante a fare previsioni sulla tecnologia, ma su questa mi sento abbastanza sicuro: tra qualche decennio, non ci saranno molte persone capaci di scrivere.Una delle cose più strane che impari se sei uno scrittore è quante persone abbiano difficoltà a scrivere. Così come i medici sanno quanti pazienti sono preoccupati per un neo, chi è bravo a configurare computer sa quante persone non lo sono e allo stesso modo gli scrittori sanno quanti hanno bisogno di aiut...2024-11-2604 min
Open at IntelThat Open Source Maintainer LifeSarah Christoff discusses her experiences and challenges as an open source maintainer with a focus on her work with the Porter and Zarf projects. Sarah shares insights into the frustrations and isolation often felt by maintainers, and emphasizes the importance of community and human connections in navigating these roles. We chatted about of Porter and its function in simplifying complex DevOps tool integrations. Additionally, Sarah talks about Zarf, a project recently donated to the OpenSSF aimed at facilitating air-gapped Kubernetes deployments.
00:00 Introduction
01:29 Challenges of Being an Open Source Maintainer
03:12 The Human Element in Software Development
05:45 Advice for Aspiring Main...2024-07-1030 minOpen at IntelThat Open Source Maintainer LifeSarah Christoff discusses her experiences and challenges as an open source maintainer with a focus on her work with the Porter and Zarf projects. Sarah shares insights into the frustrations and isolation often felt by maintainers, and emphasizes the importance of community and human connections in navigating these roles. We chatted about of Porter and its function in simplifying complex DevOps tool integrations. Additionally, Sarah talks about Zarf, a project recently donated to the OpenSSF aimed at facilitating air-gapped Kubernetes deployments.
00:00 Introduction
01:29 Challenges of Being an Open Source Maintainer
03:12 The Human Element in Software Development
05:45 Advice for Aspiring Main...2024-07-1030 min
ASecuritySite PodcastWorld-leaders in Cryptography: Leslie LamportPlease excuse the poor quality of my microphone, as the wrong microphone was selected. In research, we are all just building on the shoulders of true giants, and there are few larger giants than Leslie Lamport — the creator of LaTeX. For me, every time I open up a LaTeX document, I think of the work he did on creating LaTeX, and which makes my research work so much more productive. If I was still stuck with Microsoft Office for research, I would spend half of my time in that horrible equation editor, or in tryi...2024-05-101h 05
忽软忽硬No.425 图灵奖得主、LaTex作者、并发系统开拓者、区块链拜占庭容错算法创立者 —— Leslie Lamportliuyandong.com2024-04-0732 minPicture Me CodingStanding on the Shoulders of Giants: LamportThis week Mike and Erik talked about Leslie Lamport's work. Lamport has been called "the father of distributed systems" and we cover Lamport clocks, Paxos, TLA+ and others of his ideas. For music, Erik has been listening to Again by Oneohtrix Point Never while Mike has been stuck on 8-Track by Ashley Bathgate.ReferencesLamport’s Personal Site (with links to all of his papers)Quanta Interview Changelog Recent Podcast InterviewCloudflare leap second bugThe Poem “Regalia for a B...2023-10-251h 09
Changelog InterviewsThinking outside the box of codeLeslie Lamport is a computer scientist & mathematician who won ACM’s Turing Award in 2013 for his fundamental contributions to the theory and practice of distributed and concurrent systems. He also created LaTeX and TLA+, a high-level language for “writing down the ideas that go into the program before you do any coding.”
Join the discussionChangelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!Sponsors:Tailscale – Simple, secure networks for teams of any scale. Built on WireGuard.
Sentry – Watch Lazar Nikolov’s livestream series on YouTube at y...2023-08-091h 08Changelog Master FeedThinking outside the box of code (Changelog Interviews #552)Leslie Lamport is a computer scientist & mathematician who won ACM’s Turing Award in 2013 for his fundamental contributions to the theory and practice of distributed and concurrent systems. He also created LaTeX and TLA+, a high-level language for “writing down the ideas that go into the program before you do any coding.”
Leave us a comment
Changelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!
Sponsors:
Tailscale – Simple, secure networks for teams of any scale. Built on WireGuard.
Sentry – Watch Lazar Nikolov livestream on YouTube at youtube.c...2023-08-091h 08The Changelog: Software Development, Open SourceThinking outside the box of code (Interview)Leslie Lamport is a computer scientist & mathematician who won ACM’s Turing Award in 2013 for his fundamental contributions to the theory and practice of distributed and concurrent systems. He also created LaTeX and TLA+, a high-level language for “writing down the ideas that go into the program before you do any coding.”
Join the discussionChangelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!Sponsors:Tailscale – Simple, secure networks for teams of any scale. Built on WireGuard.
Sentry – Watch Lazar Nikolov’s livestream series on YouTube at y...2023-08-091h 08
ASecuritySite PodcastWorld-leading Computer Scientists: Leslie B Lamport (Clocks, LaTeX, Byzantine Generals and Post Quantum Crypto)Related page: https://medium.com/asecuritysite-when-bob-met-alice/clocks-latex-byzantine-generals-and-post-quantum-crypto-meet-the-amazing-leslie-b-lamport-b2ade4b590d7 Demo: https://asecuritysite.com/hashsig/lamport Introduction I write this article in Medium and with its limited text editor, but I really would love to write it in LaTeX. Before the monopoly of Microsoft Word, there were document mark-up systems such as Lotus Manuscript, and where we had a basic editor to produce publishing-ready content. The GUI came along, and all the back-end stuff was pushed away from the user. For many, this is fine, but for those whose output is focused on s...2023-07-2415 min
Alex Zozovsky: Tools for Better Thinking & Performance For Creativеs & Entrepreneurs3 Mental Health Benefits of Journaling For Creators And EntrepreneursGet Alex’s New Book for Free:
15 Journaling Secrets - How To Establish Consistent Journaling Habit For Better Thinking And Self Understanding.
https://alezozov.com/b
Here are 3 Mental Health Benefits of Journaling For Creators And Entrepreneurs…
First, It helps with quality thinking.
Writing things down eliminates fuzzy thinking and overthinking.
As Leslie Lamport said, “If you’re thinking without writing, you only think you’re thinking.”
Second, It creates awareness.
Writing down your feelings and thoughts about a difficult situation or problem helps to understand...2023-03-2101 min
Add DotThe CQRS and Event Sourcing Long PositionVaughn and Greg discuss a lot of topics!CQRSEvent SourcingThe CQRS and Event Sourcing book Greg was completing at the time of this interviewEventStore and specific unique featuresEventStore Clustering complexity PAXOS (defined by Leslie Lamport in 1998)Data Mesh "The Old New Thing" UDP multicast for trading messagingHis upcoming next bookHis current work challengesGregory Young coined the term “CQRS” (Command Query Responsibility Segregation) and it was instantly picked up by the community who have elaborated upon it ever since. He is the founder and creator of Event Store. He has 15+ years of va...2023-03-1538 min
liriftlily audiobook^DOWNLOAD EBOOK^ Latex A Document Preparation System [EBOOK PDF] by Leslie LamportDownload Latex: A Document Preparation System Full Edition,Full Version,Full Book by Leslie Lamport Reading Now at : https://happyreadingebook.club/?book=020115790X OR DOWNLOAD EBOOK NOW! [PDF] Download ^DOWNLOAD EBOOK^ Latex: A Document Preparation System [EBOOK PDF] Ebook | READ ONLINE Download ^DOWNLOAD EBOOK^ Latex: A Document Preparation System [EBOOK PDF] read ebook online PDF EPUB KINDLE Download ^DOWNLOAD EBOOK^ Latex: A Document Preparation System [EBOOK PDF] PDF - KINDLE - EPUB - MOBI2023-02-2500 min
Patientless PodcastLeslie Lamport, 2013 Turing Award Winner on Patientless Podcast #011Leslie Lamport is known for his fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency. Full Youtube video: https://youtu.be/rNQFPz2KSzQ
2022-12-0942 min
Fork It#23 - PoS 是谎言么？本期是由 Daniel 和 Terry 共同主持，我们邀请了 BTCStudy 的内容负责人阿剑老师，来跟大家聊聊关于 PoW vs PoS 的争论，他的观点和立场。
阿剑老师曾经是以太坊中文社区非常硬核的研究者，翻译者，内容贡献者，主持人的愿望是话题能够深入浅出，但是阿剑老师实力不允许，所以如果你对 PoW/PoS 以及分布式共识算法的设计思想和基础概念有所了解，那么会帮助你理解为什么通过阿剑老师的分析可以得出 PoW 全面优于 PoS 这个结论。
如果对 “Ethereum Merge” 的问题分析以及什么是 “比特币思想” 更感兴趣，不妨直接跳到 1:10:00 开始听。
访谈结尾处阿剑老师最让我动容的一段话，我摘录于此：一个技术范式应该想到它应该保护自己的用户，它应该保护共识，它应该珍惜每一分来之不易的共识，它应该容纳每一个可能容纳的个体去进入这个生态，去能够用它来继续做梦，去 为一个遥远的我能够想象的美好未来去奋斗。
Show Notes
关于 Ethereum Merge https://ethereum.org/en/upgrades/merge/#what-is-the-merge
Forkit 关于 PoW v.s. PoS https://forkit.fm/22
Leslie Lamport https://en.wikipedia.org/wiki/Leslie_Lamport
拜占庭将军问题 The Byzantine Generals Problem https://lamport.azurewebsites.net/pubs/byz.pdf
Stake Grinding attacks 权益研磨攻击 https://dyor-crypto.fandom.com/wiki/Grinding_Attack
Nothing at stake attacks https://medium.com/coinmonks/understanding-proof-of-stake-the-nothing-at-stake-theory-1f0d71bc027
Long range attacks https://blog.positive.com/rewriting-history-a-brief-introduction-to-long-range-attacks-54e473acdba9
Poelstra：论权益与共识
英文：https://download.wpsoftware.net/bitcoin/pos.pdf
中文：https://www.btcstudy.org/2021/09/23/on-stake-and-consensus-by-Andrew-Poelstra/
PoS的根本缺陷在于循环论证 https://www.bitpush.news/articles/2460124
social consensus https://medium.com/@VitalikButerin/a-proof-of-stake-design-philosophy-506585978d51
Weak Subjectivity 弱主观性 https://ethereum.org/en/developers/docs/consensus-mechanisms/pos/weak-subjectivity/
Balancing attack 平衡攻击 https://ethresear.ch/t/a-balancing-attack-on-gasper-the-current-candidate-for-eth2s-beacon-chain/8079
zack-bitcoin：PoS 辩护意见大全
英文：https://github.com/zack-bitcoin/amoveo-docs/blob/master/other_blockchains/the_defence_of_pos.md
中文：https://mp.weixin.qq.com/s/7qEWFWAQIPz5-2I-aWv4ww
PoW 与 PoS 的真正区别：判质费用决定了谁更适合构建货币
中文：https://mp.weixin.qq.com/s/s72022-09-152h 17
The HyperthesisThe Mystery of WaterThis episode focuses on a substance required for life itself: water. This common molecule, H2O (dihydrogen monoxide), is peculiar in its geometry and composition, leading to many interesting properties that have literally shaped our world. We discuss the physics of the water molecule itself before venturing into how those microscopic effects create atypical characteristics. Before that, we discuss the complexities and physics that are involved when ironing clothing, which is more complicated than it seems. Clothing materials can be considered as amorphous solids can be heated and cooled similar glass. To end of this episode, Pheely tells us...2022-08-0558 min
Counting SandDynamo: The Research Paper that Changed the WorldThe cycle between research and application is often too long and can take decades to complete. It is often asked what bit of research or technology is the most important? Before we can answer that question, I think it's important to take a step back and share the story of why we believe The Dynamo Paper is so essential to our modern world and how we encountered it. Citations:DeCandia, G., Hastorun, D., Jampani, M., Kakulapati, G., Lakshman, A., Pilchin, A., ... & Vogels, W. (2007). Dynamo: Amazon’s highly available key-value store. ACM SIGOPS operating sys...2022-07-0535 min
Go Time: Golang, Software EngineeringThe myth of incremental progressDuring a conversation in the #gotime channel of Gopher Slack, Jerod mentioned that some people paint with a blank canvas while others paint by numbers. In this 8th episode of the maintenance series, we’re talking about maintaining our knowledge. With Jerod’s analogy and a little help from a Leslie Lamport interview, our panel discusses the myth of incremental progress.
Join the discussionChangelog++ members save 5 minutes on this episode because they made the ads disappear. Join today!Sponsors:Chronosphere – Chronosphere is the observability platform for cloud-native teams operating at scale...2022-06-021h 12Changelog Master FeedThe myth of incremental progress (Go Time #232)During a conversation in the #gotime channel of Gopher Slack, Jerod mentioned that some people paint with a blank canvas while others paint by numbers. In this 8th episode of the maintenance series, we’re talking about maintaining our knowledge. With Jerod’s analogy and a little help from a Leslie Lamport interview, our panel discusses the myth of incremental progress.2022-06-021h 12
Zero KnowledgeMPC and DAGs with Aleph Zero’s Adam Gagol & Matthew NiemergThis week, Anna speaks with Adam Gągol and Matthew Niemerg about Aleph Zero - an L1 project mixing ZKPs and MPCs with a DAG consensus algorithm. The aim of their project is to enable private smart contracts. In the conversation, they explore the underlying DAG structure and their privacy solutions that leverage zero-knowledge proofs (zk-SNARKs) and Secure Multiparty Computation (sMPC). Here are some links for this episode:Paper - Aleph: Efficient Atomic Broadcast in Asynchronous Networks with Byzantine NodesTime, Clocks, and the Ordering of Events in a Distributed System by Leslie LamportEpisode 188: Analyzing Osmosis & Preventing M...2021-10-271h 00
Hanselminutes with Scott HanselmanLeslie Lamport - in partnership with ACM BytecastIn this collaboration with ACM ByteCast and Hanselminutes, Scott welcomes 2013 ACM A.M. Turing Award laureate Leslie Lamport of Microsoft Research, best known for his seminal work in distributed and concurrent systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. Among his many honors and recognitions, Lamport is a Fellow of ACM and has received the IEEE Emanuel R. Piore Award, the Dijkstra Prize, and the IEEE John von Neumann Medal.Leslie shares his journey into computing, which started out as something he only did in his...2021-05-2739 min
ACM ByteCastLeslie Lamport - Episode 16 (Special Episode in Partnership with the Hanselminutes Podcast)In this episode of ACM ByteCast, our special guest host Scott Hanselman (of The Hanselminutes Podcast) welcomes 2013 ACM A.M. Turing Award laureate Leslie Lamport of Microsoft Research, best known for his seminal work in distributed and concurrent systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. Among his many honors and recognitions, Lamport is a Fellow of ACM and has received the IEEE Emanuel R. Piore Award, the Dijkstra Prize, and the IEEE John von Neumann Medal.
Leslie shares his journey into computing, which started out...2021-05-2736 min
The TMPDIR podcastDocumentationIn this episode we discus:
What is documentation
Benefits of documentation
Documentation is critical for scaling, collaboration, and distributed teams
How documentation benefits ourselves
Lesli Lamport’s thoughts: To think, you have to write. If you’re thinking
without writing, you only think you’re thinking.
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/leslie_lamport.pdf
Code should not only be created for the compiler, but more importantly for
other people
Importance of idioms, automatic code formatting, and code linters
Documentation should live close to the code (embedded in the code, or Markdown
in the same repository)
Benefi...2021-04-0240 min
字谈字畅#147：Kerning Panic·字谈字串（十）宗师级程序员的排印解决方案TeX，一套时下日趋小众的排版系统，历史源远流长，社区积淀丰厚。其初代开发者更是计算机科学界的传奇宗师。今天我们与久别的友台主播重聚，再续「字谈字串」第十回——闲话宗师级程序员的排印解决方案。 参考链接 高德纳（Donald Ervin Knuth），美国计算机科学家、数学家，斯坦福大学荣誉教授 TeX，高德纳于 1978 年开发的开源跨平台排版系统 吴涛于 2010 年撰写的《Computer Modern 的故事》，刊于 The Type LaTeX，一套 TeX 系统扩展，Leslie Lamport 开发 TikZ，一个 TeX 系统中的绘图工具 《岩波数学辞典》（第 4 版）由 LaTeX 排版 The Art of Computer Programming (TAOCP)，高德纳著，最早出版于 1968 年；计划共 7 卷，尚未完成，目前出版至第 4A 卷；现有中译本《计算机程序设计艺术》，国防工业出版社出版 蒙纳铸排机（Monotype system） 照相排版（phototypesetting） Metafont，高德纳开发的一种字体制作程序 Knuth reward check，用于奖励指正高德纳出版物错误的读者 字谈字畅 137：本顿父子的世纪传奇 字谈字畅 125：迪多的刻板印象 “The TeX Pestilence (Why TeX/LaTeX Sucks)”，Xah Lee 批评 TeX 的文章 DVI (device independent file format)，TeX 排版系统输出的文件格式 知乎公式编辑器 LyX，一款文档处理器 MathML，W3C 设计的数学公式标记语言 MacTeX，一个 macOS 平台的 TeX 发行版 MiKTeX，一个 Windows 平台的 TeX 发行版，现已跨平台 TeX Live，一个跨平台的 TeX 发行版 Web，高德纳设计的计算机编程语言系统，用于实现其「文学编程」（literate programming）的理念 pdfTeX，一套 TeX 系统扩展，Hàn Thế Thành 开发 LuaTeX，内嵌 Lua 脚本引擎的 TeX 系统扩展，最初由 Taco Hoekwater、Hartmut Henkel、Hans Hagen 等人开发 XeTeX，支持 Unicode、OpenType 等等先进字体排印技术的 TeX 扩展，Jonathan Kew 开发 TUG（TeX Users Group，TeX 用户组），旗下有学术期刊 TUGboat ConTeXt，一款基于 TeX 的文档处理器，有丰富的幻灯片设计功能 reveal.js，基于 web 技术的开源幻灯片框架 Overleaf，一款在线 LaTeX 编辑器 MusiXTeX，可实现乐谱排版的 TeX 宏和字体套装 PageMaker，最初由 Aldus 公司出品、后由 Adobe 接手的排版软件；后被 InDesign 取代 小林剑的著作 CJKV Information Processing, 2nd Edition 由 Adobe InDesign 排版 主播 Rio：《IT 公论》《疯投圈》《提前怀旧》及《内核恐慌》主播 吴涛：The Type 程序员，《内核恐慌》主播 Eric：字体排印研究者，译者，The Type 编辑 蒸鱼：设计师，The Type 编辑 欢迎与我们交流或反馈，来信请致 2021-03-162h 16
内核恐慌Kerning Panic·字谈字串（十）宗师级程序员的排印解决方案
/* shamelessly stolen from https://stackoverflow.com/questions/8160514/is-there-css-for-typesetting-the-latex-logo-in-html */
.tex, .latex, .tex sub, .latex sub { font: 1em serif; }
.tex sub, .latex sub, .latex sup { text-transform: uppercase; }
.tex sub, .latex sub {
vertical-align: -0.5ex;
margin-left: -0.1667em;
margin-right: -0.125em;
}
.latex sup {
font-size: 0.85em;
vertical-align: 0.15em;
margin-left: -0.36em;
margin-right: -0.15em;
}
Rio 和吴涛与友台《字谈字畅》的两位主播一起聊聊 TeX 和 LaTeX。
Rio 和黄海主持的《疯投圈》
Rio 和任宁主持的《提前怀旧》
相关链接
高德纳（Donald Ervin Knuth），美国计算机科学家、数学家，斯坦福大学荣誉教授
TeX，高德纳于 1978 年开发的、开源跨平台排版系统
吴涛于 2010 年所撰的《Computer Modern 的故事》，刊于 The Type
LaTeX，一套 TeX 系统扩展，Leslie Lamport 开发
TikZ，一个 TeX 系统中的绘图工具
《岩波数学辞典》（第 4 版）由 LaTeX 排版
The Art of Computer Programming (TAOCP)，高德纳著，最早出版于 1968 年；计划共 7 卷，尚未完成，目前出版至第 4A 卷；现有中译本《计算机程序设计艺术》，国防工业出版社出版
蒙纳铸排机（Monotype system）
照相排版（phototypesetting）
Metafont，高德纳开发的一种制作字体的程序
Knuth reward check，用于奖励指正高德纳出版物错误的读者
字谈字畅 137：本顿父子的世纪传奇
字谈字畅 125：迪多的刻板印象
“The TeX Pestilence (Why TeX/LaTeX Sucks)”，Xah Lee 批评 TeX 的文章
DVI (device independent file format)，TeX 排版系统输出的文件格式
知乎公式编辑器
LyX，一款文档处理器
MathML，W3C 设计的数学公式标记语言
MacTeX，一个 macOS 平台的 TeX 发行版
MiKTeX，一个 Windows 平台的 TeX 发行版，现已跨平台
TeX Live，一个跨平台的 TeX 发行版
Web，高德纳设计的计算机编程语言系统，用于实现其「文学编程」（literate programming）的理念
pdfTeX，一套 TeX 系统扩展，Hàn Thế Thành 开发
LuaTeX，内嵌 Lua 脚本引擎的 TeX 系统扩展，最初由 Taco Hoekwater、Hartmut Henkel、Hans Hagen 等人开发
XeTeX，支持 Unicode、OpenType 等等先进字体排印技术的 TeX 扩展，Jonathan Kew 开发
TUG（TeX Users Group，TeX 用户组），旗下有学术期刊 TUGboat
C2021-03-162h 16
Data SkepticDistributed ConsensusComputer Science research fellow of Cambridge University, Heidi Howard discusses Paxos, Raft, and distributed consensus in distributed systems alongside with her work “Paxos vs. Raft: Have we reached consensus on distributed consensus?” She goes into detail about the leaders in Paxos and Raft and how The Raft Consensus Algorithm actually inspired her to pursue her PhD. Paxos vs Raft paper: https://arxiv.org/abs/2004.05074 Leslie Lamport paper “part-time Parliament” https://lamport.azurewebsites.net/pubs/lamport-paxos.pdf Leslie Lamport paper "Paxos Made Simple" https://lamport.azurewebsites.net/pubs/paxos-simple.pdf 2020-10-3027 min
Había una vez un algoritmo...Principios de la programación | S2-E6Sobre los tres principios fundamentales de la programación: estados (cambios), mensajes (objetos) y transparencia referencial (sustitución). Esta última ligada al trabajo del filósofo W. V. Quine en su libro "Word and Object".Además hablaremos de la distinción que realiza Leslie Lamport a los términos: "programming" y "coding". Get on the email list at camilocs.substack.com2020-09-1832 min
Érase una vez un algoritmo...Principios de la programación | S2-E6¡Enviáme un mensaje!Sobre los tres principios fundamentales de la programación: estados (cambios), mensajes (objetos) y transparencia referencial (sustitución). Esta última ligada al trabajo del filósofo W. V. Quine en su libro "Word and Object".Además hablaremos de la distinción que realiza Leslie Lamport a los términos: "programming" y "coding".Support the show2020-09-1833 min
The Art Of Programming222 Честные аутсорсеры и знания — The Art Of Programming [ Knowledgeconf ]Mad Devs
Онбординг и Jira
Документация и качество кода
Коллекторы технического долга
Практика Brain Dump
Leslie Lamport: Thinking Above the Code
Knowledge Conf 2020
Zettelkasten: организация персональной базы знаний — Константин Валеев
Miro
Участники
@golodnyj
Andrew Minkin
Благодарности патронам:
Aleksandr Kiriushin, Alex Malikov, Fedor Rusak, Grigori Pivovar, Ihor Kopyl, Lagunovsky Ivan, Leo Kapanen, Mikhail Gaidamaka, Neikist, nikaburu, Pavel Drabushevich, Pavel Sitnikov, Sergey Kiselev, Sergey Vinyarsky, Sergii Zhuk, Vasiliy Galkin
Telegram канал
Поддержи подкаст
Подпишись в iTunes
Подпишись без iTunes
Скачай подкаст
Старые выпуски2020-06-0833 minFork It#12 - 和 Ted 聊聊 HotStuff 背后的故事本期为 11 期的延续，我们继续和 Ted 聊聊他的学术和创业经历。
摘要
HotStuff 算法的诞生，一部分源于 PhD 第 1 年做的一个失败的 CFT(Crash Fault Tolerance) 研究。
Dahlia 作为一个女性研究者，特意用「HotStuff」这个名字来揶揄大家的政治正确。
有人老会抱怨，别人总是把东西先弄出来 ，我们只能跟在后面学，但明明有机会做不一样东西的时候，却怂了，这是比较讽刺的地方。
是不是很多时候我们缺乏勇气，就不敢自己出来，硬起来做点事情。
HotStuff 和 Avalanche 是我学术上两个很有意义的尝试，前者是基于成熟的办法，去做成熟的解决方案 ，后者更多是学术上的一个反思。
在美国创业找靠谱的人很困难，中国人统计意义上真的很厉害。
AVA Labs 目前主要在写基础架构的是一个 2.5 年就从康奈尔本科毕业的小天才。
得知道什么是好坏美丑，虽然美的不一定赚钱， 甚至丑的可以成功，但是我们得知道，无论它再怎么成功，它也是丑的。
希望未来大家更少去关注共识，因为如果总是在说一件事情，说明这个东西还没做完。
Vitalik 很聪明，但有点过分神话，他有其局限性，并不特别「懂」共识。
ShowNotes
Ava Labs, Inc.
Libra 采用的 HotStuff 算法作者亲述：「尤物」诞生记
VMware
Scalable and Probabilistic Leaderless BFT Consensus through Metastability By Team Rocket
AVA Labs GitHub
Ling Ren
Time, Clocks, and the Ordering of Events in a Distributed System By Leslie Lamport
EVA
Ted 做的 Nerv 系统
攻壳机动队
黑客帝国
挪威的森林
Switch 动物森友会
赛博朋克 2077
vim
neovim
Emacs
ChromeBook
Archlinux on Pixelbook
在 Pixelbook 上用 Archlinux 工作
Rusty Nixie! 完全使用 Rust 制作辉光钟（1）
Special Guests: Ted Yin and 万涔涔.2020-04-101h 31
Pi ist genau 3Was ist ein Beweis?
In dieser Folge sprechen wir über Beweise, Unbeweisbares und Prinzessinnen.
Wir klären, wie ein Beweis aussehen muss, damit man ihn glaubt.Außerdem: Was kann man (nicht) beweisen und kann ein Computer Dinge für uns beweisen können?
Pixibuch “Der Prinzessinnen Wettstreit”Leslie Lamport: “How to Write a 21st Century Proof”Daniel Solow: “How to Read and Do Proofs: An Introduction to Mathematical Thought Processes”G.H. Hardy: “Mathematical Proof”.Albrecht Beutelspacher: “Das ist o.B.d.A. trivial! Eine Gebrauchsanleitung zur Formulierung mathematischer Gedanken”Man kann nicht alles was richtig ist auch beweisen.Das Whitehead pr...2020-04-0828 minÉrase una vez un algoritmo...Leslie Lamport, sistemas distribuidos y la importancia de las matemáticas en la programación | E2¡Enviáme un mensaje!Un podcast dedicado a Leslie Lamport sobre su trabajo y visión. Support the show2019-12-1016 min
Había una vez un algoritmo...Leslie Lamport, sistemas distribuidos y la importancia de las matemáticas en la programación | E2Un podcast dedicado a Leslie Lamport sobre su trabajo y visión. Get on the email list at camilocs.substack.com2019-12-1015 min
神经漫游 NeuromancingEP.2 - 如何「无人驾驶」，从科幻说起借着科幻式的推理，神无杨汉那我们三人谈起无人驾驶车的技术困境与科学基础来；末了还作了一番门外汉的伦理探讨。提到技术这个词，你不可避免地想到冰冷繁冗的细节。但技术也是日常的，正是那些习以为常的智慧创造了不假思索的便利。从业已熟悉的车辆道路城市，我们尝试畅想一个无人驾驶的复杂未来：无人车，共生道路，智慧城市。
我们强烈推荐你使用泛用型播客客户端收听我们的节目（如 iOS 系统中，苹果自带播客，Pocket Casts, Overcast, Castro, 或安卓系统中的 AntennaPod）因为这是第一时间听到我们的节目并得到每期完整背景资料的最佳方法。搜索「神经漫游」，你也可以在网易云音乐，喜马拉雅，荔枝 FM，哔哩哔哩和 Spotify 找到我们。
本期纲要
01:57 感官缺失的无人驾驶汽车不懂「做人」
06:68 要达到近人的判断力，机器不必拥有心智理论（ToM）？
18:46 像蚂蚁群落那样开车：群体智慧
28:25 可能最适合「无人驾驶」的道路
33:08 如何减少交通事故中的「人过」
37:32 深度学习不保证可靠性时，只得走人力的捷径
40:49 耗子都能「开车」了，AI 技术怎么回事
44:30 无人驾驶的电车难题无解？不仅是哲学问题
52:10 人与无人车共生于道路；流动空间重构公共生活
55:20 规避道德问题之难，譬如路权
58:20 科幻式反思：隐私 / 人脸识别 / 推荐算法 / 加密软件
科幻节选
片段1-王诺诺《全数据时代》 https://files.fireside.fm/file/fireside-uploads/images/b/b81f95d5-64eb-44d8-bf9c-2aca90deefb1/CQzRGZ3b.jpg
片段2-刘慈欣《地球大炮》 https://files.fireside.fm/file/fireside-uploads/images/b/b81f95d5-64eb-44d8-bf9c-2aca90deefb1/oFmiehbM.jpeg
片段3-《星球大战前传》 https://files.fireside.fm/file/fireside-uploads/images/b/b81f95d5-64eb-44d8-bf9c-2aca90deefb1/Qlm67j5c.jpg
延伸阅读
/神无量子提到/
会开车的老鼠 (https://www.jiemian.com/article/3649966.html)（果壳）/ 开车老鼠 (https://www.jiemian.com/article/3649966.html)（科普中国）
环境丰容（Environmental Richment）不仅对大鼠这类啮齿动物有效果，对灵长类动物也有效果，中国有科学家对动物园里的猩猩做过环境丰容实验，发现环境丰容可以引导其形成一些特定的行为，增加行为的多样性。
为什么蚂蚁永远不会“堵车”？ (https://www.sciencealert.com/ant-roads-are-practically-immune-to-traffic-jams-even-when-it-gets-crowded)
集体智能 (https://zh.wikipedia.org/wiki/%E9%9B%86%E9%AB%94%E6%99%BA%E6%85%A7) Collective Intelligence
小明不背锅_b站 (https://space.bilibili.com/31814567?from=search&seid=16985198039040308653)
ESP 车身电子稳定程序 (https://baike.baidu.com/item/%E7%94%B5%E5%AD%90%E7%A8%B3%E5%AE%9A%E7%A8%8B%E5%BA%8F%E7%B3%BB%E7%BB%9F/7179275)
ACC 自适应巡航技术 (https://www.zhihu.com/question/23113427)
EPS 传感器 (https://zhuanlan.zhihu.com/p/77764055)
LKA 车道保持系统 (https://zhuanlan.zhihu.com/p/20856382)
燃油喷射系统 (https://baike.baidu.com/item/%E7%87%83%E6%B2%B9%E5%96%B7%E5%B0%84%E7%B3%BB%E7%BB%9F)：机械控制、电动控制、机电混合控制
电控汽油喷射系统 (https://baike.baidu.com/item/%E7%94%B5%E6%8E%A7%E6%B1%BD%E6%B2%B9%E5%96%B7%E5%B0%84%E7%B3%BB%E7%BB%9F/3168684)：隶属于燃油喷射系统的一个子类，现代汽车大部分使用的就是这款技术。可以看出来，无人驾驶其实不仅仅是关乎于算法与识别，系统工程的各方面应用与信息交互也是非常重要的
/汉那提到/
2018 年报道 Cruise 无人驾驶汽车缺陷的文章（路透社） (https://www.reuters.com/article/us-gm-selfdriving-cruise-insight/gms-driverless-car-bet-faces-long-road-ahead-idUSKCN1MY0CK)指出该车不善判断物体静止与移动。
心智理论（Theory of Mind） (https://baike.baidu.com/item/%E5%BF%83%E6%99%BA%E7%90%86%E8%AE%BA)：人类先天能够以类推方式，假定其他人拥有与自己类似的心智，并根据这个假设来观察周围，做出合乎社会期待的反应与行动。原先被认为是人类特有，而后发现灵长类动物也具备简单的心智理论。（譬如倭猩猩能推断低级肢体语言，而非更复杂的心智活动）
无人驾驶汽车无法解决拥堵问题（好奇心日报） (http://www.qdaily.com/articles/57885.html)，此外卡尔索普提出自动化快速交通（Autonomous Rapid Transit，简称“ART”），在国王大道等主干道的预留车道上开辟一条无人驾驶货车专用道。...2019-11-1600 min
Elixir WizardsChris Keathley on Wallaby and Raft – Elixir InternalsIn this episode of the podcast we are joined by Chris Keathley to continue our exploration of Elixir internals as he tells us about two very popular libraries that he developed, Wallaby and Raft. We start off with some background and his initial experiences with Elixir and open source projects before diving into Wallaby and some of the biggest lessons that Chris learned during and after his work on the library.
Chris does a great job of explaining concurrent tests and the Sandbox and some of the reasons he has pretty much stopped working on the front...2019-08-1526 min
5 Minute MentorThink and Write, with Leslie Lamport
Subscribe on: iTunes | Spotify | Android | YouTube
Leslie Lamport is an American computer scientist. Lamport is best known for his seminal work in distributed systems and as the initial developer of the document preparation system LaTeX. Leslie Lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance...2019-08-1400 min
Future of CodingThe Case for Formal Methods: Hillel WayneHillel Wayne is a technical writer and consultant on a variety of formal methods, including TLA+ and Alloy. In this episode, Hillel gives a whirlwind tour of the 4 main flavors of formal methods, and explains which are practical today and which we may have to wait patiently for. The episode begins with a very silly joke from Steve (about a radioactive Leslie Lamport) and if you make it to the end you're in store for a few fun tales from Twitter. https://futureofcoding.org/episodes/038Support us on Patreon: https://www.patreon.com/futureofcoding2019-04-111h 33
Misreading Chat#45 – Why Amazon Chose TLA +仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/01/ep45.mp3
Why Amazon Chose TLA + | SpringerLink (Google Scholar)
How Amazon Web Services Uses Formal Methods
Practical TLA+: Planning Driven Development: Hillel Wayne
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers: Leslie Lamport
TLA+tlaplus/tlaplus: TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Follow up
Grenade! Dependently Typed Neural Networks — Monday Morning Haskell
ハイパーバイザの作り方
エンジニアなら知っておきたい仮想マシンのしくみ：連載｜gihyo.jp … 技術評論社
2019-01-1726 min
Software Engineering DailyTLA+ with Leslie LamportTLA+ is a formal specification language. TLA+ is used to design, model, and verify concurrent systems. TLA+ allows a user to describe a system formally with simple, precise mathematics.TLA+ was designed by Leslie Lamport, a computer scientist and Turing Award winner. Leslie joins the show to talk about the purpose of TLA+. Since its creation in 1999, TLA+ has been used to discover bugs in systems such as Amazon S3, DynamoDB, Xbox, and Cosmos DB.“TLA” stands for “temporal logic of actions”, a logical system that can be used to describe the behaviours of concurrent systems...2018-11-0938 min
Business and PhilosophyTLA+ with Leslie Lamport
TLA+ is a formal specification language. TLA+ is used to design, model, and verify concurrent systems. TLA+ allows a user to describe a system formally with simple, precise mathematics.
TLA+ was designed by Leslie Lamport, a computer scientist and Turing Award winner. Leslie joins the show to talk about the purpose of TLA+. Since its creation in 1999, TLA+ has been used to discover bugs in systems such as Amazon S3, DynamoDB, Xbox, and Cosmos DB.
“TLA” stands for “temporal logic of actions”, a logical system that can be used to describe the behaviours of concu...2018-11-0936 min
EmbeddedCute and SquishyLindsey Kuper (@lindsey) spoke with us about !!Con West, being a new professor, and reading technical journals. The call for speakers for !!Con West is open until November 30, 2018. The conference will be in Santa Cruz, CA on February 23-24. Lindsey’s blog is Composition.al and it has advice for !!Con proposals, advice for potential grad students, and updates on Lindsay’s work. The Banana Slug is the UCSC mascot. Time, Clocks, and the Ordering of Events in a Distributed System by Leslie Lamport, 19782018-11-091h 04
Un BIT de memoriaDe la panadería a los sistemas distribuidos
Leslie Lamport es un científico en la industria, un rara avis cuyas contribuciones han tenido un impacto tan sutil como importante. Lamport fue capaz de resolver problemas básicos en la construcción de los sistemas distribuidos y concurrentes de forma elegante e intuitiva lo que le hizo merecedor del Premio Turing en 2013. Con el crecimieno de las infraestructuras informáticas, sus contribuciones han cobrado cada vez más relevancia, siendo sus ideas la base para resolver grandes problemas de enorme actualidad como la replicación de sistemas, la verificación de los mismos o la tolerancia a fallos...2018-09-2158 min
La Tecnologería Radio - Todos los programasDe la panadería a los sistemas distribuidos
Leslie Lamport es un científico en la industria, un rara avis cuyas contribuciones han tenido un impacto tan sutil como importante. Lamport fue capaz de resolver problemas básicos en la construcción de los sistemas distribuidos y concurrentes de forma elegante e intuitiva lo que le hizo merecedor del Premio Turing en 2013. Con el crecimieno de las infraestructuras informáticas, sus contribuciones han cobrado cada vez más relevancia, siendo sus ideas la base para resolver grandes problemas de enorme actualidad como la replicación de sistemas, la verificación de los mismos o la tolerancia a fallos...2018-09-2158 minLa Tecnologería Radio - Todos los programasDe la panadería a los sistemas distribuidosLeslie Lamport es un científico en la industria, un rara avis cuyas contribuciones han tenido un impacto tan sutil como importante. Lamport fue capaz de resolver problemas básicos en la construcción de los sistemas distribuidos y concurrentes de forma elegante e intuitiva lo que le hizo merecedor del Premio Turing en 2013. Con el crecimieno […]
Lee la entrada completa en De la panadería a los sistemas distribuidos.2018-09-2158 minThe Changelog: Software Development, Open SourceZEIT, HyperTerm, now (Interview)Guillermo Rauch joined the show to talk with Adam about how he got into programming, how that lead him to what he’s doing now at ZEIT, the design of HyperTerm, and now.
Join the discussionChangelog++ members support our work, get closer to the metal, and make the ads disappear. Join today!Sponsors:Toptal – Take control of your career and join the best at Toptal. Email Adam at adam@changelog.com for a personal introduction to our friends at Toptal.
Linode – Our cloud server of choice! This is what we built...2016-07-301h 40Changelog InterviewsZEIT, HyperTerm, nowGuillermo Rauch joined the show to talk with Adam about how he got into programming, how that lead him to what he’s doing now at ZEIT, the design of HyperTerm, and now.
Join the discussionChangelog++ members support our work, get closer to the metal, and make the ads disappear. Join today!Sponsors:Toptal – Take control of your career and join the best at Toptal. Email Adam at adam@changelog.com for a personal introduction to our friends at Toptal.
Linode – Our cloud server of choice! This is what we built...2016-07-301h 40
KodsnackKodsnack 148 - Gå ut, ha sönder lite kodVi värmer upp med helskärmslägens diskreta charm på olika operativsystem och Standarder som blir för stora, kommer ivägen och innehåller för många bitar som inte tänker på varandra. Det är inte bara svårt att komma in i dem, utan ur dem också.
Sedan försöker vi besvara frågan hur man blir programmerare, hur man börjar programmera och var vi egentligen började. Att göra fel är att göra rätt!
Ett stort tack till Cloudnet som sponsrar vår VPS!
Har du kommentarer, f...2016-03-2258 min
Software Engineering DailyDistributed Systems with Leslie LamportThis episode is a republication from my interview with Leslie Lamport on Software Engineering Radio.Leslie Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. He also designed the document preparation tool LaTex. Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from a high level.The interview begins with a definition: a distributed system is a multiprocessor system in which the time required for interprocess communication is large compared to the time for events within a s...2016-02-2752 min
Greatest Hits Archives - Software Engineering DailyDistributed Systems with Leslie LamportThis episode is a republication from my interview with Leslie Lamport on Software Engineering Radio.
Leslie Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. He also designed the document preparation tool LaTex. Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from a high level.
The interview begins with a definition: a distributed system is a multiprocessor system in which the time required for interprocess communication is large compared to the time for events w...2016-02-2750 min
Cloud Engineering Archives - Software Engineering DailyDistributed Systems with Leslie LamportThis episode is a republication from my interview with Leslie Lamport on Software Engineering Radio.
Leslie Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. He also designed the document preparation tool LaTex. Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from a high level.
The interview begins with a definition: a distributed system is a multiprocessor system in which the time required for interprocess communication is large compared to the time for events w...2016-02-2750 min
Teahour#82 - 聊聊比特币背后的技术和 Blockchain本期节目由 思客教学 赞助，思客教学 “专注 IT 领域远程学徒式” 教育。
本期由 Terry 主持, 请到了他的最好基友 Jan, 和他聊聊比特币背后的技术, 分布式系统, 算法以及Blockchain.
Intridea
Peatio
ethfans
LMAX Disruptor
archlinux
bspwm
plan9
ranger
Is bitcoinn a good idea?
Merkle tree
Linked list
Hash List
Mixing
椭圆曲线签名算法 (ECDSA)
Checksum
RSA
Zerocash
Zero-knowledge proof
The Byzantine Generals Problem
Leslie Lamport
LaTeX
TeX
Donald Knuth
Lamport signature
PoW’s pros and cons
PoS’s pros and cons
DAO and DAC
scrypt
Proof-of-stake
Vitalik Buterin
Ethereum
gollum
Nick Szabo’s Smart Contracts Idea
Bitcoin Script
Special Guest: Jan.2015-12-262h 11
Les Cast Codeurs PodcastLCC 121 - Interview sur la recherche avec Pierre SutraOn est quasi tous “opérationnels”. On code une appli au quotidien pressé par les délais et le métier. On fait tomber en marche et on passe à autre chose.
Comment ça se passe du côté de la recherche ? Théories fumantes sur tableau noir et en blouse blanche ? Plongeons dans le quotidien de Pierre, chercheur à l’université de Neuchâtel.
Ouvrons un peu les ponts entre différentes communautés.
Enregistré le 13 mars 2015
Téléchargement de l’épisode LesCastCodeurs-Episode–121.mp3
Interview
Ta vie, ton œuvre
Pierre Sutra Université de Pa...2015-04-021h 02
Les Cast Codeurs PodcastLCC 121 - Interview sur la recherche avec Pierre SutraOn est quasi tous “opérationnels”. On code une appli au quotidien pressé par les délais et le métier. On fait tomber en marche et on passe à autre chose.
Comment ça se passe du côté de la recherche ? Théories fumantes sur tableau noir et en blouse blanche ? Plongeons dans le quotidien de Pierre, chercheur à l’université de Neuchâtel.
Ouvrons un peu les ponts entre différentes communautés.
Enregistré le 13 mars 2015
Téléchargement de l’épisode LesCastCodeurs-Episode–121.mp3
Interview
Ta vie, ton œuvre
Pierre Su...2015-04-021h 02
Hackerfunk: oggHF-088 - RobustIRCIn Folge 88 gehts um eine neue und verbesserte Version eines richtig alten Internetdienstes, nämlich den Internet Relay Chatservice, kurz IRC. Seit bald 40 Jahren gibt es das schon. Mit RobustIRC kommt nun eine Implementation, die einiges besser macht, und aber doch abwärtskompatibel ist. Michael “Secure” Stapelberg, einer der Hauptentwickler war im Hackerfunk zu Gast und erklärt, was RobustIRC anders macht, damit es eben robuster ist.
Trackliste
Paniq – Future Of The Internet
Hooligan – Shining
Level 99 – Radiance
Monotron – Only You
Intro Intro :: Max Kuttner - Die...2015-03-201h 48
HackerfunkHF-088 - RobustIRCIn Folge 88 gehts um eine neue und verbesserte Version eines richtig alten Internetdienstes, nämlich den Internet Relay Chatservice, kurz IRC. Seit bald 40 Jahren gibt es das schon. Mit RobustIRC kommt nun eine Implementation, die einiges besser macht, und aber doch abwärtskompatibel ist. Michael “Secure” Stapelberg, einer der Hauptentwickler war im Hackerfunk zu Gast und erklärt, was RobustIRC anders macht, damit es eben robuster ist.
Trackliste
Paniq – Future Of The Internet
Hooligan – Shining
Level 99 – Radiance
Monotron – Only You
Intro Intro :: Max Kuttner - Die schöne Adrienn...2015-03-201h 48Hackerfunk: mp3HF-088 - RobustIRCIn Folge 88 gehts um eine neue und verbesserte Version eines richtig alten Internetdienstes, nämlich den Internet Relay Chatservice, kurz IRC. Seit bald 40 Jahren gibt es das schon. Mit RobustIRC kommt nun eine Implementation, die einiges besser macht, und aber doch abwärtskompatibel ist. Michael “Secure” Stapelberg, einer der Hauptentwickler war im Hackerfunk zu Gast und erklärt, was RobustIRC anders macht, damit es eben robuster ist.
Trackliste
Paniq – Future Of The Internet
Hooligan – Shining
Level 99 – Radiance
Monotron – Only You
Intro Intro :: Max Kuttner - Die...2015-03-201h 48Hackerfunk: MP3HF-088 - RobustIRCIn Folge 88 gehts um eine neue und verbesserte Version eines richtig alten Internetdienstes, nämlich den Internet Relay Chatservice, kurz IRC. Seit bald 40 Jahren gibt es das schon. Mit RobustIRC kommt nun eine Implementation, die einiges besser macht, und aber doch abwärtskompatibel ist. Michael “Secure” Stapelberg, einer der Hauptentwickler war im Hackerfunk zu Gast und erklärt, was RobustIRC anders macht, damit es eben robuster ist.
Trackliste
Paniq – Future Of The Internet
Hooligan – Shining
Level 99 – Radiance
Monotron – Only You
Intro Intro :: Max Kuttner - Die...2015-03-201h 48
Edge CasesEdge Cases 95: Conflict-free Replicated Data TypesWolf Rentzsch talks to Andrew Pontious Conflict-free Replicated Datatypes (CRDTs), an exciting new suite of simple data types that are explicitly designed for distributed data storage. Also: CAP theorem, eventual consistency, and Indiana Jones.
Links:
apontious/BigFan « GitHub
CAP theorem « Wikipedia
Project management triangle « Wikipedia
CAP Twelve Years Later: How the “Rules” Have Changed « InfoQ
Leslie Lamport « Wikipedia
The Writings of Leslie Lamport « Microsoft Research
Sequential Consistency « Edge Cases
Starbucks Does Not Use Two-Phase Commit « Enterprise Integration Patterns
Your Coffee Shop Doesn’t Use Two-Phase Commit « IEEE Software Design (PDF)
Jepsen « Aphyr
Atomicity: Concurrent Data Access Without Blowing Up « Red...2014-07-0553 min
Software Engineering Radio - the podcast for professional software developersEpisode 203: Leslie Lamport on Distributed SystemsLeslie Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. He also designed the document preparation tool LaTex. Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from a high level. The interview begins with a […]2014-04-2948 minSoftware Engineering Radio - The Podcast for Professional Software DevelopersEpisode 203: Leslie Lamport on Distributed SystemsLeslie Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. He also designed the document preparation tool LaTex. Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from a high level. The interview begins with a […]2014-04-2948 minSoftware Engineering Radio - the podcast for professional software developersEpisode 203: Leslie Lamport on Distributed SystemsLeslie Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. He also designed the document preparation tool LaTex. Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from a high level. The interview begins with a […]2014-04-2948 min