Forwarded from Beka (Beka)
We just did our YC launch. I need you guys to do me a favor. Can you go ahead and upvote please π
https://www.ycombinator.com/launches/NUm-better-auth-the-authentication-framework-for-typescript
https://www.ycombinator.com/launches/NUm-better-auth-the-authentication-framework-for-typescript
Y Combinator
Launch YC: Better Auth - The Authentication Framework for TypeScript | Y Combinator
The fastest growing Auth framework for TypeScript: 13K stars + 100K weekly downloads!
π22
asciinema added a new feature that let's you live stream your terminal, it's like twitch for your terminal
[my test stream]
[my test stream]
π₯5π3
The idea of dependent types is what actually made me want to learn Idris. It is like what TypeScript does but much stricter. This video covers why it is useful.
[Idris: Type safe printf]
[Idris: Type safe printf]
YouTube
Idris: Type safe printf
Demonstrating creation of a type safe printf function using Idris, a dependently typed programming language.
The result is here:
https://gist.github.com/puffnfresh/11202637
The result is here:
https://gist.github.com/puffnfresh/11202637
Every single time I look for a project written in some nice functional language i want to learn, the first project I find is just another functional language written in the functional language i wanted to learn.
π12
This is the kind of music video i would have expected from LDR. Not what they did in S04E01.
[RondΓ² Veneziano - La Serenissima]
[RondΓ² Veneziano - La Serenissima]
YouTube
RondΓ² Veneziano - La Serenissima
Apparently ITV used to show this excellent music vid to fill schedule gaps in the early 1980s.
It's La Serenissima by RondΓ² Veneziano, an Italian chamber orchestra, specializing in Baroque music.
I don't know the recording date but it's likely 83-84.
*β¦
It's La Serenissima by RondΓ² Veneziano, an Italian chamber orchestra, specializing in Baroque music.
I don't know the recording date but it's likely 83-84.
*β¦
π₯2
Looks like i am going to try to convince a company to use Rust today.
π₯19π2
This website tries to catalog a list of Ethiopian Folk Tales from all around the country. It is kinda like what the Grimm's brothers did for Germany but for Ethiopia.
[Ethiopian Folk Tales]
[Ethiopian Folk Tales]
β€7π4
Forwarded from ααα΅'s Journey
This media is not supported in your browser
VIEW IN TELEGRAM
a small demo of what im was experimenting at work
https://globe-eight-chi.vercel.app/
its a hover interaction so use pc
https://globe-eight-chi.vercel.app/
its a hover interaction so use pc
π₯17π2