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
Do any of you know a good place where i could get a laptop's keyboard and power jack fixed and maybe get the case replaced.
β€1
Frectonz
Do any of you know a good place where i could get a laptop's keyboard and power jack fixed and maybe get the case replaced.
Went to the nezhab place apparently the whole board was fried, sold it for parts, I no longer have a nixos machine. π
It was my first laptop, had it since 10th grade.
It was my first laptop, had it since 10th grade.
π«‘14π1
Frectonz
Sweet tasty information.
I have spent too much of my life reading paul graham essays, when I should have been building sth that people actually want.
π₯3π1