T
Twisted Oak Studios
twistedoakstudios.com · Company blog · on HN since 2012
Twisted Oak Studios is a software studio whose blog has deep technical posts on quantum algorithms, type systems, and Objective-C.
What HN saysCommenters call its Grover's algorithm explainer a great beginner-friendly read, and one says the Objective-C post matches their own opinions.
32HN people shared it
15linked it in comments
58stories submitted
843story points
4 years agolast shared
2012people per year2026
Most-shared posts
- 1An Explanation of Grover's Quantum Search Algorithm8 people · 8 points · first shared 2013 · discussion on HN
- 2Searching a Sorted Matrix Faster2 people · 139 points · first shared 2013 · 10 comments on HN
- 3My Bug, My Bad: Sunk by Float2 people · 41 points · first shared 2013 · 10 comments on HN
- 4A Year’s Worth of Opinions about Objective-C2 people · 36 points · first shared 2013 · 43 comments on HN
- 5When One-Way Latency Doesn't Matter2 people · 33 points · first shared 2013 · 18 comments on HN
- 6Optimizing a Parser Combinator into a memcpy2 people · 11 points · first shared 2013 · discussion on HN
- 7Implementing Quantum Pseudo-Telepathy2 people · 7 points · first shared 2013 · discussion on HN
- 8Securing Peer to Peer Fog of War against Map Hacks2 people · 7 points · first shared 2013 · discussion on HN
- 9Representing Numbers as Polynomials2 people · 6 points · first shared 2013 · 1 comments on HN
- 10Optimizing Just in Time with Expression Trees2 people · 5 points · first shared 2013 · 1 comments on HN
- 11What isn't a Monad2 people · 3 points · first shared 2013 · discussion on HN
- 12The Socialist Millionaire Problem and Secure Multi-Party Computation2 people · 1 points · first shared 2013 · discussion on HN
- 13Solomonoff's Mad Scientist2 people · 1 points · first shared 2013 · discussion on HN
- 14Breaking a Toy Hash Function1 people · 213 points · first shared 2013 · 20 comments on HN
- 15Mouse path smoothing1 people · 95 points · first shared 2013 · 25 comments on HN
What HN people wrote when they linked it
andreareina · 2020-06-22
Clicking through to the post about Grover's Algorithm[1] is the mental model of all the quantum stuff that works best for me: "Like probability theory, but over the complex numbers".
[1]http://twistedoakstudios.com/blog/Post2644_grovers-quantum-search-algo…
netvarun · 2017-07-30
After Shor's algorithm a good follow up would be to learn about Grover's Algorithm[1]
Here is a fantastic explanation of it: http://twistedoakstudios.com/blog/Post2644_grovers-quantum-search-algo… [More technically involved explanation]
Interesting factoid: Scott Aaronson[2] interned with Lov Grover[3] at Bell Labs as a teenager!
[1] https://en.wikipedia.org/wiki/Grover%27s_algorithm
[2] https://blogs.scientificamerican.com/cross-check/scott-aaronson-answer… [This is a great interview, btw!]
[3] https://en.wikipedia.org/wiki/Lov_Grover
antrion · 2016-12-26
I don't know what your knowledge of quantum computing is, but I'm a complete beginner and I found this article [0] a very good read to begin with.
[0]: http://twistedoakstudios.com/blog/Post2644_grovers-quantum-search-algo…
_asummers · 2016-05-06
This about mirrors my opinions about Objective-C.
http://twistedoakstudios.com/blog/Post8237_a-years-worth-of-opinions-a…
Strilanc · 2014-12-01
I agree. You can only write so much object-to-data packing code followed by the redundant data-to-object packing code before you realize there's an exploitable pattern here.
(I had exactly this experience, in fact[0][1]. My name was way worse, though: "Jars".)
0: http://twistedoakstudios.com/blog/Post4708_optimizing-a-parser-combina…
1: https://github.com/Strilanc/Tinker/blob/master/Warcraft3/Protocol/Game…
Ono-Sendai · 2021-03-02
It's basically impossible to measure the one-way latency, without external information in the form of clock synchronisation done externally. See http://twistedoakstudios.com/blog/Post2353_when-one-way-latency-doesnt…
This fact is also the basis for special relativity (different observers may choose different simultaneity conventions - for example Einstein synchronisation)
bob1029 · 2020-01-29
If you have the patience to dive really deep into the Expression Tree pool, you can build some incredibly powerful tools.
See:
https://docs.microsoft.com/en-us/dotnet/csharp/programming-guide/conce…
http://twistedoakstudios.com/blog/Post2540_optimizing-just-in-time-wit…
sp332 · 2017-10-24
It does't really calculate all the moves. But you could probably use Grover's search algorithm to improve your odds of finding a good move. http://twistedoakstudios.com/blog/Post2644_grovers-quantum-search-algo…
Valodim · 2017-04-22
I found this blog post very informative. Obviously it doesn't have the content of a book, but it conveys a good first intuition of what quantum computing can and cannot do.
http://twistedoakstudios.com/blog/Post2644_grovers-quantum-search-algo…
evincarofautumn · 2016-09-18
Here’s an interesting precise representation of algebraic numbers as roots of integer polynomials: http://twistedoakstudios.com/blog/Post6871_impractical-experiments-1-r…
ad510 · 2016-07-11
When I wrote "predict" there, I was referring to whether the predicted probabilities approach the true underlying probabilities, and Solomonoff induction can "predict" a true random number generator in that sense because its predicted probabilities will approach those of the random number generator. [1] However, if you tried to use it to predict a halting oracle, the halting oracle would be deterministic but Solomonoff induction would never be able to predict it with complete confidence, and this is what I was referring to in that paragraph.
But you're right that random numbers are inherently unpredictable; maybe I should add another footnote explaining what I meant there. (Edit: I added a clarification to the paragraph you quoted.)
[1] http://twistedoakstudios.com/blog/Post5623_solomonoffs-mad-scientist in the "Thinking with Programs: Random Data" section
jxm262 · 2015-11-09
Here's another simplistic explanation for this concept - http://twistedoakstudios.com/blog/Post3724_explain-it-like-im-five-the…
I've been reading alot about the cryptography (and alot of bitcoin stuff), there's alot of interesting material out there.
mjewkes · 2015-02-20
Super cool!
We've been running a worker owned, profit sharing contracting company out of Halifax, Canada for about 5 years now. (http://twistedoakstudios.com/about.php). We haven't really dove into the start-up/MVP scene very much, though.
MichaelBurge · 2017-06-14
Besides scientists, I don't really see quantum computers as being useful computationally. There's breaking cryptography, but then you're spending billions to inconvenience people into moving to a different quantum-resistant algorithm.
What about creating cryptography? Wikipedia has a few interesting applications:
https://en.wikipedia.org/wiki/Quantum_cryptography
I'm not a cryptographer - are security people excited about building all sorts of weird quantum protocols?
> “Then you let the computer check all possible solutions essentially—or a very large combination of them—and come back with an answer,” he says. In a quantum computer, there’s no mathematician cracking the problem, he says. “The laws of physics crack the problem for you.”
That sounds more like an NTM than a quantum computer. An NTM would turn its owner into a God.
> Superposition is the mind-bending observation that a particle can be in two states at the same time. Bring out your ruler to get a measurement, however, and the particle will collapse into one state or the other. And you won’t know which until you try, except in terms of probabilities.
It's not probabilities because people think of those as real numbers. The coefficients are complex numbers. There's a probability monad, for example, but no quantum monad:
http://twistedoakstudios.com/blog/Post5485_what-isnt-a-monad
The article sort of mentions it later on when they quote Scott Aaronson, but I suspect the author didn't understand and…
SideburnsOfDoom · 2015-12-21
I talked about c#'s lambda syntax, which Java later borrowed, below. For the other points:
I have seen a little of the interface vs function conversions in modern Java, and it seems a decent enough small convenient feature in the context of Java, but it doesn't feel like a big win that I would cry out for in C# code.
Defaulting to not-null and immutable values is a trend in several recent languages, e.g. from Swift and Rust to F#. This IMHO looks like a good step forward and I welcome it, however it's hard to see how this would be comprehensively added into existing languages like Java or C# with an existing legacy of not working that way. Opting into Not-null in c# has been talked about many times (1) in various forms, even implemented using attributes (similar enough to type annotations). (2)
1) http://twistedoakstudios.com/blog/Post330_non-nullable-types-vs-c-fixi…
2) http://stackoverflow.com/questions/792531/c-how-to-implement-and-use-a…