DuskyElf

0x13 ✦ Systems Engineer - I Build things that YOU DON'T
✦ Researching next gen real-time network systems
✦ Loves Singing

[DuskyElf @DuskyDaily]

@mattpocockuk Inspired from /grill-with-docs

I built a /teach-me skill that helps you find your unknown unknowns by grilling you against the consensus research on a particular topic or question.

I tried it with CS, emotional intelligence, maths,.. it's like a super power

[DuskyElf @DuskyDaily]

@surajkhahai @Sic_munduy81s But it's more beautiful tho, no ? 😭

[DuskyElf @DuskyDaily]

A **proof** is a verification of a proposition by a chain of logical deductions from a set of Axioms. Where **proposition** is a statement that is either true of false.

anybody telling you otherwise is either lying or stupid ;)

[DuskyElf @DuskyDaily]

@sunnykgupta It's probably my biased environment, but in my circle, kids (aged 14 - 19), exceptionally great programmers, and all they needed was that one opportunity, that one eye on their projects

Time comes with opportunity, but it's one's skills and readyness to be able to take it

[DuskyElf @DuskyDaily]

@fidexcode Please be explicit about what you mean by "clean code". There are two main philosophies of software design and "clean code" is the Uncle Bob's opinion and is generally regarded as "bad" in modern (after 2016) timelines.

[DuskyElf @DuskyDaily]

@benrayfield @deus_lemmus @vxdb Then just increase the difficulty for the fastest one

[DuskyElf @DuskyDaily]

@benrayfield @deus_lemmus @vxdb One can use a mathematical problem that is not parallalizable. Locking the answer to the fastest single core CPU speeds till the set time

[DuskyElf @DuskyDaily]

@ThePrimeagen What did Dax do ?

[DuskyElf @DuskyDaily]

@VaishnavD_ I'm doing good, how are u
have been thinking of AT protocol and also being an historian and reading the history of IETF

[DuskyElf @DuskyDaily]

I love this guy's honesty...

I used to think he was a sold out conservative,
no he's just honest about his opinions. And showing skepticism against DHH shows his honesty.

I've learnt a lot from his contrarian views from mine for Rust and DEI, seeing the other side helps.

[The Lunduke Journal @LundukeJournal]

Omarchy Linux 4 Mostly Written by AI

"Being into open source and recoiling from vibe coding is a contradiction in terms," says the Ruby on Rails & Omarchy Linux creator.

[DuskyElf @DuskyDaily]

@imnot_linear LMAO, how has it been working in scala

[DuskyElf @DuskyDaily]

"God of the Internet"
was an actual title given to Jon Postel.

He handled RFCs, which define the system of IP addresses, domain names and email and internet itself.

The internet as we know it, is because of this man🫡

RFC2468 establishes the Jonathan B. Postel Service Award

[DuskyElf @DuskyDaily]

@wongmjane Use Gruvbox theme, it'll blend

[DuskyElf @DuskyDaily]

@tsoding @kasia0x01 is this true ? T T

[DuskyElf @DuskyDaily]

@kasia0x01 It was painless LoL
It's NixOS afterall

[DuskyElf @DuskyDaily]

NixOS 26.05 has branched off
Time to update all my servers and projects T T

[DuskyElf @DuskyDaily]

@magic_bubblez I use threads🤞

[DuskyElf @DuskyDaily]

@surajkhahai LMAO, that too,
but I keep him for contrarian views

[DuskyElf @DuskyDaily]

@AshishGupt22092 Why ?
Recursion is so beautiful... how are we functional bros gonna loop ?

[DuskyElf @DuskyDaily]

@icyphox @tangled_org tangled is already better than github and more cool stuff on top : D

[DuskyElf @DuskyDaily]

@Lina_Hoshino @cmuratori that's interesting, a C miscompilation because of C++
O.O

[DuskyElf @DuskyDaily]

This is so funny LMFAO
@cmuratori please explain how is this possible?

The compiled binary is definitely equivalent as we know Collatz is true till 2^64 ... but still how does the compiler reason about all that T T

[hellowww @Temporary111x]

Another godbolt posting: Proof of collatz conjecture by C compiler