dzsekijo

8 ms·

31.
by dzsekijo 6y ago
Sorry to say, this example has nothing to do with the halting problem. Rather, I would say, it's a reformulation of a(n unsolved) mathematical problem to the question whether a certain function halts on a certain input (being "no
32.
by dzsekijo 6y ago
Nice stuff. Some nit regarding the user experience: - Sorry, but I just can't wrap my mind around your choice too emulate a handheld device's screen layout on desktop. It actually makes me feel like running some mobile app in a cr
33.
by dzsekijo 7y ago
I do use Facebook to get at news but that's a feed someone else (well, an AI) curated for me. Which is often useful but mostly I'd like to be the one who decides about the sources to check out. Then I turn to a feed reader. I woul
34.
by dzsekijo 7y ago
Python is as good at encouraging functional style as a massive arsenal of weapons of mass destruction is good at encouraging world peace.
35.
by dzsekijo 7y ago
Once you understand this, it seems to me to be a very simple step to align your kernel upgrades with reboots. I fail to see this as an usability issue.
36.
by dzsekijo 7y ago
The "\" (which is "\" rather than "/", as already pointed out) is just an ascii approximation of λ (just like "u" is used to approximate μ).
37.
by dzsekijo 7y ago
I wonder how it fares compared to VPN over ssh, https://help.ubuntu.com/community/SSH_VPN
38.
by dzsekijo 8y ago
> As far as I can tell, the only implementations for the platforms I care about are the “official” ones Telethon ( https://github.com/LonamiWebs/Telethon ) is a decent up to date (with MTProto) independent clean-room
39.
by dzsekijo 10y ago
The background story is: in Hungary, about one year before Uber's entry, large taxi companies lobbied for a very heavy regulation on transport services that fixed the rates and raised drivers' entry level significantly. The said p
40.
by dzsekijo 11y ago
Do you (or archive.org) has that stuff archived? This sounds to be a cool thing. I'd like to read it if possible. (And I promise I won't mistake you for an academic expert ;) )
41.
by dzsekijo 11y ago
Why is Chrome, a proprietary software packaged when there is a practically equivalent FLOSS software (Chromium)? Or, the more general question -- how Pacman packages and Apricity apps relate to each other? The answer seems to be not straig
42.
by dzsekijo 11y ago
What bothers me both about the article and the comments here that they speak in the context of the pro-GPL/anti-GPL debate, but what actually gets discussed is lax vs. copyleft FOSS licensing. However, the two topics are not the same.
43.
by dzsekijo 11y ago
> even RMS and the FSF use the more permissive LGPL for some of their work, most notably GNU Readline "Readline is free software, distributed under the terms of the GNU General Public License , version 3" -- https:/&#x
44.
by dzsekijo 12y ago
I love the gifs ヽ(⌐□_□)ノ♪♬
45.
by dzsekijo 12y ago
Can't seem to be able to subscribe to the blog. At least, Bazqux gives ProtocolError "error:14077410:SSL routines:SSL23_GET_SERVER_HELLO:sslv3 alert handshake failure"
46.
by dzsekijo 12y ago
I use OneTab[1] to dump tab state. [1] https://chrome.google.com/webstore/detail/onetab/chphlpgkkbo...
47.
by dzsekijo 12y ago
Gerrit is a Rietveld fork, see http://en.wikipedia.org/wiki/Gerrit_(software) .
48.
by dzsekijo 12y ago
"git status" recurses only into those dirs where there is managed content. "git diff" restricts its operation to managed files. That said, if you are into managing particular files and not a file tree, most likely you&#x
49.
by dzsekijo 12y ago
git also has good support for explicit cutting down the repo to a subset of its files, or merging back changes of a partial repo to the common one, see filter-branch and subtree commands.
50.
by dzsekijo 12y ago
I don't get how git (or any proper multi-file dvcs) falls behind facilitating the purpose ESR is shooting at. You can use "git log <file>" to track changes of <file>. It's like Gmail drafts. While it's d
51.
Demolishing Hungarian ruling party HQ with monitors and keyboards [video](youtube.com)
2 points by dzsekijo 12y ago|0 comments
52.
by dzsekijo 12y ago
There is a big difference between the web (HTML + CSS) and LaTeX (LaTex + styles) worlds in terms of culture, and that defeats the idea of "separating content from presentation". On the web, that content and presentation are separ
53.
by dzsekijo 13y ago
https://github.com/benweet/stackedit/issues/100#issuecomment...