Viewing profile — Atiscant

Seems somewhat related to https://en.wikipedia.org/wiki/Appropriate_technology

I mean, even if could produce generic metal would it produce Igorrr? Meshugga? Tim Henson? Baby Metal? All of these are driven by other things then just producing metal. I agree pu…

It is kind of ironic that the AI building tool is so hostile to AI. Copilot studio really is a hot mess, at least for me.

My wife and I are very different people. She is intuitive, involved in people, in the moments. I am slow, considering, post-hoc. We converge on Pratchett. We both read all the book…

I had a similar experience explaining logic, especially nested expressions, with cats and boxes. Also for showing syntactic versus semantic. We _can_ use cats if we wanted and reta…

(Same reply as to another comment in this thread) In Denmark the official identification app does basically this. When you to officially verify yourself for e.g. the bank, governme…

In Denmark the official identification app does basically this. When you to officially verify yourself for e.g. the bank, government sites or whatever you type a “username” (identi…

Would you mind adding some details about how this is actually setup?

It is interesting enough, but the report kind of feels very AI generated and generic. Most of the questions present the choices in a good vs bad way, i.e it sounds bad saying I dis…

Great toy. https://michae2.github.io/c-turtl/?dna=cfllfbpfrbcfbbp&scale...

For most of my computer science PhD the “trick” was just to get the inductive definition to work, and then how to tweak it for the next paper. Or, get enough structuret we can do a…

As noted in another reply, the natural numbers example is contrived, but illustrative. Nevertheless, if you have a set theoretical foundation, e.g. ZF/C, at some point you need to …

Sure you can work around it most of the time, but some times you cant. The whole point is that isomorphic is not equality in set theory, and sometimes proofs does not transfer alon…

As one of those that do not like the “sets at the bottom” approach I just want to highlight why. For me, mathematics built on sets have leaky abstractions. Say I want natural numbe…

Absolutely great. Thank you for sharing.

A point that is maybe not obvious to people who have not done mathematics at a high level or done “new” mathematics, is that often you end of changing your theorem or at least lemm…

A dissenting voice that might of interest here is Peter Zeihan. He claims that the US is one of the few places that won’t collapse in the coming decade. I do claim here is right, b…

The US. I am from one of the Scandinavian countries with small kids, and trying to align work to move, at least temporarily, in a couple of years when they are able to handle them …

Biochar is exactly doing that and is an active area of research in many places. There is several ongoing projects also showing that biochar can improve soil quality and crop yields…

I work with technology and research management at a multi national industrial company. This includes strategy and roadmapping for specific products, but also broadly following rese…

As mentioned by another comment, this is a big reason that Vladimir Voevodsky started his Homotopy Type Theory and Univalent Foundations program. He had see first hand a field coll…

Or for the mathematically inclined: How many n x n puzzles with unique solutions exists for a given size n? n=1 is trivial, and n=2 it small enough to enumerate with 3^4 = 81 solut…

At least it is possible to force a single solution (discounting backtraces which is always possible) in 4x4: | 2 | 3 | 3 | 3 | | 3 | 3 | 3 | 3 | | 3 | 3 | 3 | 1 | | 3 | 3 | 3 | G |…

With arbitrary generation rules they are surely not. This is a counter example on 4x4: | 1 | 1 | 1 | 1 | | 1 | 3 | 3 | 3 | | 1 | 3 | 2 | 2 | | 1 | 3 | 2 | G | Or | 2 | 2 | 2 | 2 | …