dgan

26 ms·

361.
by dgan 5y ago
No sending to Russia? :) I am using PaySend regularly, still works
362.
by dgan 5y ago
This makes me very uncomfortable, as a Russian. I have been living in Europe for the last > 16 years non stop (=refugee), but I still have (the only) Russian citizenship. I completely understand the utter pointless of current war, but wh
363.
by dgan 5y ago
"Russian government has been building internet wall for a while now, let's help them and cut them out immediately and for free, that will show them!" - Somebody smart /s
364.
by dgan 5y ago
Processing only during office hours? That's hilarious. Is there someone manually debugging transactions, and that's the reason?
365.
by dgan 5y ago
I have been learning Coq for a couple of months now aaaand ... it's complicated. But definitely creates "AHHAA!" and "Wtf?!" moments.
366.
by dgan 5y ago
Yes, I have noticed that too, but it's less pronounced in my experience. Just the fact that I can turn the page, look forward, come back and underline in color, feels much more engaging
367.
by dgan 5y ago
In this particular problem, I simply noted "what I know" on one side, and "what I need" on the other, then, trying mechanically prove my goal from my hypothesis. Being able to "see my bricks" was the key part.
368.
by dgan 5y ago
Interesting, i never thought about e pen and a electronic pad. Will think about that
369.
by dgan 5y ago
Totally agree on last part
370.
by dgan 5y ago
What do you do when you re stuck?
371.
by dgan 5y ago
I think you are right to generalise it to "context switch". Countless times I deleted my yet-to-be-posted, detailed Stackoverflow question, when after typing (ha!) it, i would realize my mistake. I never tried duck - debugging, ma
372.
I feel dumb(er) when typing, and smart(er) when writing
100 points by dgan 5y ago|54 comments
373.
by dgan 5y ago
I really enjoy just listen to music, and I do it quite often. So OP example feels strange.. If anything, I get waaay to excited / uplifted when listening to favorite songs, so I simply can't do it at work or before sleep. I am jus
374.
I feel dumb(er) when typing, and smart(er) when writing
2 points by dgan 5y ago|1 comments
375.
by dgan 5y ago
Gotta finish Software Foundations series.
376.
by dgan 5y ago
Okey at that point i ve got enough scared of that type of posts every two weeks, gmail is simply not viable solution. I am moving my emails to a sane European provider with a real customer service.
377.
by dgan 5y ago
I thought I understood what author says. After reading comments, I am lost again. I will continue my journey clueless, without ever touching this burning pile of trash with scammers on top.
378.
by dgan 5y ago
Hm bike shedding, but "thoth" is a horrible name for anyone who isn't a proficient English speaker. I honestly can't pronounce it
379.
by dgan 5y ago
How does one follows research on some specific topic? Say I am interested in verification. I am constantly hitting paywalls for research papers that I have absolutely no idea what the value is. Let's be honest, even those papers are am
380.
by dgan 5y ago
To reach parity Google should obviously propose a tiny tracking device, and only allow Android users to disarm it. Now peace will be restored.
381.
by dgan 5y ago
This happens to me (almost) every night, before i fall asleep, and for some short time right after I woke up Amazing state, i love it!
382.
by dgan 5y ago
Valid remark. I had "development side" point of view, not "usage"
383.
by dgan 5y ago
Exactly agreed on that. I don't understand what value distribution is providing by repackaging python libs, they re always way too old to be usable, and they re global while I work on many projects, with their own incompatible requirem
384.
by dgan 5y ago
Anecdotally, I found Rust easier to grasp than OCaml..
385.
by dgan 5y ago
Ha! Very interesting, Thanks for feedback. The number of times I restarted a game after 1 line change + recompilation..
386.
Red Hat to hire less experienced engineers(lunduke.substack.com)
20 points by dgan 5y ago|2 comments
387.
by dgan 5y ago
I settled down with vanilla xfce a long time ago. I don't customize almost anything (except keyboard layout), because i think having a simple standard setup is valuable on its own. There is too many things to do, beyond how window deco
388.
by dgan 5y ago
Let me help you with the finger placement: you can stop taking pills, but I doubt you could take off implant!
389.
by dgan 5y ago
Could this be done in Isabelle? Isabelle has the ability to prove inductive statements. (Disclaimer : i am a noob reading Concrete Semantics right now)
390.
by dgan 5y ago
Yeah well, I don't call "every PC since 2017" a commodity hardware, unless I don't understand your answer. I am running my laptop since 2016 and my brother has desktop PC since 2012. The fanfare will definitely induce

More ›