CogDisco

6 ms·

1.
by CogDisco 12d ago
Yep. While I'm not focussed on these areas, I know enough from scoping out a "learn about the proof of FLT" course that it's covering all the usual suspects and says the right-enough words. Patching their weaker results
2.
by CogDisco 17d ago
Possibly good at starting such a series, then kinda fizzle out.
3.
by CogDisco 2mo ago
But then there's the opposite in maths where there's an overload on "plain" terminology. "Normal" means a billion different things. Same as "regular" or "simple". Omitting the human history
4.
by CogDisco 6y ago
Are 99.99% convinced that normal voting is secure?
5.
by CogDisco 6y ago
Why not have controls in your program to do these immediate, non-logic changing modifications? It can report the ideal value through a debug interface. No recompiles needed. I'd also recommend getting used to serialisation/deseria
6.
by CogDisco 7y ago
Assuming you can learn anything from the experience. What you might learn is weird idiosyncrasies and futile tactics playing from desperation. You might learn to not lose so quickly, but that's not the same as winning.
7.
by CogDisco 7y ago
Do you have a reference for that first point? I couldn't find it on Google, but would be interested to learn about it.
8.
by CogDisco 7y ago
That's one way of looking at it. Another is that they provide products with consistently high margins, and encourage vendor lock in.
9.
by CogDisco 7y ago
> Apple should... make demands on companies with which it has no relationship, and expect those companies to comply? Isn't that literally the link above?
10.
by CogDisco 8y ago
Do you feel it's likely that he's created something that works and rather than using or elaborating upon his work, and thus bettering their own career, everyone has thought, "Wait a second, isn't this the Palm Pilot guy?
11.
by CogDisco 9y ago
Do you have any recommendations for tutorials or guides?
12.
by CogDisco 9y ago
I moved to Pelican from WordPress last year and it's been great. I wish there were more resources around for it, though.
13.
by CogDisco 9y ago
Yes, although Org calls it "clocking".
14.
by CogDisco 9y ago
Org mode with some fairly well-worn templates. My daily log is in datetree format. I have a few agenda options so at my weekly meeting I can get a quick review of what I've done during the week (or quarter if I'm writing quarterly
15.
by CogDisco 9y ago
What would be your plan for papers that cite another one because they are doing a literature review or something akin to "Paper X is wrong"? There's also a trickier problem in your simple binary flag: papers can have incorrec
16.
by CogDisco 9y ago
You mean MUDs or MOOs?
17.
by CogDisco 10y ago
If they were serious, they'd provide objective evidence for their claims. Papers, source code, numbers. Not "we have the biggest, baddest GPU farm" and refuse to say any more as policy. Under this veil of secrecy and doubleta
18.
by CogDisco 10y ago
Wasn't Ingress an augmented-reality social network? It's been around for years.
19.
by CogDisco 10y ago
I think it's more a password manager that doesn't manage passwords. You can't set an expiry date on a password. You can't change a password if it's compromised. You don't know when a master password was creat
20.
by CogDisco 12y ago
The problem with extracting org-mode into its own application is that a lot of the magic of org-mode comes from emacs. It's not so much being tied up in emacs as sharing and extending the design. By moving org-mode elsewhere, you'
21.
by CogDisco 12y ago
Not bad. Not sure it'd come close to replacing org-habits for me.
22.
by CogDisco 12y ago
Such a scenario is not so far fetched. Except that it is. This is not a discussion about self-driving cars because they don't work that way and are a long way off potentially working this way. This is the age-old trolley problem ( ht
23.
by CogDisco 13y ago
You have the right to free speech. You don't have the right to freedom from consequence of free speech.
24.
by CogDisco 13y ago
I know this is just a fun game, but do you do any double-checking to make sure the bot isn't overfitted and "generating" a fake title that is actually real?