i-like-computers.bsky.social

i-like-computers.bsky.social

@i-like-computers.bsky.social

I like maths and computers. ๐Ÿง๐Ÿค– GitHub: https://github.com/stefanciutac Devlog/Blog: https://stefanciutac.github.io/stefanciutac_devlog/posts/

6 followers10 following7 posts

My proof is shaky in places. What's wrong with it? How can it be improved/rewritten? Is there a more concise proof? Statement: log_7 n evaluates to either an integer or irrational. The problem was taken from Lehman's "Mathematics for Computer Science", Section 1: Proof.

Rows upon rows of MX 2.0 browns... ๐Ÿ‘Œ Nothing beats the satisfaction of taking ALL of the keycaps off a mechanical keyboard, blasting all the dust out with compressed air, and putting the entire, now-pristine assembly back together again. #MechanicalKeyboards #MechanicalKeyboard #Keyboard #Macro

Oops ๐Ÿซข Connecting your 4S 100C LiPo with the RIGHT polarity tends to be helpful. It came aglow in a puff of magic smoke, then I shrieked and yanked out the cable, and all was well. ๐Ÿ™ƒ RIP ESC ๐Ÿชฆ #Electronics #Robotics #Fail #MagicSmoke

Bare dies are stunning ๐Ÿ’Ž I repasted my trusty T480 (w/ i5-8350U) to eke a few more months of life out of it. That plus undervolting yielded MAMMOTH temperature drops when idle โ€” around 15ยฐC on average! #ThinkPad #Linux #BuildInPublic #Hardware #Tech #STEM

You are up to date.