Can a programming language claim it's type safe if its type system is unsound?
Can a programming language claim it's type safe if its type system is unsound?
And if you ask they'll tell that worse is better π
Traceback (most recent call last):
...
RecursionError: maximum recursion depth exceeded
A twitter post from some crypto guy named @mert that says "bro how do i mute all political posts on this app holy hell it has turned into reddit"
Could the secret police PLEASE use silencers when they shoot civilians for backtalk all this noise is disturbing my vibe coding
Didn't watch the video, but I read the blog post and I only have one thing to say: chapeau ! π©
If all you do is vibe code you're a slopware developer.
Maybe itβs a little over optimistic, but I legitimately feel like the fabled Year Of the Linux Desktopβ’ is really coming.
Self-proclaimed "visionaries" on LinkedIn, why you so cringe?!!
Got it! I'm learning Gleam + Lustre anyway, so maybe I can help build that someday. Thanks!
cc. @hayleigh.dev @giacomocavalieri.me @lpil.uk @ihh.dev Do you know? Any tips for me? (Thank you π)
Is there something like shadcn for Luste? I wanna learn @gleam.run + Lustre and start using them for a project, but I don't wanna (have to) invest too much on making the UI pretty.
An AI spell checker? That's kind of funny since LLMs tend to freak out when asked spelling questions π
are we allowed to talk about how communism is good again yet or is that still, like, off limits
@thea.codes Not sure how to help so i'll just say this: i feel you, you're not alone π
Karl Marx failed to anticipate build systems
I think we're getting close to a full ratatui-based Linux distro π€
Replacement LSD screen. Yes, gimme that please!
Excellente vidΓ©o ! Les rΓ¨gles sont tellement compliquΓ©es, je vais switcher en tout miniscule je crois π Sinon tu peux partager la playlist des musiques que t'as utilisΓ© en fond sonore stp?
The nerding will continue until morale improves.
Now you need to come up with a synthesis in true Hegelian fashion.
I watched this talk by @shriram.bsky.social and now I have 3 papers to read and homework to do. It was illuminating though, and pretty fun to watch (I like silly jokes) -- totally worth it!
www.youtube.com/watch?v=43Xa...
How dare you?!
Redox OS version 0.4.1 running on a virtual machine.
Just watched it and got excited to try Redox!
Xzibit says: "Yo dawg I heard you liked computers so I put a computer on your computer so you can computer while you computer"
First they came for the em dash, and now for our *color* choices?!!
I hate it when people use random words just because they sound smart! I mean what are you, a stochastic parrot?!!
Same here. Like why are people suddenly talking about waffles?!
π΄ Depuis une semaine, une mobilisation inΓ©dite de la jeunesse marocaine secoue plusieurs villes du pays. Des milliers de jeunes, coordonnΓ©s par le mouvement GenZ 212, descendent dans la rue pour rΓ©clamer santΓ©, Γ©ducation et emploi. SolidaritΓ© depuis la France !