Marco D'Agostini
@madacol.com
madacol.com
I love to automate stuffs, mostly using web pages nowadays
I love to automate stuffs, mostly using web pages nowadays
Reposted by Marco D'Agostini
oh this is neat — Qwen’s newest image model decomposes images into layers (how photoshop works), and you edit just one layer and nothing else
qwen.ai/blog?id=qwen...
qwen.ai/blog?id=qwen...
Qwen
Qwen Chat offers comprehensive functionality spanning chatbot, image and video understanding, image generation, document processing, web search integration, tool utilization, and artifacts.
qwen.ai
December 19, 2025 at 9:02 PM
oh this is neat — Qwen’s newest image model decomposes images into layers (how photoshop works), and you edit just one layer and nothing else
qwen.ai/blog?id=qwen...
qwen.ai/blog?id=qwen...
I am increasingly starting to suspect that a good chunk of our social problems with social media is selection bias in disguise
October 27, 2025 at 12:54 PM
I am increasingly starting to suspect that a good chunk of our social problems with social media is selection bias in disguise
Reposted by Marco D'Agostini
Claude Skills are awesome, maybe a bigger deal than MCP
simonwillison.net/2025/Oct/16/...
simonwillison.net/2025/Oct/16/...
Claude Skills are awesome, maybe a bigger deal than MCP
Anthropic this morning introduced Claude Skills, a new pattern for making new abilities available to their models: Claude can now use Skills to improve how it performs specific tasks. Skills …
simonwillison.net
October 16, 2025 at 9:25 PM
Claude Skills are awesome, maybe a bigger deal than MCP
simonwillison.net/2025/Oct/16/...
simonwillison.net/2025/Oct/16/...
Reposted by Marco D'Agostini
1/ 🚨 NEW NPM MALWARE CAMPAIGN. Yes, another.
North Korea’s “Contagious Interview” campaign is escalating: 338 malicious npm packages, 50,000+ downloads -- 25 still live.
Aimed at Web3/crypto devs & job seekers via slick recruiter DMs → git clone → npm install → compromise.
North Korea’s “Contagious Interview” campaign is escalating: 338 malicious npm packages, 50,000+ downloads -- 25 still live.
Aimed at Web3/crypto devs & job seekers via slick recruiter DMs → git clone → npm install → compromise.
October 10, 2025 at 11:02 PM
1/ 🚨 NEW NPM MALWARE CAMPAIGN. Yes, another.
North Korea’s “Contagious Interview” campaign is escalating: 338 malicious npm packages, 50,000+ downloads -- 25 still live.
Aimed at Web3/crypto devs & job seekers via slick recruiter DMs → git clone → npm install → compromise.
North Korea’s “Contagious Interview” campaign is escalating: 338 malicious npm packages, 50,000+ downloads -- 25 still live.
Aimed at Web3/crypto devs & job seekers via slick recruiter DMs → git clone → npm install → compromise.
Reposted by Marco D'Agostini
(The same thing extends to prompt injection. Human employees are often tricked, scammed or phished, and that’s the baseline that computers need to beat.)
October 9, 2025 at 12:24 PM
(The same thing extends to prompt injection. Human employees are often tricked, scammed or phished, and that’s the baseline that computers need to beat.)
Reposted by Marco D'Agostini
Both these are true.
October 5, 2025 at 8:43 PM
Both these are true.
Reposted by Marco D'Agostini
You can just make things on the web collaborative by adding a single HTML attribute...
October 5, 2025 at 11:53 PM
You can just make things on the web collaborative by adding a single HTML attribute...
Reposted by Marco D'Agostini
i wrote about atproto and why it matters
Open Social — overreacted
The protocol is the API.
overreacted.io
September 26, 2025 at 3:33 PM
i wrote about atproto and why it matters
This is a delightful following to lean's natural numbers game but for the reals
adam.math.hhu.de#/g/AlexKonto...
it's made by Alex Kontorovich and it's accompanied by a video series (a class recording) on YT youtu.be/U2oCgeVgd9M?...
@danabra.mov
you might be interested in this
adam.math.hhu.de#/g/AlexKonto...
it's made by Alex Kontorovich and it's accompanied by a video series (a class recording) on YT youtu.be/U2oCgeVgd9M?...
@danabra.mov
you might be interested in this
Lean Game Server
adam.math.hhu.de
September 25, 2025 at 9:52 PM
This is a delightful following to lean's natural numbers game but for the reals
adam.math.hhu.de#/g/AlexKonto...
it's made by Alex Kontorovich and it's accompanied by a video series (a class recording) on YT youtu.be/U2oCgeVgd9M?...
@danabra.mov
you might be interested in this
adam.math.hhu.de#/g/AlexKonto...
it's made by Alex Kontorovich and it's accompanied by a video series (a class recording) on YT youtu.be/U2oCgeVgd9M?...
@danabra.mov
you might be interested in this
Reposted by Marco D'Agostini
12 exciting live-programming projects will be presented at LIVE this year. It's free, online, and coming up soon!
Sat 9/27: Videos premiere
Sat 10/4: Q & A and discussion over Zoom
Details on projects are up already at liveprog.org; more schedule & links coming soon.
Hope to see ya there!
Sat 9/27: Videos premiere
Sat 10/4: Q & A and discussion over Zoom
Details on projects are up already at liveprog.org; more schedule & links coming soon.
Hope to see ya there!
September 20, 2025 at 12:33 AM
12 exciting live-programming projects will be presented at LIVE this year. It's free, online, and coming up soon!
Sat 9/27: Videos premiere
Sat 10/4: Q & A and discussion over Zoom
Details on projects are up already at liveprog.org; more schedule & links coming soon.
Hope to see ya there!
Sat 9/27: Videos premiere
Sat 10/4: Q & A and discussion over Zoom
Details on projects are up already at liveprog.org; more schedule & links coming soon.
Hope to see ya there!
Reposted by Marco D'Agostini
fun fact: Lean can represent real numbers
not floats (although Lean can do them). not doubles. not even arbitrary precision floats, but *actual* reals — which includes the squared root of 2, the exact number Pi (not an approximation!), fractions like 0.111... and so on.
this still blows my mind
not floats (although Lean can do them). not doubles. not even arbitrary precision floats, but *actual* reals — which includes the squared root of 2, the exact number Pi (not an approximation!), fractions like 0.111... and so on.
this still blows my mind
August 12, 2025 at 12:42 AM
fun fact: Lean can represent real numbers
not floats (although Lean can do them). not doubles. not even arbitrary precision floats, but *actual* reals — which includes the squared root of 2, the exact number Pi (not an approximation!), fractions like 0.111... and so on.
this still blows my mind
not floats (although Lean can do them). not doubles. not even arbitrary precision floats, but *actual* reals — which includes the squared root of 2, the exact number Pi (not an approximation!), fractions like 0.111... and so on.
this still blows my mind
This is using the highlights API to color raw text like for example this code in a pre tag with no need for nested tags in between the code
This is really cool because you can now make a very simple contenteditable editor with color highlighting without needing to fix cursor position on each edit
This is really cool because you can now make a very simple contenteditable editor with color highlighting without needing to fix cursor position on each edit
September 7, 2025 at 8:30 PM
This is using the highlights API to color raw text like for example this code in a pre tag with no need for nested tags in between the code
This is really cool because you can now make a very simple contenteditable editor with color highlighting without needing to fix cursor position on each edit
This is really cool because you can now make a very simple contenteditable editor with color highlighting without needing to fix cursor position on each edit
This is a cool thing one can do in lean
the def part is the function definition
and the theorem is the proof that age + current year = birthyear
As soon as the function's behavior was changed (a +1 was added), the proof now shows an error
the def part is the function definition
and the theorem is the proof that age + current year = birthyear
As soon as the function's behavior was changed (a +1 was added), the proof now shows an error
September 5, 2025 at 12:32 PM
This is a cool thing one can do in lean
the def part is the function definition
and the theorem is the proof that age + current year = birthyear
As soon as the function's behavior was changed (a +1 was added), the proof now shows an error
the def part is the function definition
and the theorem is the proof that age + current year = birthyear
As soon as the function's behavior was changed (a +1 was added), the proof now shows an error
Reposted by Marco D'Agostini
I'm up to 124 little mostly-vibe-coded apps on my tools.simonwillison.net site and most of them are trivial but some of them aren't, so I wrote up this guide to the ones I think are most worth checking out simonwillison.net/2025/Sep/4/h...
tools.simonwillison.net
Assorted useful tools, almost entirely generated using LLMs
tools.simonwillison.net
September 4, 2025 at 10:32 PM
I'm up to 124 little mostly-vibe-coded apps on my tools.simonwillison.net site and most of them are trivial but some of them aren't, so I wrote up this guide to the ones I think are most worth checking out simonwillison.net/2025/Sep/4/h...
Reposted by Marco D'Agostini
We did the thing.
zed.dev/blog/claude-...
zed.dev/blog/claude-...
Claude Code: Now in Beta in Zed - Zed Blog
From the Zed Blog: You asked, and here it is. Use Claude Code in public beta directly in Zed, built on the new Agent Client Protocol.
zed.dev
September 3, 2025 at 5:10 PM
We did the thing.
zed.dev/blog/claude-...
zed.dev/blog/claude-...
Reposted by Marco D'Agostini
Reposted by Marco D'Agostini
I've open sourced Ripple!
github.com/trueadm/ripple
It's super early days, not much works and there's little to no documentation or guidance. Plus the codebase is raw, but I at least wanted to share my ideas with the community. :)
github.com/trueadm/ripple
It's super early days, not much works and there's little to no documentation or guidance. Plus the codebase is raw, but I at least wanted to share my ideas with the community. :)
GitHub - trueadm/ripple: Ripple is a TypeScript UI framework for the web.
Ripple is a TypeScript UI framework for the web. Contribute to trueadm/ripple development by creating an account on GitHub.
github.com
August 28, 2025 at 8:27 PM
I've open sourced Ripple!
github.com/trueadm/ripple
It's super early days, not much works and there's little to no documentation or guidance. Plus the codebase is raw, but I at least wanted to share my ideas with the community. :)
github.com/trueadm/ripple
It's super early days, not much works and there's little to no documentation or guidance. Plus the codebase is raw, but I at least wanted to share my ideas with the community. :)
Reposted by Marco D'Agostini
I've had so many folks ask now, that I had to go for it.
You asked me to build that ideal Inferno X framework that I described ages ago, so I went ahead and did just that. I built something that actually works and, well, it works well. Oh, and doesn't use signals!
You asked me to build that ideal Inferno X framework that I described ages ago, so I went ahead and did just that. I built something that actually works and, well, it works well. Oh, and doesn't use signals!
August 27, 2025 at 11:30 PM
I've had so many folks ask now, that I had to go for it.
You asked me to build that ideal Inferno X framework that I described ages ago, so I went ahead and did just that. I built something that actually works and, well, it works well. Oh, and doesn't use signals!
You asked me to build that ideal Inferno X framework that I described ages ago, so I went ahead and did just that. I built something that actually works and, well, it works well. Oh, and doesn't use signals!
Reposted by Marco D'Agostini
a social media that is more like a wikipedia rabbit hole, giving you more and more posts that fit down that direction of latent space
August 22, 2025 at 2:51 PM
a social media that is more like a wikipedia rabbit hole, giving you more and more posts that fit down that direction of latent space
Reposted by Marco D'Agostini
my point isn’t so much that manual curation would “replace” algorithmic feeds. it’s that (imo!) curation and ranking need to be decoupled. the primitive i want (post lists) is the most basic form of curation possible. so that feels like the first step in decoupling them. like pinterest collections
August 20, 2025 at 7:53 AM
my point isn’t so much that manual curation would “replace” algorithmic feeds. it’s that (imo!) curation and ranking need to be decoupled. the primitive i want (post lists) is the most basic form of curation possible. so that feels like the first step in decoupling them. like pinterest collections
Now I'm even more interested in learning Lean 🤩
so you can say “here’s what it means to be a sorting algorithm” and mark it as typeclass, and write code against it. and then separately you can have different instances of that typeclass that actually provide the code, and control which one it’s resolved to
August 18, 2025 at 7:47 PM
Now I'm even more interested in learning Lean 🤩
😂
@simonwillison.net I'm sure I'm not the first person to try this, but running your pelican test on some of the horny/abliterated models is horrifyingly hilarious. Some of the comments on the SVG are perfect. gist.github.com/kdkd/84c0453...
August 15, 2025 at 3:08 PM
😂
Reposted by Marco D'Agostini
I believe we need a plurality of new guiding metaphors for browsers that recenter the end-user and provides a security model that supplants SOP. It's important to not throw away the internet we already built and start over, we must figure out how to reappropriate it.
August 8, 2025 at 7:08 PM
I believe we need a plurality of new guiding metaphors for browsers that recenter the end-user and provides a security model that supplants SOP. It's important to not throw away the internet we already built and start over, we must figure out how to reappropriate it.
🤣🤣🤣 Hermoso 😍
Es un musical de comedia que muestra la costumbre de la corrupcion al transitar en Venezuela
youtu.be/cyE4l-JuXP8?...
Es un musical de comedia que muestra la costumbre de la corrupcion al transitar en Venezuela
youtu.be/cyE4l-JuXP8?...
267 | El oscuro mundo del soborno
YouTube video by El Cuartico
youtu.be
August 7, 2025 at 1:20 PM
🤣🤣🤣 Hermoso 😍
Es un musical de comedia que muestra la costumbre de la corrupcion al transitar en Venezuela
youtu.be/cyE4l-JuXP8?...
Es un musical de comedia que muestra la costumbre de la corrupcion al transitar en Venezuela
youtu.be/cyE4l-JuXP8?...