惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

V2EX - 技术
V2EX - 技术
L
LangChain Blog
IT之家
IT之家
S
SegmentFault 最新的问题
博
博客园 - 三生石上(FineUI控件)
H
Hackread – Cybersecurity News, Data Breaches, AI and More
T
The Blog of Author Tim Ferriss
Blog — PlanetScale
Blog — PlanetScale
N
Netflix TechBlog - Medium
U
Unit 42
B
Blog RSS Feed
GbyAI
GbyAI
Microsoft Security Blog
Microsoft Security Blog
博
博客园 - 司徒正美
Apple Machine Learning Research
Apple Machine Learning Research
T
Threatpost
C
CERT Recently Published Vulnerability Notes
Cisco Talos Blog
Cisco Talos Blog
The Register - Security
The Register - Security
Vercel News
Vercel News
S
Schneier on Security
Spread Privacy
Spread Privacy
C
Cyber Attacks, Cyber Crime and Cyber Security
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
博
博客园 - 叶小钗
雷峰网
雷峰网
博
博客园_首页
人人都是产品经理
人人都是产品经理
P
Palo Alto Networks Blog
The Hacker News
The Hacker News
T
Tor Project blog
L
Lohrmann on Cybersecurity
Know Your Adversary
Know Your Adversary
D
Darknet – Hacking Tools, Hacker News & Cyber Security
C
Cybersecurity and Infrastructure Security Agency CISA
P
Privacy International News Feed
钛媒体：引领未来商业与生活新知
钛媒体：引领未来商业与生活新知
T
Tenable Blog
V
Vulnerabilities – Threatpost
大猫的无限游戏
大猫的无限游戏
博
博客园 - 【当耐特】
V
V2EX
Security Latest
Security Latest
A
About on SuperTechFans
Cloudbric
Cloudbric
S
Security Affairs
MongoDB | Blog
MongoDB | Blog
Y
Y Combinator Blog
Martin Fowler
Martin Fowler
TaoSecurity Blog
TaoSecurity Blog

CoRecursive: Coding Stories

The Pre-Training Wall and the Treadmill After It The Aging Programmer From Hacker News to TikTok The Universal Paperclip Clicker Inside Early Google https://corecursive.com/debugging-yourself-with-burke-holland/ Godbolt's Rule Risk Rolls Downhill Podcast Update Coding in the Red-Queen Era When AI Codes, What’s Left for me? Coding Through Chaos The Power of Context: Reimagining Learning briffa_sep98_e.pro https://corecursive.com/hatetris-with-david-and-felipe/ One Million Checkboxes Leaving Stripe CoRecursive Podcast ReiserFS From Everest to Startups From Code to Capital Discovering the power of story-telling in engineering | Adam Gordon Bell (CoRecursive) Navigating Corporate Giants From Burnout to Breakthrough Coding Machines Code, Kickflips and Crunch Time Leaving LinkedIn Beautiful Code Code as a Lifeline From 486 to Vue.js Platform Takes The Pain Sloot Digital Coding System Configuring Identity The Science of Learning to Code A Dark Room - From Code Hobo to Indie Game Developer Quitting (And Then Rejoining) Stack Overflow Story: From Project Management to Data Compression Innovator JSON vs XML Sun's Mobile Blunders Shipping Graphing Calculator The Unfulfilled Engineer DOOMed to Fail: A Horror Story Software World Tour Android's Unlikely Success From Prison To Programming CPAN The History and Mystery Of Eliza Why still 80 columns? LISP in Space April Fools' Is Cancelled (2014) The Story Graph Story: Serenity OS Chat: The Internet Is Made of Duct Tape Story: Cocoa Culture Story: Leaving Debian Story: The Original Remote Developer Chat: Quines, Polygot Code, and Other Fun Computations Story: Full-Time Open Source Story: The Untold Story of SQLite Story: From Competitive Programming to APL Story: Ethereum Rescue Story: Apple 2001 Story: Video Game Programming From Scratch Story: Reinforcement Learning At Facebook with Jason Gauci Chat: 2020 Year End Story: Frontiers of Performance with Daniel Lemire Story: The Birth of Unix with Brian Kernighan Story: To The Assembly Story: Memento Mori Story: We are teaching Functional Programming Wrong Story: Software That Doesn't Suck With Jim Blandy Story: Unproven Tech Case Study with Sean Allen Story: Krystal's Story Story: Learning a new language with Bruce Tate Story: Portal Abstractions with Sam Ritchie Chat: Loving Legacy Code with Jonathan Boccara Tech Talk: The Reason For Types with Jared Forsyth on ReasonML and Javascript Tech Talk: Karl L Hughes on Speaking and Conference Talks Chat: Don and Adam discuss folds Story: David Heinemeier Hansson, Software Contrarian Tech Talk: The Business Of Developer Tools With Lee Edwards Tech Talk: Software in Context with Zach Tellman Tech Talk: Beautiful and Useless Coding with Allison Parrish Tech Talk: Tech Evangelism and Open source With Gabriel Gonzalez Tech Talk: Structure and Interpretation of Computer Programs with Hal Abelson Tech Talk: Open Source Health and Diversity with Heather C Miller Tech Talk: Compiling to Bytecode with Thorsten Ball Tech Talk: Bartosz Milewski on Category Theory Tech Talk: Jimmy Koppel on Advanced Software Design Tech Talk: Typescript with Chris Krycho Modern Systems Programming Tech Talk: Learning to Think with Andy Hunt - Pragmatic Programmers guide to being productive Tech Talk: Data and Scale with Pat Helland - The long view on distributed databases Abstraction and Learning with Runar Bjarnason Burn out and recreational coding with Jamis Buck Tech Talk: Software as a Reflection of Values With Bryan Cantrill Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen Tech Talk: Big Ball Of Mud Tech Talk: God's Programming Language - Philip Wadler on Haskell Tech Talk: Test in Production and being On-Call with Charity Majors
Tech Talk: Idris, Proofs and Haskell with Edwin Brady
2018-01-29 · via CoRecursive: Coding Stories
Tech Talks are in-depth technical discussions. Edwin Brady is the creator of the Idris programming language a…

此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。