tromp

60 ms·

1051.
by tromp 3y ago
Church Numeral oriented Haskell Programmer: three = \f x -> f (f (f x)) fac = \n f -> n (\f n -> n (f (\f x -> n f (f x)))) (\x -> f) (\x -> x) main = print $ fac three (+ 1) 0
1052.
by tromp 3y ago
Indeed; the story of its origins may also be found at the start of chapter 1 of Gardner's "Hexaflexagons and other mathematical diversions" book [1]. [1] http://geofhagopian.net/papers/GARDNER01.pdf
1053.
by tromp 3y ago
Her videos, the last 2 external links on Wikipedia, are excellent introductions indeed. She even recreates the history of how they originated > The discovery of the first flexagon, a trihexaflexagon, is credited to the British mathematic
1054.
by tromp 3y ago
Thanks for showing the syntax to use! I computed the number of closed lambda terms of size 10 bits within 0 binders with nclosed(k=0, n=10) : function nclosed(k:number, n:number) { if (n < 2) return 0; let sum = nclosed
1055.
by tromp 3y ago
In the video she mentions there are only 17 different wallpaper designs. As it turns out, there are only 17 possible planar symmetry groups [1]. [1] https://en.wikipedia.org/wiki/Wallpaper_group
1056.
by tromp 3y ago
> Write a file compressor > Write a programming language I wrote programming language BLC for compressing files down to the smallest possible description (ie. their Kolmogorov complexity). So the smallest description is a program in t
1057.
by tromp 3y ago
BP is like a slightly messier BrainFuck. Its alphabet size of 17 is rather odd. Its spec (Section E.2 of [1]) says > programs containing unbalanced parentheses are made valid, in particular by skipping any additional ]. But that still le
1058.
by tromp 3y ago
Actually the ratios are correct [1], but the typo is in my inferred orbit count for planet 6 which should be 9, not 8. Well spotted! [1] https://cdn.mos.cms.futurecdn.net/DEAyqYXn7pfD7ZboApakhe-120...
1059.
by tromp 3y ago
Ideally, any law specifying an exception whose conditions had to hold in the past should list all known qualifying entities if they number less than a dozen.
1060.
by tromp 3y ago
Slightly misleading title. The exemption is not granted to Panera specifically. > Panera Bread is poised to get a boost from a bizarre clause in the fast-food minimum wage law that exempts "chains that bake bread and sell it as a st
1061.
by tromp 3y ago
My motivation in defining BLC was to have the simplest measure of the complexity of things. That includes binary strings, natural numbers, tuples, lists, sets, and functions of those, as well as languages (according to their interpreter) an
1062.
by tromp 3y ago
The size of https://www.ioccc.org/2012/tromp/oddindices.Blc is 84 bytes.
1063.
by tromp 3y ago
It computes a list (as nested pairs in the standard lambda calculus representation) of Church numerals (the standard representation of natural numbers). See also the discussion of the 167-bit primes program output in the first link, which g
1064.
by tromp 3y ago
> assembly on a specific machine, which seems very fair to me. It seems a little biased toward imperative languages. The earliest models of computation, namely combinatory logic with S & K, and the lambda calculus, date back to 1920s
1065.
by tromp 3y ago
> the size of the interpreter for vyval should be included in the scoring But an interpreter in what language?
1066.
by tromp 3y ago
> Vyxal is an stack-based esoteric array language that is dedicated to dominating competition in code golf challenges. This means that it strips away all need for boilerplate, long function names and impractical source layouts. > Func
1067.
by tromp 3y ago
The step from 7 to 5nm shrunk pitch to 85%, a mere 19% of marketing hype. But the step from 2 to 1nm shrunk gate pitch to 93.3% instead of the suggested 50%, a large 87% marketing hype. Or viewed as a shrink by only 6.7%, it's a whop
1068.
by tromp 3y ago
As detailed in the companion article [1], for every 54 orbits of planet 1, planets 2..6 orbit 36, 24, 16, 12, and 8 times respectively, giving successive ratios of 2/3, 2/3, 2/3, 3/4 and 3/4. After those 54 planet 1
1069.
by tromp 3y ago
I wish there were a big prize for the first quantum computer shown capable of factoring any product of two odd 4-bit primes {3,5,7,11,13} using Shor's algorithm. I do not expect such a prize to be won in the next decade. Or two.
1070.
by tromp 3y ago
5 trits fit into 1 byte pretty well, since 3^5 = 243 is just under 2^8 = 256. That should be called an 8/5 = 1.6 bit model though, while the paper names it 1.58 bit, closer to log_2(3) ~ 1.5849625
1071.
by tromp 3y ago
Use of A.I. should never give you Accountability Immunity...
1072.
by tromp 3y ago
> "The most likely root cause for the booster RUD (rapid unscheduled disassembly) was determined to be filter blockage where liquid oxygen is supplied to the engines, leading to a loss of inlet pressure in engine oxidizer turbopumps
1073.
by tromp 3y ago
And Shotwell is currently the President and COO.
1074.
by tromp 3y ago
So that you can run it on its own source as demonstration of its powers?
1075.
by tromp 3y ago
Yes, several countries have a so-called wealth tax, in addition to income tax.
1076.
by tromp 3y ago
Your formulation is once again ambiguous. Instead of clearly stating that Monty had to open 998 empty doors, you state that he did that. Which could mean he happened to do that. Had to vs happened to makes a big difference. Had he opened th
1077.
by tromp 3y ago
It might be that he only does the reveal-and-switch offer if your original pick was the car.
1078.
by tromp 3y ago
> Imagine that you’re on a television game show and the host presents you with three closed doors. Behind one of them, sits a sparkling, brand-new Lincoln Continental; behind the other two, are smelly old goats. The host implores you to
1079.
by tromp 3y ago
Good explanation of how (some) pretty printers work. There is one snag, at least on my browser (Brave on MacOS). The final example with line width 120 is marred by having some lines wrapped, no matter how I resize my browser window or resiz
1080.
by tromp 3y ago
My connect-4 page [1] also links to this comprehensive explanation. [1] https://tromp.github.io/c4/c4.html

More ›