Frectonz – Telegram

Frectonz

3.47K subscribers

1.91K photos

85 videos

32 files

1.65K links

A place for me to talk about my projects, stuff i find on the internet and what I am currently thinking about.

By @frectonz

Download Telegram

About

Blog

Apps

Platform

3.47K subscribers

Nathan Fielder fans The Rehearsal Season 2 is out.

1.26K views20:12

Forwarded from Corax cave

😁10

1.21K views20:55

when the ocaml crowd walks in with their mutually recursive function declarations 🤣 [source]

Idris might have better syntax for declaring mutual recursion.

🔥2🤯2

1.26K views09:11

Asked ChatGPT to compare the number of deaths attributed to God and Satan in the Bible. It came up with this.

[chat]

😁11🤯2🤣1

1.27K views11:41

Trying to learn idris

- helix doesn't syntax highlight it
- the lsp doesn't work
- chat gpt thinks it's haskell

:)

😁13

1.16K views14:39

Trying to learn idris - helix doesn't syntax highlight it - the lsp doesn't work - chat gpt thinks it's haskell :)

First idris project, the good old random number game.

[hazarda_en_idris]

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

1.34K viewsedited 19:01

😁31🤮6😭4💯3

1.63K views07:28

[They are made out of meat.]

They're Made out of Meat

😁3👍2

1.4K views08:52

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

Launch YC: Better Auth - The Authentication Framework for TypeScript | Y Combinator

The fastest growing Auth framework for TypeScript: 13K stars + 100K weekly downloads!

👍22

592 views15:43

asciinema added a new feature that let's you live stream your terminal, it's like twitch for your terminal

[my test stream]

🔥5👍3

1.33K views16:53

[modern by xkcd]

1.27K viewsedited 07:58

[Paint My Face]

The Devil Makes Three · Chains Are Broken · Song · 2018

1.23K viewsedited 12:54

[Rust 1.0, ten years later]

👍2

1.24K views18:47

😭12❤1

1.19K views19:11

Second idris project, an LC3 machine code disassembler.

[lc3-idris]

GitHub - frectonz/lc3-idris: LC3 Disassembler in Idris

LC3 Disassembler in Idris. Contribute to frectonz/lc3-idris development by creating an account on GitHub.

🔥10

1.08K viewsedited 22:38

[The History of Breakfast]

The Surprising Story of Why We Eat a Morning Meal

Until the late 1800s, there was no such thing as the standard daily three-meal schedule, and few on the planet began their day with what we'd now call breakfast. And yet- every element that we now take for granted, from bacon and eggs to oatmeal, congee,…

😁5

1.06K views08:09

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

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

1.32K views19:00

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

1.41K views19:36

Types > Tests

👌8💯2

1.34K views20:44

crazy that nix has built in support for building idris projects

🔥6

1.24K views17:18

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

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.

*…

🔥2

1.09K viewsedited 18:36