Search found 699 matches

by Macbi
October 5th, 2019, 6:38 am
Forum: The Sandbox
Topic: Largest total computable function competition
Replies: 142
Views: 14116

Re: Largest total computable function competition

I believe the fastest growing known computable functions are of the following form: n ↦ The combined running time of all Turing machines (with no input) such that there exists a proof that they halt in second-order PA using fewer than n symbols FIrst order set theory is much stronger, and you might...
by Macbi
October 3rd, 2019, 10:12 am
Forum: Website Discussion
Topic: Updating website
Replies: 40
Views: 802

Re: Updating website

If I'm going to be quite honest, it seems a bit jarring in terms of color compared to the rest of the wiki, and also feels like it gets in the way to an extent. Maybe the links could be moved to the left sidebar? Honestly I kind of agree. I'll leave it up for at least a day though to see if anyone ...
by Macbi
October 3rd, 2019, 4:07 am
Forum: Website Discussion
Topic: Like button in forum request
Replies: 28
Views: 10068

Re: Like button in forum request

All of the original comments raised good points. It would be nice to be able to congratulate people without having to comment. (I'm thinking in particular of Nick Gotts' work, which I find amazing but don't always have anything interesting to add.) But it would be bad if the like buttons turned the ...
by Macbi
October 2nd, 2019, 9:08 am
Forum: Website Discussion
Topic: Updating website
Replies: 40
Views: 802

Re: Updating website

Nathaniel wrote:
October 2nd, 2019, 8:42 am
Gamedziner wrote:
October 2nd, 2019, 8:28 am
Pages in the updated forums seem to load a lot slower.
Anyone else having this problem? Seems fine to me.

Also, I'll be updating to PHP 7.2 in a day or two, which should speed up the whole site somewhat.
Seems fine to me too.
by Macbi
October 1st, 2019, 10:54 am
Forum: The Sandbox
Topic: Thread for your ridiculously absurd questions
Replies: 51
Views: 1022

Re: Thread for your ridiculously absurd questions

Then what would be the best way to affect the spin of the Earth that we can do currently? Say the entire human race's goal is to affect the Earth's spin as much as possible. What's the most effective way with today's technology? Perhaps adjust the orbit of an asteroid so that it falls out of the be...
by Macbi
October 1st, 2019, 7:27 am
Forum: The Sandbox
Topic: Thread for your ridiculously absurd questions
Replies: 51
Views: 1022

Re: Thread for your ridiculously absurd questions

What if we attached a massive light sail, say the diameter of the moon, to the equator? Assume the light sail and the supports and attachments etc. are indestructible and ignore the logistics and things to actually make said light sail (Lets say it suddenly appeared out of nowhere.). Would it affec...
by Macbi
September 23rd, 2019, 8:06 am
Forum: General Discussion
Topic: Golly with Python 3?
Replies: 5
Views: 285

Re: Golly with Python 3?

I think the current status is that there are no plans to migrate Golly to Python 3. It was Andrew Trevorrow who implemented Python 2 originally, but he much prefers Lua to Python 3 and has no plans to continue working on Python support (see his message here ). But he's happy for Golly to have Python...
by Macbi
September 21st, 2019, 11:59 am
Forum: The Sandbox
Topic: Thread for Non-CA Academic Questions
Replies: 286
Views: 71007

Re: Thread for Non-CA Academic Questions

Is it possible to define an infinite sequence of ordinals such that for all o less than w_1, you have only gone past a finite amount of ordinals in the sequence? Formally: Is ∃(A)∀(o|o<|(w_1))∀(B|[∀n|n<o,n∈A⇒n∈B]∧[∄(C|C⊂B∧[∀n|n<o,n∈A⇒n∈B])])(|B|<w∧|A|>=w) a true statement? I think in your formalisa...
by Macbi
September 19th, 2019, 10:25 am
Forum: Patterns
Topic: Systematic survey of small patterns
Replies: 36
Views: 30636

Re: Systematic survey of small patterns

Nice progress! My search has also (as it should) found Paul Callahan's 10-cell single-cluster pattern producing a block-laying switch engine, together with 5 trivial variants: x = 50008, y = 50007, rule = B3/S23 bo$2obo$bobo$3bo$5bobo$5bo9995$10001bo$10000b2obo$10001bobo$10003bo$ 10005bo$10005bobo99...
by Macbi
September 19th, 2019, 9:20 am
Forum: General Discussion
Topic: Thread for basic questions
Replies: 1675
Views: 433966

Re: Thread for basic questions

That would be xq0_2702072 That implies that it's a period 0 spaceship (whatever that would be)--as it turns out, x0_2702072 is a perfectly valid apgcode A period 0 spaceship is a pattern that returns to its original state (up to a translation) whenever the generation number is a multiple of 0. So t...
by Macbi
September 13th, 2019, 3:52 am
Forum: General Discussion
Topic: Is every spaceship edible?
Replies: 8
Views: 875

Re: Is every spaceship edible?

This is the kind of thing which we suspect is true, but which no one has ever thought of a way to prove.
by Macbi
September 1st, 2019, 7:16 am
Forum: Patterns
Topic: 17 in 17: Efficient 17-bit synthesis project
Replies: 315
Views: 88600

Re: 17 in 17: Efficient 17-bit synthesis project

chris_c wrote:There might be a way to do cleanup in one less glider.

Code: Select all

x = 27, y = 39, rule = B3/S23
5bo$o4bobo11bo$b2o2b2o12bobo$2o17b2o2$23bo$8bo12b2o$7bo14b2o$7b3o5$18b
obo$18b2o$19bo2$6b2o$5bo2bo$5bob2o$2b2obo$o2bobo$2o2bo9$24b3o$24bo$25b
o3$14b3o$14bo$15bo!
by Macbi
September 1st, 2019, 5:58 am
Forum: Other Cellular Automata
Topic: The Single Rotation Rule
Replies: 41
Views: 19784

Re: The Single Rotation Rule

This variant was suggested in the comments to the original post: x = 16, y = 16, rule = M0,4,1,3,8,5,6,11,2,9,10,14,12,7,13,15 obobob2o2b2obobobo2b5o2bobo$b2ob4o4b3o2bobo4b2o2bobo$o2bo3b3ob2o2b3ob 4ob8o$3b6obobobo3b2o4b3ob3o$o7b2o2b3o4bobobo3bobo$2obo3b5o4b6o5b2o$o2b obo2b2obobo4bo2bob2o3b2obo$3ob2o...
by Macbi
August 28th, 2019, 6:49 am
Forum: Patterns
Topic: 17 in 17: Efficient 17-bit synthesis project
Replies: 315
Views: 88600

Re: 17 in 17: Efficient 17-bit synthesis project

testitemqlstudop wrote:Oh you forgot /s?
Right, but more specifically the joke is that Kellyanne Conway does work for Trump.
by Macbi
August 11th, 2019, 11:15 am
Forum: The Sandbox
Topic: Thread for Non-CA Academic Questions
Replies: 286
Views: 71007

Re: Thread for Non-CA Academic Questions

calcyman wrote:This is all true, but I'd make a minor terminology change: s/large cardinal/strongly inaccessible cardinal/

'Large cardinal' is a more general (and less precise) term: https://en.wikipedia.org/wiki/List_of_l ... properties
Good point.
by Macbi
August 10th, 2019, 11:20 am
Forum: The Sandbox
Topic: Thread for Non-CA Academic Questions
Replies: 286
Views: 71007

Re: Thread for Non-CA Academic Questions

There's a thing called a "large cardinal" which means that it's so large that it can't be reached from anything below it using the operations that are well defined in ZFC. In particular a cardinal C is one such that if A is smaller than C then the power set of A is also larger than C, and such that ...
by Macbi
July 28th, 2019, 2:34 am
Forum: Other Cellular Automata
Topic: Smallest Spaceships Supporting Specific Speeds (5s) Project
Replies: 779
Views: 150851

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Saka wrote:A slope 107 (1,107) one

Code: Select all

x = 5, y = 4, rule = B2-ak3y4aeijrz5aky6-n7e8/S12ek3qry4-cjz5-j6-in7
2b2o$3obo$b3o$bo!
I think that's a record!
by Macbi
July 25th, 2019, 12:13 pm
Forum: Other Cellular Automata
Topic: Miscellaneous Discoveries in Other Cellular Automata
Replies: 1461
Views: 286786

Re: Miscellaneous Discoveries in Other Cellular Automata

In one of Moosey's rules are tons of really long lasting methuselahs, and this one lasts 27,871,939,396,739,043,039,106 gens: x = 54, y = 46, rule = B2a3jry4iy5y/S 52b2o$52b2o41$b2obo$o3bo$o$b2o! It actually lasts 28,336,471,720,019,104,108,483 gens, until the vertical line boops the bit at the bot...
by Macbi
July 22nd, 2019, 7:19 am
Forum: The Sandbox
Topic: Thread for Non-CA Academic Questions
Replies: 286
Views: 71007

Re: Thread for Non-CA Academic Questions

What is the constant k (if it exists) such that O(log(x!)) is between O(x^k) and O(x^(k-ε)) for some arbitrarily small ε? Does it depend on the base of the logarithm? Is there a (different) constant k such that there are arbitrarily large integer powers differing by at most k? Stirling's approximat...
by Macbi
July 16th, 2019, 8:59 am
Forum: General Discussion
Topic: Thread for basic questions
Replies: 1675
Views: 433966

Re: Thread for basic questions

Save that file as a .mc. Don't try to paste it into Golly!
by Macbi
July 16th, 2019, 3:50 am
Forum: Scripts
Topic: Logic Life Search
Replies: 185
Views: 60927

Re: Logic Life Search

LaundryPizza03 wrote:I've noticed that cancelling the searches for period multiples of c/2d sped up an unrelated search program. However, I am not at the point where I am ready to test my hypothesis.
That sounds like you're running out of RAM or running more searches than you have cores.
by Macbi
July 16th, 2019, 2:18 am
Forum: Scripts
Topic: Logic Life Search
Replies: 185
Views: 60927

Re: Logic Life Search

I've noticed that searches tend to take longer as I use it more (following logging in.) For example, (7, 3)/17 (<=4 cells), (8, 2)c/18 (3 cells), and many other speeds in this post mostly took under an hour each, but (6, 5)c/18 is taking an unexpectedly long time. I am also running several other se...
by Macbi
July 11th, 2019, 6:52 am
Forum: Other Cellular Automata
Topic: Requests for Searches - Non-apgsearch
Replies: 44
Views: 12593

Re: Requests for Searches - Non-apgsearch

wildmyron wrote:
LaundryPizza03 wrote:A power surge killed all my LLS searches.
That is very unfortunate. The lack of check-pointing in LLS is a significant drawback to using it for hard search problems.
Do any of the common SAT solvers offer this feature? If they do then I'll try to support it in LLS.
by Macbi
July 7th, 2019, 8:02 am
Forum: The Sandbox
Topic: Famous Quotes
Replies: 173
Views: 60047

Re: Famous Quotes

Moosey wrote:(0,0,0,0...)hd? Where are they engineering this spaceship, Hilbert space?
by Macbi
July 5th, 2019, 2:05 pm
Forum: General Discussion
Topic: Thread for basic questions
Replies: 1675
Views: 433966

Re: Thread for basic questions

... we could make an algorithm which was just HashLife rotated by 45° so that it would see gliders and switchengines as going orthogonally. Would that help at all? Not much, I think, if it's "just HashLife". The algorithm will still have to keep track of lots of different larger hashtiles that are ...