Aboutsomeone who likes wandering around
SkillsJava, Coq, Lean, C++, Haskell, Android, Raspberry Pi, AT command, shell scripts, CS theory, Math, Archery, Star Gazing, Simply walking into Mordor
Joined devRant on 11/3/2017
Do all the things like ++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatarSign Up
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple APILearn More
So dynamic typing means you can just add members to objs on the fly?
But why hadn't I noticed that before giving a long lecture about classes being "molds that we cast objects in"?
Ah, yeah. That's because I'm just learning it at the same time.33
I'm dong it again:
Just learning Python to teach it to someone else.
P.s. I always knew that my hatred of Python was not out of my mere ignorance.17
Anyone remembers that in windows XP you coud set any exe as screen saver, and it would run on time, even before you log into any user, as a default system user with administrator privileges?8
I can't imagine how exactly not being a dev feels like :D (in the sense of skill, not profession). I honestly believe it will be part of primary education in the not so far future.
So actually I need reasons for not to be a dev :)
The ridiculous and shameful story of how simply "installing Windows" saved my hard drive from the garbage.
(Also update on https://devrant.com/rants/3105365/)
It started with my root partition turning read-only all of a sudden. Some quick search suggested that I should check the sanity of my hard drive, by running a SMART test, which failed of course. I backed up my data using ddrescue and ran a badblocks over the whole thing, which found around 800 unreadable blocks in a row. I was ready to bid farewell to my drive, but as a last resort, instead of the trash, I brought it to this place where they claimed they can repair the damaged hard drives by "surgery".
To my surprise, they returned my drive the next week, saying it is all well now, and charged me 1/8 the price of a new drive, with a refund guarantee if there was a problem in two days. There was a problem right there: I ran another SMART test which failed again, and also the faulty blocks were still unreadable! So I stormed the place and called for my refund, showing the failed SMART report. The only answer I would get from the staff was "Have you tried installing Windows?".
I usually try to be patient in such situations; I really don't like to declare publicly that "not everyone uses that stinky piece of rotten software you call an OS", but their suggestion seemed totally irrelevant! I got all types of IO errors all over the damn thing and they told me to install Windows. Why? Because this was the only test they would rely on. At last I managed to meet the "technician" there and showed him the IO errors: tried to read the bad sectors with dd and failed. He first mumbled somethings like "Have you checked the connector?" or "Are these the same blocks?", but after he ran out of bullshit, he said "Why don't you just install Windows first and see if that helps?" and I was ready to explode in his face!
"You test drives by installing Windows, just because it will make a nasty NTFS partition and probably does an fsck? If you shut your mouth for a sec and open your eyes you'll see this is a shit load of IO errors we got here: You can't install Windows, you can't even make an NTFS here, because it will try to zero-the-fuck-out the damn partition and it will face the same fucking IO error that I'm showing you right now in almost one single fucking system call!"
"I don't know this kind of test you are using. We have our own tests and they've passed successfully. So all I can do is to give you a Windows CD if you want."
"I don't need a Windows CD. I will just try to make an NTFS partition on the error spot and I will fail."
"Ok. Then call me when your done."
I was angry, not only because I felt they're just trying to avoid a refund, but also because I knew I've lost my drive. But just with hope that I could get my money back, I made a small partition over the error spot and ran `mkfs.ntfs` on it. I was ready to show the failure to the guy, but I looked more precisely and saw that "the filesystem was created successfully!" I was sure something is nor write. I then successfully mounted the new partition, write over it and read it again. I even dd'ed the blocks again, and this time there was no IO error. All of a sudden everything was fine.
I didn't know what happened. Maybe it just needed a write, while I'd just tried to read from those blocks. But anyway, I didn't called the technician guy again. I just thanked one of the staff there and said that my problem was solved. I then ran a successful SMART test and then restored my backup. Ridiculous like that.
I'm still not sure if my drive will continue to live with no more problems. I also have no explanation for what happened. (I appreciate any help on this https://superuser.com/questions/...) But I really like to see the look on the poor guy's face when he finds out that trying to install Windows just saved my ass!11
Next time someone told you to be more sociable, or not to be so introvert, just kindly remind them that there would be probably some 1M less dead bodies out there today, only if in the past six months more people could simply stay in their whatever nasty place they dwell and overcome their lust to gather to whatever stupid end.
Be an introvert, save lives.8
So should I forget about my HDD when the SMART self-test fails? Any chance something like badblocks might help?7
My advisor: Can you teach Lean to these juniors?
Me: When shall we start?
Him: In two weeks.
And that's how I learn a new language in two weeks!6
- We need an android app. Can you do this?
+ Never done that, but I can try.
- Do you even know Java?
+ Not really, but I'll learn fast!
- Any OOP experience?
+ Well...I know CPP.
- Will you give me a prototype tonight?
+ Don't know. How about tomorrow?
+ *makes a prototype in couple of hours, becomes a Java developer*
Just like that.9
I'm not sure if he's mentioned already, or if he's"famous" at all, but I'm a fan of Joey Hess.
Once I saw his name on some of old debian man pages and for no apparent reason, I looked up his name and found his home page.
He was a motivation for me to start learning Haskell, and also I was damn envious of his awesome lifestyle.
See shy jo at https://joeyh.name
Show your support for the FOSS community and help to save it from lying politicians
All kinds of support is very much appreciated.
"GitHub blocked all Iranian accounts without any prior notice and they don’t give us a chance to download a backup of our data. Here is a screenshot from GitHub support response to a developer who sends a request for backup"
This belongs to the small bunch of things that makes me feel that life is beautiful.
For a pretty long time, I wanted to learn Haskell, and recently I really fell in love with the category theory. Now how exciting is that when you found that you can learn them both?
I just started it, and I guess it's a pleasure for any programmer who doesn't whine about math. It's free to read:
Or to build 😉
Fantasy and Sci-Fi,
Math and theoretical CS,
Graffiti (this one is just a sketch tho),
Wandering around (for long time and distances),
Bike riding (before someone steal it),
Sky watching (with naked eye)
and I have other not-so-popular habits that I have, but I don't know if they are considered geek.1
Just found a breach somewhere in the university's meal booking system, that exposes some good 60K records of students, professors and staff orders and payments.
It's just that I am behind this shitty web UI with 20 rows per page table as the only option.
Now how 1337 is that?6
2009: "this Autocorrect feature will guess all your mistakes and correct them."
2019: *has to guess what autocorrect might messed everywhere*
A symptom of Subway Screen Symptom in details.
It is called so because it happens when you have to take your laptop everywhere by subway.14
It's like "Let's see how much redundancy and instability we can gather in one single project"
Left engineering (and my job) for theoretical CS
My best choice in my opinion, although not every body around me shares it.7