jpcooper

11 ms·

61.
by jpcooper 6y ago
Not only 3-space. An example of a slice knot would be a normal 1-dimensional knot suspended in 3-space which turns out to be the 3-dimensional slice/cross-section of a 2-dimensional sphere suspended and knotted in 4-space.
62.
Dopplereffekt – Cellular Automata(youtube.com)
2 points by jpcooper 6y ago|0 comments
63.
by jpcooper 6y ago
Thanks for the links. I memorised a number of decorative knots as a kid, but it never really occurred to me then that they were formed of smaller parts. That didn’t seem to be necessary at the time. Also, you do have prime knots, which are
64.
Knot Theory and its Applications [pdf](maths.ed.ac.uk)
80 points by jpcooper 6y ago|14 comments
65.
by jpcooper 6y ago
How is he wrong about GIT? What more general systems of computation are there than Turing? Are any in use? Are they really more general? The claims of the generality of Actors seem to rely on continuous time and non-determinism. Actors, det
66.
by jpcooper 6y ago
Carl Hewitt, the inventor of the actor model, wrote this paper: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003 , which he posted a link to on a recent post here on Erlang. In it, he claims that Godel's
67.
by jpcooper 6y ago
Looks like he's running from a shell. Can't he just press C-z?
68.
Ask HN: Modern Mental Arithmetic Methods?
1 points by jpcooper 6y ago|0 comments
69.
How would Muslims adapt to follow their prayer rituals in the loss of Earth?(worldbuilding.stackexchange.com)
3 points by jpcooper 6y ago|0 comments
70.
by jpcooper 6y ago
Implementation in J of a more general form of Conway's Game of Life.
71.
Ask HN: Modern Mental Arithmetic Methods?
4 points by jpcooper 6y ago|0 comments
72.
Larger Than Life Automata(vector.org.uk)
2 points by jpcooper 6y ago|2 comments
73.
by jpcooper 6y ago
I have been giving Python a go for writing a programme which concurrently scrapes and collates data from multiple sources. I chose to figure out how to do this in Python instead of my usual Haskell because I wanted to see how productive I w
74.
by jpcooper 6y ago
A lot of human networks are more connected than square and triangle lattices. I wonder whether there is a way of taking a number of connected nodes, somehow extracting and looking at the interaction relevant to a sub-lattice, and generalisi
75.
Sc (Spreadsheet Calculator)(en.wikipedia.org)
9 points by jpcooper 6y ago|0 comments
76.
by jpcooper 6y ago
Thanks for the tips.
77.
by jpcooper 6y ago
Any migrants from Haskell to F# who have used it for larger projects and can compare the two? I’ve used Haskell on and off for a number of years for a number of small projects, and I’m considering moving to F# for better IDE and debugger su
78.
by jpcooper 6y ago
Lots of ways of generating fun pictures in A New Kind of Science ( https://www.wolframscience.com/nks/ ) as well.
79.
by jpcooper 6y ago
Pierre Cardin’s net worth was apparently 800 million USD according to a quick internet search. That is quite a few bucks. Maybe Pierre Cardin has a couple of lessons to teach us.
80.
Fast Dynamic Casting (C++) (2005) [pdf](stroustrup.com)
2 points by jpcooper 6y ago|0 comments
81.
by jpcooper 6y ago
‘Geen poep op de stoep’ applies to both meanings as well.
82.
by jpcooper 6y ago
I wonder whether they came to London from The Netherlands as well. The Wikipedia page for stoop only mentions North America. Is there a different name used in England?
83.
by jpcooper 6y ago
The Van Dale dictionary seems to list another meaning of ‘stoep’ as steps to a house. Have I understood correctly? https://www.vandale.nl/gratis-woordenboek/nederlands/beteken...
84.
by jpcooper 6y ago
Yes. I agree that you certainly need to write tests for algorithmic code unless you are formally proving it. I definitely would not feel safe about a data structure I wrote in Haskell without writing a large suite of tests. If your tests co
85.
by jpcooper 6y ago
Thanks. That makes sense.
86.
by jpcooper 6y ago
Bad reading comprehension on my part. Was it under the EU rules, or something else?
87.
by jpcooper 6y ago
Can you support this claim?
88.
by jpcooper 6y ago
The author seems not to have been able to claim what he should under these rules.
89.
by jpcooper 6y ago
Travel cancellation insurance is a thing that exists. It would be nice to see a travel cancellation insurance product which pays out based on the following automatically and easily verifiable outcomes: 1. Customer turns up. 2. Plane leaves
90.
by jpcooper 6y ago
I think it is nice in Haskell to retain the ability to control the underlying representation of a string. The laziness allows the native linked list representation without the user having to know about the underlying representation. Your me

More ›