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

推荐订阅源

Exploit-DB.com RSS Feed
Exploit-DB.com RSS Feed
Cisco Talos Blog
Cisco Talos Blog
T
Threat Research - Cisco Blogs
P
Privacy International News Feed
S
Schneier on Security
P
Privacy & Cybersecurity Law Blog
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
云风的 BLOG
云风的 BLOG
P
Proofpoint News Feed
Scott Helme
Scott Helme
人人都是产品经理
人人都是产品经理
G
GRAHAM CLULEY
O
OpenAI News
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
PCI Perspectives
PCI Perspectives
GbyAI
GbyAI
宝玉的分享
宝玉的分享
Y
Y Combinator Blog
T
Troy Hunt's Blog
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
C
CXSECURITY Database RSS Feed - CXSecurity.com
腾
腾讯CDC
C
Check Point Blog
Spread Privacy
Spread Privacy
L
LINUX DO - 最新话题
Recent Announcements
Recent Announcements
大猫的无限游戏
大猫的无限游戏
P
Palo Alto Networks Blog
Hacker News: Ask HN
Hacker News: Ask HN
M
MIT News - Artificial intelligence
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
The Hacker News
The Hacker News
H
Hacker News: Front Page
Microsoft Azure Blog
Microsoft Azure Blog
I
InfoQ
T
Tor Project blog
Martin Fowler
Martin Fowler
博
博客园 - 叶小钗
罗
罗磊的独立博客
C
Cyber Attacks, Cyber Crime and Cyber Security
H
Heimdal Security Blog
V
Vulnerabilities – Threatpost
Simon Willison's Weblog
Simon Willison's Weblog
Latest news
Latest news
WordPress大学
WordPress大学
G
Google Developers Blog
N
Netflix TechBlog - Medium
S
Security Affairs
S
Secure Thoughts
Know Your Adversary
Know Your Adversary

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阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。