Profile avatar
rdivyanshu.bsky.social
https://rdivyanshu.github.io/
14 posts 20 followers 125 following
Regular Contributor
Conversation Starter
Posts 15 Comments 13

Happy Twin Peaks Day, nerds

submitted 3 days ago • 2 comments

Concentration inequalities is blowing my mind.

submitted 6 days ago • 0 comments

“i think you’ve overestimated your contributions, and underestimated your blessings” is a banger of a line to use on techbros

submitted 6 days ago • 5 comments

submitted 24 days ago • 1 comment

Did you know… Purple isn’t real. It’s a pigment of the imagination! www.snexplores.org/article/colo...

submitted 30 days ago • 47 comments

@abhi9u.bsky.social In past few months I have been reading about functional language compiler. And this conversion x.com/abhi9u/statu... pop-ed into my head. Yeah GHC compiler wants to pin certain registers. Reason is mentioned in wiki ..

submitted 41 days ago • 1 comment

Can someone do a psychological study on what Rocq/Lean proofs do to users' brains? I've been doing some Lean proofs lately, and it focuses my attention in a way that almost nothing else does. And if I try to pull myself away in the middle, I find it very hard to context-switch

submitted 53 days ago • 2 comments

The Rosette Language (made with Racket) https://emina.github.io/rosette/ Synthesis and Verification for All - Emina Torlak: https://youtu.be/KpDyuMIb_E0 try it out with a template https://github.com/racket-templates/rosette-template

submitted 65 days ago • 0 comments

"Is there any escape from the tyranny of modern work tools?" "It would mean prioritizing outcomes over optics, substance over style." "It would mean pushing back against the culture of constant updates, endless meetings, and performative busyness." www.joanwestenberg.com/modern-work-...

submitted 81 days ago • 9 comments

(finishing a book writing session) hey do you guys ever think about the fact that comprehending software engineering is beyond the scope of any single individual and trying to wrap your arms around it is akin to trying to hug the sun or

submitted 86 days ago • 8 comments

Eventually this will finish some day rdivyanshu.github.io/onebit.html

submitted 89 days ago • 1 comment

My upcoming book that teaches you how to write a native Linux debugger is 40% off today and tomorrow with the code PREORDER! It teaches you everything from how breakpoints work, to tracing shared library loads, to executing function calls inside the running process, and more

submitted 93 days ago • 15 comments

Optimist: the cup is half full Pessimist: the cup is half empty Unicode Technical Committee: Yes, there is a cup emoji but it's contents and the degree to which it is empty or full is not specified by the Unicode Standard 🥤

submitted 96 days ago • 2 comments

I keep trying to migrate this one and the video gets corrupted. It’s just that powerful! #FunctionalProgramming #Haskell #OCamel #Programming

submitted 99 days ago • 3 comments

“First class Prompt Engineering with llm lang! (This is a bad idea.)” by William Bowman at the (fourteenth RacketCon) is now available at https://buff.ly/4hUUDhK #RacketCon

submitted 101 days ago • 0 comments