Afgespeeld
-
歡迎收聽Tech a break，我是主持人懶懶，產業發展方興未艾之際，台灣開始面臨國際專利官司的挑戰。面對來自德國的專利蟑螂，劉菁雯女士被賦予了前往德國打官司的重任，請聽眾們先想像一下，在email、雲端儲存空間都沒得選擇，網路通訊尚未發達的年代，要如何帶著兩大箱紙本佐證資料前往德國面對國際官司呢? 其所承受的壓力、這背後所具備的勇氣與能力又有哪些呢?
➤聯絡我們【TechTHY預見科技桃花源】計畫
官網：https://techthy.org/
Facebook： https://www.facebook.com/TechTaoHuaYuan/
Email：[email protected]
➤半導體科普動畫【TECH CHIP 科技洋芋片】
Youtube：https://www.youtube.com/c/TaiwanTechChip
Instagram: https://www.instagram.com/taiwan_tech_chip/
網站：https://techthy.org/ichistory-techchip/
本系列節目是由預見科技桃花源計畫團隊監製執行，感謝科技部、工研院院友會與清華大學給予支持與指導。
留言告訴我你對這一集的想法： https://open.firstory.me/user/cksol7t0y4ecb0897bw86ohpe/comments
Powered by Firstory Hosting -
本期嘉宾梅凌婕May是康奈尔大学的心理学硕士，《意志力》作者鲍迈斯特的中国学生，美好心理实验室CEO。她的公众号是@美好心理实验室，她的抖音是：厌学梅老师。
May曾经亲自参与过近期被揭露的洗脑培训Legacy课程，作为心理学专业人士对课程的体验和设计有许多观察与批判。本期节目我们一起拆解和分析了这个课程的种种细节，希望以这样的方对不幸去世和遭受过伤害的所有Legacy学员表示最真诚的哀悼和关怀。本期话题包括：
2:46 听到“全天集训”时May就知道有可能要洗脑了
10:42 不知情同意：课程内容和方法未知，但却要承诺参与
23:01 课程的情绪强度是心理咨询的10倍
30:15 学员敞开心扉并不是因为安全，是因为胁迫服从
40:50 课程破坏了学员群体的底层道德假设
49:59 课程设置可以反推出赚钱比学员成长更重要的价值内核
55:05 投资人圈子为什么中招：对奇迹的追求和高估自身判断力
65:21 为什么从产品设计角度课程可以打60分？
70:40 年轻人报名课程和老年人买保健品被骗惊人地相似
79:32 过度承担责任的确有可能增加掌控感和力量感
85:42 合理的课程设计应该包括什么：聚焦具体场景，专业师资，不考评转介，透明性和自愿性
91:55 盈利和助人的健康平衡：受助者成长和利益永远大于经济收益
节目中提到的延展阅读文章：
《五天剥夺理性，解密洗脑培训的千层套路》，果壳网：
https://mp.weixin.qq.com/s/F4sQ6GOxONr--JBA5Y2EMA
《沉默的 Legacy 与需要它的精英》，晚点LatePost：
https://mp.weixin.qq.com/s/-FrK4JhuEH4SSfXeGjqITw
【以下是赞助广告信息，希望可以得到你的支持】
向你推荐一个我在专业上相当认可的心理自助工具，可以有效改善焦虑、抑郁、压力和失眠等问题，效果得到数据明确支持。该工具名为《21天正念书写行动营》，价格仅是半次心理咨询的费用，是通过咨询解决情绪问题之外的不错选择，详情：http://t.cn/A62UreHJ 或者搜索关注公众号暂停实验室，回复steve50，即可获得Steve说听众专属优惠购买链接。
“Steve说”被评为2019苹果最佳播客，是心理咨询师和心理学科普作者史秀雄（Steve Shi）的个人播客节目。这是一个通过深度交流拓展意识边界，探索个人成长之道，加深对自我和世界理解的谈话类节目。他的微博和公众号是@史秀雄Steve，也欢迎访问节目官网http://steveshuo.com 或者到https://afdian.net/@steveshuo 赞助本节目 -
中国企业品牌出海成为2023年最热的经济话题之一。
知识产权保护问题对于企业出海来说已经越来越重要，尤其是那些希望建立全球性品牌的企业。专利、商标、商业机密等在内的各种知识产权，不仅是企业保护自身产品和优势的利器，也有可能成为竞争方攻击的武器。因而，无论是刚刚起步的初创企业，还是已经拥有成熟业务的企业，保护知识产权都是至关重要的。
在本期播客中，我们将和曾在中国和美国湾区执业的知识产权律师嘉宾一起探讨出海企业的知识产权保护故事以及中国企业常常忽视的问题。
嘉宾
屈素瑞，诉讼律师，北京大学工学院本科，康奈尔大学法学博士，主要从事专利、商业秘密等知识产权诉讼和咨询业务，目前就职Pillsbury Winthrop Shaw Pittman LLP的旧金山办公室，之前也曾就职于一家国内红圈所从事中国知识产权诉讼业务。
本期亮点
01:11 关于嘉宾
06:21 中国企业在国际市场常常有的知识产权保护误区
19:09 以美国为例，他的专利保护制度如何？
25:23 如何保护商业秘密？
28:30 法庭上的攻守故事
49:30 为何商业秘密争议中，人成为了主要因素？
52:36 337调查是什么？他如何成为挑战中国企业的武器？
延展阅读：美国拟全面禁止员工竞业禁止条款
音乐：植物学家的女儿 by 孟慧圆
欢迎关注公众号「文马法律实验室」，分享更多法律文章和收听播客节目
非常欢迎大家留言分享关于本期节目的一些看法、经验和问题。也很希望大家留言，讲讲你们想收听的内容。观点、意见和投稿请联系微信：Wenmainlaw
-
In episode 74 of The Gradient Podcast, Daniel Bashir speaks to Professor Talia Ringer.
Professor Ringer is an Assistant Professor with the Programming Languages, Formal Methods, and Software Engineering group at the University of Illinois at Urbana Champaign. Their research leverages proof engineering to allow programmers to more easily build formally verified software systems.
Have suggestions for future podcast guests (or other feedback)? Let us know here or reach us at [email protected]
Subscribe to The Gradient Podcast: Apple Podcasts | Spotify | Pocket Casts | RSSFollow The Gradient on Twitter
Outline:
* (00:00) Daniel’s long annoying intro
* (02:15) Origin Story
* (04:30) Why / when formal verification is important
* (06:40) Concerns about ChatGPT/AutoGPT et al failures, systems for accountability
* (08:20) Difficulties in making formal verification accessible
* (11:45) Tactics and interactive theorem provers, interface issues
* (13:25) How Prof Ringer’s research first crossed paths with ML
* (16:00) Concrete problems in proof automation
* (16:15) How ML can help people verifying software systems
* (20:05) Using LLMs for understanding / reasoning about code
* (23:05) Going from tests / formal properties to code
* (31:30) Is deep learning the right paradigm for dealing with relations for theorem proving?
* (36:50) Architectural innovations, neuro-symbolic systems
* (40:00) Hazy definitions in ML
* (41:50) Baldur: Proof Generation & Repair with LLMs
* (45:55) In-context learning’s effectiveness for LLM-based theorem proving
* (47:12) LLMs without fine-tuning for proofs
* (48:45) Something ~ surprising ~ about Baldur results (maybe clickbait or maybe not)
* (49:32) Asking models to construct proofs with restrictions, translating proofs to formal proofs
* (52:07) Methods of proofs and relative difficulties
* (57:45) Verifying / providing formal guarantees on ML systems
* (1:01:15) Verifying input-output behavior and basic considerations, nature of guarantees
* (1:05:20) Certified/verifies systems vs certifying/verifying systems—getting LLMs to spit out proofs along with code
* (1:07:15) Interpretability and how much model internals matter, RLHF, mechanistic interpretability
* (1:13:50) Levels of verification for deploying ML systems, HCI problems
* (1:17:30) People (Talia) actually use Bard
* (1:20:00) Dual-use and “correct behavior”
* (1:24:30) Good uses of jailbreaking
* (1:26:30) Talia’s views on evil AI / AI safety concerns
* (1:32:00) Issues with talking about “intelligence,” assumptions about what “general intelligence” means
* (1:34:20) Difficulty in having grounded conversations about capabilities, transparency
* (1:39:20) Great quotation to steal for your next thinkpiece + intelligence as socially defined
* (1:42:45) Exciting research directions
* (1:44:48) Outro
Links:
* Talia’s Twitter and homepage
* Research
* Concrete Problems in Proof Automation
* Baldur: Whole-Proof Generation and Repair with LLMs
* Research ideas
Get full access to The Gradient at thegradientpub.substack.com/subscribe -
Edward Frenkel is a mathematician at UC Berkeley working on the interface of mathematics and quantum physics. He is the author of Love and Math: The Heart of Hidden Reality. Please support this podcast by checking out our sponsors:
- House of Macadamias: https://houseofmacadamias.com/lex and use code LEX to get 20% off your first order
- Shopify: https://shopify.com/lex to get free trial
- ExpressVPN: https://expressvpn.com/lexpod to get 3 months free
EPISODE LINKS:
Edward's Website: https://edwardfrenkel.com
Edward's Book - Love and Math: https://amzn.to/40Bgxh0
Edward's Twitter: https://twitter.com/edfrenkel
Edward's YouTube: https://youtube.com/edfrenkel
Edward's Instagram: https://instagram.com/edfrenkel
PODCAST INFO:
Podcast website: https://lexfridman.com/podcast
Apple Podcasts: https://apple.co/2lwqZIr
Spotify: https://spoti.fi/2nEwCF8
RSS: https://lexfridman.com/feed/podcast/
YouTube Full Episodes: https://youtube.com/lexfridman
YouTube Clips: https://youtube.com/lexclips
SUPPORT & CONNECT:
- Check out the sponsors above, it's the best way to support this podcast
- Support on Patreon: https://www.patreon.com/lexfridman
- Twitter: https://twitter.com/lexfridman
- Instagram: https://www.instagram.com/lexfridman
- LinkedIn: https://www.linkedin.com/in/lexfridman
- Facebook: https://www.facebook.com/lexfridman
- Medium: https://medium.com/@lexfridman
OUTLINE:
Here's the timestamps for the episode. On some podcast players you should be able to click the timestamp to jump to that time.
(00:00) - Introduction
(05:54) - Mathematics in the Soviet Union
(16:05) - Nature of reality
(27:23) - Scientific discoveries
(40:45) - Observing reality
(56:57) - Complex numbers
(1:05:42) - Imagination
(1:13:33) - Pythagoreanism
(1:21:28) - AI and love
(1:34:07) - Gödel's Incompleteness Theorems
(1:54:32) - Beauty in mathematics
(1:59:02) - Eric Weinstein
(2:20:57) - Langlands Program
(2:27:36) - Edward Witten
(2:30:41) - String theory
(2:36:10) - Theory of everything
(2:45:03) - Mathematics in academia
(2:50:30) - How to think
(2:56:16) - Fermat's Last Theorem
(3:11:07) - Eric Weinstein and Harvard
(3:18:32) - Antisemitism
(3:38:45) - Mortality
(3:46:42) - Love -
聊聊這次超導體的來龍去脈，以及對於未來科技的幻想。 歡迎留言！ 我的IG：harryspeaks_ 本集逐字稿：https://drive.google.com/file/d/1-7MFiuemwgRhol1leKswV1Wjpayk4N6N/view?usp=sharing --Hosting provided by SoundOn
-
聽衆調查連結在下方 本集由【ASUS】贊助播出 ROG Zephyrus G16 無懼．西風之神 ▸ 潮流便攜｜鉑月銀、日蝕灰質感配色，1.49 cm 薄、1.85 kg 起 ▸ 強大效能｜Intel Core Ultra 9 處理器，最高 GeForce RTX 4090 顯示卡，體驗全新AI 效能，圖像生成、影音編輯更快速，更省電！ ▸ROG Nebula 霓真技術｜2.5K 240Hz OLED 鮮豔流暢，大大升級遊戲與創作體驗！ #華碩教育商店 學生教職員享獨家折扣 現在登錄再送500元購物金 最強電競筆電我還不買爆? 加入華碩教育商店: https://tw.asus.click/A2GrBR 酷潮來襲 AI筆電全都要 逛逛華碩官方商城: https://tw.asus.click/HP6cWU --- 本集逐字稿：https://drive.google.com/file/d/1QZtoP1_yhYqIJYxz9vmQdBb-ES-uurkX/view?usp=sharing 00:00 ROG Zephyrus G16 04:15 TIktok 11:18 AI軟體工程師 Devin 21:35 Cognition 這間公司 23:02 Devin的運作原理 27:43 Devin 如何影響軟體工程職涯前景 42:22 Starship IFT3 49:50 Figure AI的機器人 --- 商業合作：[email protected]（請先參考：https://www.techwavpod.com/%E5%95%86%E6%A5%AD%E5%90%88%E4%BD%9C） 哈利的IG：harryspeaks_ 哈利的電子書：從簡單的數學瞭解機器學習 電子書購買連結：https://harryspeaks.kaik.io/digital-downloads/math-for-machine-learning --- --Hosting provided by SoundOn
