HN user

tim_hutton

1,220 karma

https://github.com/timhutton https://mathstodon.xyz/@timhutton

Posts24
Comments97
View on HN
www.youtube.com 5y ago

The Korteweg-de Vries equation – how do the waves pass through each other?

tim_hutton
2pts0
timhutton.github.io 5y ago

Gravity is not a force – free-fall parabolas are straight lines in spacetime

tim_hutton
801pts433
github.com 10y ago

40 new reaction-diffusion patterns in Ready 0.7

tim_hutton
1pts0
twitter.com 11y ago

Scientist learnt in April that Philae harpoons might fail

tim_hutton
3pts2
plus.google.com 11y ago

Show HN: A hyperbola is a circle with imaginary radius

tim_hutton
2pts0
github.com 11y ago

Show HN: Explore tilings of the hyperbolic plane by moving the mouse

tim_hutton
46pts10
www.alternet.org 12y ago

Monsanto's Linked to Fatal Kidney Disease Epidemic: Could It Topple the Company?

tim_hutton
6pts6
imgur.com 12y ago

This is how analog clocks should be. With a polar projection of the world.

tim_hutton
7pts2
www.wired.com 12y ago

It’s Time to Take Mesh Networks Seriously

tim_hutton
2pts0
math.stackexchange.com 12y ago

Cutting up a circle to make a square. How close can we get?

tim_hutton
1pts0
www.telegraph.co.uk 12y ago

Life 'originated from space' claim scientists

tim_hutton
1pts0
www.indiegogo.com 12y ago

Mailpile – taking e-mail back

tim_hutton
334pts151
plus.google.com 12y ago

Watch the Crab Nebula expanding, over 13 years.

tim_hutton
4pts0
www.google.com 13y ago

Google sometimes scans books upside-down by mistake...

tim_hutton
3pts2
www.kickstarter.com 13y ago

Raspberry Pi + Lego Mindstorms = robots without the soldering

tim_hutton
1pts0
math.stackexchange.com 13y ago

What made you realize that math is beautiful?

tim_hutton
1pts1
developer.nvidia.com 13y ago

NVidia releases Visual Studio add-on for Android development on Tegra chips

tim_hutton
3pts0
www.conwaylife.com 13y ago

Busy Beaver Turmite Challenge

tim_hutton
1pts1
ferkeltongs.livejournal.com 13y ago

Ready 0.5 - cellular automata on arbitrary polygonal and polyhedral meshes

tim_hutton
1pts0
plus.google.com 13y ago

SmoothLife - a continuous version of Conway's Game of Life

tim_hutton
3pts0
www.youtube.com 13y ago

The U-Skate World, a newly-discovered continuous CA that supports gliders.

tim_hutton
1pts0
code.google.com 13y ago

Animating how the Mandelbrot maps onto itself, by "stirring"

tim_hutton
4pts0
plus.google.com 13y ago

First glider discovered in a cellular automata on an aperiodic tiling

tim_hutton
182pts28
code.google.com 14y ago

Show HN: Run Turing's reaction-diffusion on your own meshes

tim_hutton
1pts0

Fredkin’s Self-Replicating Cellular Automata:

Sum the neighbors, modulo 2, and assign to the cell on the next timestep.

Astonishingly this allows patterns to replicate in multiple directions across the plane. https://cellpylib.org/fredkin.html

Works with any kind of lattice. Even works in 3D.

One route to understanding how CPUs work is to explore the computers that have been made in cellular automata. Golly (https://golly.sourceforge.net/) has several, including one by John von Neumann, one by Edgar Codd and another by John Devore. The advantage of course is that the physics is trivial and you can see everything that happens and step backwards and forwards.

Example:

https://timhutton.github.io/2010/03/10/30984.html

https://github.com/GollyGang/ruletablerepository/wiki/CoddsD...

Gödel's incompleteness isn't a practical obstacle to proof assistants - it will never stop us formalizing proofs and searching for new theorems. It's irrelevant to their operation and will continue to be for all time.

If Gödel's incompleteness applies to the theorem you are trying to prove then it means that the theorem has been very carefully set up with reference to the axioms that you are using in order to be unprovable. It's not something you will stumble across otherwise.

Think of it like this: imagine knowing that maths will stop working if a certain very specific enormous number appears in your calculation. This would keep mathematicians up at night with worry but it would have no practical effect on anyone else because the enormous number simply never appears.

V8 release v6.6 8 years ago

I like JavaScript a lot, I've got no problem with it. But when WebAssembly can access the DOM (or replace it) it seems likely that performance-critical code will use that instead.

V8 release v6.6 8 years ago

Is there still a need for performant JavaScript now that we have WebAssembly?

Edit: Apologies for wording this poorly. Clearly there is a need for performant JavaScript. My question is more about how much we expect WebAssembly to take over from what JavaScript is currently used for. Thank you for all the insightful comments!