@filiplajszczak.bsky.social
Reposted
Recently came across @filiplajszczak.bsky.social's series formalizing a 1967 math textbook in #LeanLang.
Designed for those "with no prior experience with formalization" - nice bridge for newcomers to #LeanProver!
Read the intro post here: filip.lajszczak.dev/lean-4-with-...
Designed for those "with no prior experience with formalization" - nice bridge for newcomers to #LeanProver!
Read the intro post here: filip.lajszczak.dev/lean-4-with-...
Lean 4 with a Math Textbook - Part 0 - Introduction — Some opinions, held with varying degrees of certainty.
filip.lajszczak.dev
September 10, 2025 at 7:44 PM
Recently came across @filiplajszczak.bsky.social's series formalizing a 1967 math textbook in #LeanLang.
Designed for those "with no prior experience with formalization" - nice bridge for newcomers to #LeanProver!
Read the intro post here: filip.lajszczak.dev/lean-4-with-...
Designed for those "with no prior experience with formalization" - nice bridge for newcomers to #LeanProver!
Read the intro post here: filip.lajszczak.dev/lean-4-with-...
"Users are left bewildered, and our support inbox fills with messages such as “Where’s the ‘Foo’ button?” Unfortunately, the only honest reply is that the button never existed–the LLM simply hallucinated it."
The age of guessing what the LLM meant is over (or elevated to the new level).
blog.pythonanywhere.com/220/
blog.pythonanywhere.com/220/
Direct interaction of LLM chats with PythonAnywhere via the Model Context Protocol - PythonAnywhere News
blog.pythonanywhere.com
July 11, 2025 at 8:28 PM
"Users are left bewildered, and our support inbox fills with messages such as “Where’s the ‘Foo’ button?” Unfortunately, the only honest reply is that the button never existed–the LLM simply hallucinated it."
Reposted
Connect your AI coding assistant directly to PythonAnywhere! It works with Claude, Copilot, Cursor, and any MCP-compatible tool. See github.com/pythonanywhe...
GitHub - pythonanywhere/pythonanywhere-mcp-server
Contribute to pythonanywhere/pythonanywhere-mcp-server development by creating an account on GitHub.
github.com
July 8, 2025 at 1:59 PM
Connect your AI coding assistant directly to PythonAnywhere! It works with Claude, Copilot, Cursor, and any MCP-compatible tool. See github.com/pythonanywhe...
Reposted
"innit": a new system image for PythonAnywhere with support for Python up to version 3.13: blog.pythonanywhere.com/219/
innit: a new system image, with Python 3.13 and Ubuntu 22.04 - PythonAnywhere News
blog.pythonanywhere.com
March 27, 2025 at 1:23 PM
"innit": a new system image for PythonAnywhere with support for Python up to version 3.13: blog.pythonanywhere.com/219/
Thanks to @brianokken.bsky.social for mentioning my blog on @pythonbytes.fm. Looks like I should add a pronunciation guide for my surname. www.youtube.com/live/P0VHDhU...
Python Bytes 421 Live Stream
YouTube video by Python Bytes Podcast
www.youtube.com
February 25, 2025 at 1:56 PM
Thanks to @brianokken.bsky.social for mentioning my blog on @pythonbytes.fm. Looks like I should add a pronunciation guide for my surname. www.youtube.com/live/P0VHDhU...
Account should not be empty, so here are some notes on the margin of Chapter 3 of @hjwp.bsky.social and Bob Gregory's Architecture Patterns with Python. (great book, btw) filip.lajszczak.dev/testing-depe... #python #pytest #ddd #tdd
Testing Dependency Injection with Mocks – Notes on the Margin of Chapter 3 of Architecture Patterns with Python — Some opinions, held with varying degrees of certainty.
by Filip Łajszczak
filip.lajszczak.dev
February 14, 2025 at 6:28 PM
Account should not be empty, so here are some notes on the margin of Chapter 3 of @hjwp.bsky.social and Bob Gregory's Architecture Patterns with Python. (great book, btw) filip.lajszczak.dev/testing-depe... #python #pytest #ddd #tdd