wolfgke

20 ms·

151.
by wolfgke 6y ago
> It is very annoying to this post on a 28" monitor... the text runs from left to right with no margin spacing. Rotate your monitor by 90 degrees for a better reading experience. If this is not possible, buy one that can. Until it a
152.
by wolfgke 6y ago
Why didn't the Python developers use the possibility of introducing backward-breaking changes in Python 3 to fix such a pitfall?!
153.
by wolfgke 6y ago
> I would suspect a route which props up peace at the Middle East would have no trouble finding secret government subsidiaries... I am not so sure about that. If all (or at least most) sides wanted peace, we already would have. The probl
154.
by wolfgke 6y ago
Concerning "sacred": https://kingjamesprogramming.tumblr.com/
155.
by wolfgke 6y ago
> Python is a good language because it's readable and writeable. https://github.com/satwikkansal/wtfpython
156.
by wolfgke 6y ago
This already exists: https://sicp.comp.nus.edu.sg/ Announcement on Reddit: https://www.reddit.com/r/scheme/comments/ea1f8w/sicp_js_goin...
157.
by wolfgke 6y ago
> I still don't understand why Wolfram Mathematica doesn't have wider adoption. High prices for hobbyists who are not students. The Wolfram store does not even give you the option to pay with anything else than credit card (in
158.
Cursors(cursors.io)
1 points by wolfgke 6y ago|0 comments
159.
by wolfgke 6y ago
Intel was actually subsidizing smartphone vendors who wanted to use Intel chips. Unluckily hardly any smartphone vendor wanted to react to this offer (except some small experiments like the mentioned ASUS ZenFone 2).
160.
by wolfgke 6y ago
In terms of hardware: NXP ColdFire.
161.
by wolfgke 6y ago
> You might find the inverse relationship, unfortunately. High salaries often come with high expectations and low time to develop employees because of your high salary. That's been my experience, and I've worked for a fair numb
162.
by wolfgke 6y ago
Where do Nock and Hoon belong (from Urbit, for those who are out of the loop)?
163.
by wolfgke 6y ago
> And never, ever fly any drone outdoors without model plane liability insurance. Or be able to run fast ... ;-)
164.
by wolfgke 7y ago
If you are interested in such topics, read 't Hooft, Gerard: The Cellular Automaton Interpretation of Quantum Mechanics https://link.springer.com/book/10.1007%2F978-3-319-41285-6 Reference number 23.
165.
by wolfgke 7y ago
> In electrical engineering, there are practical reasons to do this. > Here, there are none, except to be contrarian. I know that in electrical engineering, there exist good reasons. But doubt whether the reason for loobeans is to be
166.
by wolfgke 7y ago
In electrical engineering (digital technology), there exist both circuits where * High (voltage) represents 1 and Low (voltage) represents 0 (positive logic) and * High (voltage) represents 0 and Low (voltage) represents 1 (negative logic)
167.
by wolfgke 7y ago
> On the other hand, they don't mention the fact that the reason OpenBSD is so "secure", is because their marketing focuses on the default install, which has almost nothing. Which in my opinion rather shows that to be (rat
168.
by wolfgke 7y ago
The Wikipedia article has a short paragraph on this: https://en.wikipedia.org/w/index.php?title=Majorana_fermion&...
169.
by wolfgke 7y ago
Just one term: "survivorship bias" https://en.wikipedia.org/w/index.php?title=Survivorship_bias...
170.
by wolfgke 7y ago
With formal inductive proofs, you can reason, but not decide.
171.
by wolfgke 7y ago
> If you remove infinite tape, you go from undecidable to "just" exponentially complex. Which is a huge leap - we got from "impossible" to "possible in principle" and we now can do research how to make it
172.
by wolfgke 7y ago
Of course it does (implicitly!). Otherwise the number of possible states of the Turing machine T that we want to check whether it halts or not is finite and we just have to "simulate" the program and see whether it terminates or i
173.
by wolfgke 7y ago
> Such compiler would require solving halting problem. Wrong: Because of the finite memory instead of an unbounded tape (among other reasons), computers are strictly less expressive than Turing machines.
174.
by wolfgke 7y ago
> It's worse than that. At this point, the person who bridges that gap will almost certainly get his name added to the proof--that's a big incentive. Taylor Dupuy together with Anton Hilado is attempting this: https:/&#x2
175.
by wolfgke 7y ago
Update: Here is Mochizuki's website that contains links to many more details of the discussion: http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-...
176.
by wolfgke 7y ago
Category theory depends on set theory. Unluckily, formulating a category of all sets/groups/rings/... is not easy because there exists no "set of all sets/groups/rings/...". One way to solve this prob
177.
by wolfgke 7y ago
> At this point there is a major and clearly stated objection to the proof out in public to which no reasonable refutation has been offered. The problem is: Scholze and Stix formulated their objections to a "simplified" version
178.
by wolfgke 7y ago
For example Alexander Grothendieck did not care much about the formal logical foundation of his work. So, I believe that this would make it highly complicated to even formulate some very new math at the borderlands of our knowledge.
179.
by wolfgke 7y ago
Surely not the best example, but Terry A. Davis' (RIP) TempleOS was written in a very idiosyncratic style (he even invented his own programming language (HolyC) for this).
180.
by wolfgke 7y ago
The whole situation is in my opinion much more complicated. Here are some texts from the internet concerning this: David Michael Roberts - A Crisis of Identification: https://inference-review.com/article/a-crisis-of-ide

More ›