fred-crozatier.dev
Building the Radish standards-first framework https://github.com/radishland/radish
Organizer - Summer of Math Exposition https://some.3b1b.co/
Founder - Sciency https://sciency.co/
Teacher - https://www.youtube.com/@captain-carre
89 posts
70 followers
58 following
Regular Contributor
Active Commenter
comment in response to
post
The article: arxiv.org/abs/2402.03103
comment in response to
post
Navigation API
comment in response to
post
You can use Stylus to own and customize your web. To hide bluesky notifications just add this rule
a[href="/notifications"] svg + div {
display: none
}
comment in response to
post
That's one of the problems with framework hydration when it just restores the server state: it prevents progressive accessibility on slow networks. Had this problem with Svelte before. Turns out this is one of the pain points I was about to address in my next talk too! ✌️
comment in response to
post
Open Science
comment in response to
post
I'll go with <rad-ish>
comment in response to
post
I'm taking a slightly different approach by teaching the vision first. Having a cohesive mental model and a clear understanding of the philosophy helps people see the value in your approach. To my knowledge no major framework proposes a unified vision that truly makes building apps "click" for devs
comment in response to
post
Anytime
comment in response to
post
Alright we'll figure this out, am sending a DM
comment in response to
post
That's exactly what I'm working on, just type-stripping and no bundling
comment in response to
post
let me know if you have an older ref to the UI=f(state) thing
comment in response to
post
And for a deeper introduction to algebraic effects check-out Xavier Leroy’s renowned course on control structures, where Dan Leijen and Matija Pretnar themselves give insightful talks
xavierleroy.org/CdF/2023-202...
www.college-de-france.fr/fr/agenda/se...
comment in response to
post
For an overview of algebraic effects, @danabra.mov has an excellent post. A must-read for anyone interested!
overreacted.io/algebraic-ef...
comment in response to
post
In particular Daan Leijen's work at @microsoft.com on Koka is fantastic and if I had to pick a language for effects that would be the one.
Research-based, type-safe, friendly syntax etc. highly recommend checking it out.
koka-lang.github.io/koka/doc/ind...
comment in response to
post
"Formation Vibe Coding en 2025" 🤣
comment in response to
post
T'as trouvé des formations intéressantes ?
comment in response to
post
What's the problem with the parser, is it expecting a too restrictive content model for the <option> children?
comment in response to
post
Yes, the de-correlation between the gesture-driven, anticipated movement and the actual scroll can make people sick. It certainly is the case for people who are motion sick, cars, trains, boats, and hijacked scrolls...
comment in response to
post
It feels like your not in control which is annoying. It can also harm the perceived responsiveness, if you want to scroll quickly to skip some content, a hijacked scroll can make it feel slow / lagging
comment in response to
post
If you feel like writing an explainer about your favorite Lean or theorem proving mindblowing moments, the community would certainly love to read it at the some.3b1b.co 2025 edition coming this summer... this is a gentle invitation to write it (and participate!)
comment in response to
post
Or with type-strip, if you transform the decorators beforehand. I'm curious auto-accessors are not mentioned as not supported, since they require transformation too github.com/fcrozatier/t...
comment in response to
post
Repo github.com/radishland/r...
comment in response to
post
It feels like private custom properties will be more and more relevant for scoping things and all, in particular with functions.
I think we want private custom properties (soon)!