Frectonz
Trying to learn idris - helix doesn't syntax highlight it - the lsp doesn't work - chat gpt thinks it's haskell :)
GitHub
GitHub - frectonz/hazarda_en_idris: A random number game implemented in Idris.
A random number game implemented in Idris. Contribute to frectonz/hazarda_en_idris development by creating an account on GitHub.
โก8
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