I love PL & type theory. That’s the last content in this alley I posted a few years ago.
blog.mgechev.com/2017/08/05/t...
There’s an entire revolution in this field going on with Lean and mathlib. May get back to it!
I love PL & type theory. That’s the last content in this alley I posted a few years ago.
blog.mgechev.com/2017/08/05/t...
There’s an entire revolution in this field going on with Lean and mathlib. May get back to it!
Tiny tool that helps you inspect your agent's context and find what changed between calls
Find how to use it on my GitHub github.com/mgechev/cont...
Tiny tool that helps you inspect your agent's context and find what changed between calls
Find how to use it on my GitHub github.com/mgechev/cont...
AI clients like Claude and VS Code with Copilot can now read Vercel docs and securely access your projects, deployment logs, and more using OAuth with read-only permissions.
vercel.com/blog/introd...
AI clients like Claude and VS Code with Copilot can now read Vercel docs and securely access your projects, deployment logs, and more using OAuth with read-only permissions.
vercel.com/blog/introd...
This is where Carl Sagan’s explanation offers tremendous clarity.
This is where Carl Sagan’s explanation offers tremendous clarity.
- Carl Sagan
- Carl Sagan
(I fervently hope I’ve not overstepped and nudged anyone into dubious trains of thought.🫣)
(I fervently hope I’ve not overstepped and nudged anyone into dubious trains of thought.🫣)
Palantir erinnert in beunruhigender Weise an eine moderne Version überwachungsstaatlicher Strukturen; geradezu eine „Stasi v3.0“.
Wer solchen Entwicklungen tatenlos zusieht oder sie gar unterstützt, sollte sich der Tragweite seiner Haltung bewusst sein!
Palantir erinnert in beunruhigender Weise an eine moderne Version überwachungsstaatlicher Strukturen; geradezu eine „Stasi v3.0“.
Wer solchen Entwicklungen tatenlos zusieht oder sie gar unterstützt, sollte sich der Tragweite seiner Haltung bewusst sein!
Where & when did things go wrong?
Where & when did things go wrong?
🎥 BBC
🎥 BBC
Link: huggingface.co/spaces/wjbma...
Link: huggingface.co/spaces/wjbma...
And with inline metadata uv scripts
`hf jobs uv run my_script.py` all dependencies can be defined in a single file. So simple and so useful.
huggingface.co/docs/hugging...
And with inline metadata uv scripts
`hf jobs uv run my_script.py` all dependencies can be defined in a single file. So simple and so useful.
huggingface.co/docs/hugging...
Register now: aka.ms/mcpdevdays
Register now: aka.ms/mcpdevdays
Here's all you need to know.
vercel.com/blog/model-...
Here's all you need to know.
vercel.com/blog/model-...
🌀 mado — A Markdown linter written in Rust 🦀
✅ Compatible with CommonMark and GitHub Flavored Markdown (GFM).
🔥 Approx. 49-60x faster than existing linters
⭐ GitHub: github.com/akiomik/mado
#rustlang #markdown #linter #github #actions #ci
What if you could take your actors and take them over the network? Sometimes. If you want to.
This has been a pattern we (the iroh team) used for some CLIs and networked tools. And now we wrote about a crate we use to do that: IRPC! ("iroh RPC")
📝 I’ve just published a brand-new blog post that covers the most critical fundamentals. It’s chock full of interactive demos. 😄
Check it out:
📝 I’ve just published a brand-new blog post that covers the most critical fundamentals. It’s chock full of interactive demos. 😄
Check it out:
🧊 terminal3d — View 3D obj files in the terminal.
🌀 Support using mouse controls & different render modes.
🦀 Written in Rust!
⭐ GitHub: github.com/liam-ilan/te...
#rustlang #terminal #3d #object #graphics #opensource #commandline
🧊 terminal3d — View 3D obj files in the terminal.
🌀 Support using mouse controls & different render modes.
🦀 Written in Rust!
⭐ GitHub: github.com/liam-ilan/te...
#rustlang #terminal #3d #object #graphics #opensource #commandline