Tile

GitHub Feeds

GitHub updates, ideas, and inspiration for developers.

57 feeds
Loading tags...
Tile
All Feeds RSS

All GitHub Feeds

View all entries from GitHub
Tile
https://lawrencecpaulson.github.io/feed.xml RSS

https://lawrencecpaulson.github.io/feed.xml

Machine Logic is Lawrence Paulson's blog on Isabelle/HOL and related topics.
Last seen 1 week ago • 11 views
Tile
https://nockawa.github.io/feed.xml RSS

Nockawa’s Blog

Hello there, I'm Loïc Baumann<br/> Welcome to my site<br/> I talk about programming
Last seen 1 week ago • 11 views
Tile
https://github.blog/author/aiqiaoy/feed/ RSS

Aiqiao Yan, Author at The GitHub Blog

Updates, ideas, and inspiration from GitHub to help developers build and design software.
Last seen 11 months ago • 250 views
Tile
https://github.blog/author/ashwinmohan86/feed/ RSS

Ashwin Mohan, Courtney Claessens, Author at The GitHub Blog

Updates, ideas, and inspiration from GitHub to help developers build and design software.
Last seen 11 months ago • 244 views
Tile
https://github.blog/author/jhutchings1/feed/ RSS

Justin Hutchings, Author at The GitHub Blog

Updates, ideas, and inspiration from GitHub to help developers build and design software.
Last seen 11 months ago • 213 views
Tile
https://github.blog/author/drogart/feed/ RSS

Jiaqi Liu, Daniel Rogart, Xin Wu, Author at The GitHub Blog

Updates, ideas, and inspiration from GitHub to help developers build and design software.
Last seen 11 months ago • 141 views
Tile
https://github.blog/news-insights/policy-news-and-insights/feed/ RSS

The latest policy updates for developers - The GitHub Blog

Updates, ideas, and inspiration from GitHub to help developers build and design software.
Last seen 11 months ago • 307 views
Tile
https://github.blog/ai-and-ml/generative-ai/feed/ RSS

The latest on Generative AI - The GitHub Blog

Updates, ideas, and inspiration from GitHub to help developers build and design software.
Last seen 11 months ago • 236 views
Tile
https://github.blog/developer-skills/programming-languages-and-frameworks/feed/ RSS

The latest on programming languages - The GitHub Blog

Updates, ideas, and inspiration from GitHub to help developers build and design software.
Last seen 11 months ago • 283 views
Tile
https://github.blog/author/wchabbott/feed/ RSS

Walker Chabbott, Author at The GitHub Blog

Updates, ideas, and inspiration from GitHub to help developers build and design software.
Last seen 11 months ago • 261 views
Tile
https://hnrss.github.io/updates.xml RSS

hnrss.org updates

A feed announcing updates related to hnrss.org
Last seen 9 months ago • 198 views
Tile

View full article
Tile
Select a feed to view its content
Most proofs are trivial

Most proofs are trivial

Wed, 15 Oct 2025 00:00:00 +0000
"Why not just use Lean?"

"Why not just use Lean?"

Thu, 23 Apr 2026 00:00:00 +0000
Definite integrals, II: improper integrals

Definite integrals, II: improper integrals

Thu, 21 Aug 2025 00:00:00 +0000
Broken proofs and broken provers

Broken proofs and broken provers

Thu, 15 Jan 2026 00:00:00 +0000
"Why don't you use dependent types?"

"Why don't you use dependent types?"

Sun, 02 Nov 2025 00:00:00 +0000
Everything you know is wrong

Everything you know is wrong

Sat, 20 Sep 2025 00:00:00 +0000
Set theory with types

Set theory with types

Fri, 21 Nov 2025 00:00:00 +0000
Memories: doing my PhD at Stanford, under John L Hennessy

Memories: doing my PhD at Stanford, under John L Hennessy

Fri, 13 Feb 2026 00:00:00 +0000
Program verification is not all-or-nothing

Program verification is not all-or-nothing

Fri, 05 Sep 2025 00:00:00 +0000
50 years of proof assistants

50 years of proof assistants

Fri, 05 Dec 2025 00:00:00 +0000