Atiscant

9 ms·

1.
by Atiscant 14d ago
Just a second recommendation for this movie. It is very good. It encapsulates part of my favorite danish psalm which translated is something like “An average happy and productive life on earth”. There is some ambiguity in the message in the
2.
by Atiscant 3mo ago
Seems somewhat related to https://en.wikipedia.org/wiki/Appropriate_technology
3.
Appropriate Technology(en.wikipedia.org)
4 points by Atiscant 3mo ago|0 comments
4.
by Atiscant 3mo ago
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 pure AI music would properly rejected unless there was some p
5.
by Atiscant 4mo ago
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.
6.
by Atiscant 4mo ago
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 books, and been through all audiobooks (both new anf old). It’s
7.
by Atiscant 5mo ago
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 retain the semantics. Also my proudest moment as a teacher was s
8.
by Atiscant 5mo ago
(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, government sites or whatever you type a “username” (identity string
9.
by Atiscant 5mo ago
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” (identity string that officially should not be linkable to you but
10.
by Atiscant 6mo ago
Would you mind adding some details about how this is actually setup?
11.
by Atiscant 7mo ago
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 disagree and sounds good when I say I agree. Other test usually
12.
by Atiscant 8mo ago
Great toy. https://michae2.github.io/c-turtl/?dna=cfllfbpfrbcfbbp&scale...
13.
by Atiscant 10mo ago
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 an “abstract nonsense” proof[0]. [0]: https://ncatl
14.
by Atiscant 10mo ago
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 define what you are doing in that foundation. Most math
15.
by Atiscant 10mo ago
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 along isomorphism because they refer to implementations. I agr
16.
by Atiscant 10mo ago
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 numbers, I need to choose a concrete implementation in set theory
17.
by Atiscant 11mo ago
Absolutely great. Thank you for sharing.
18.
by Atiscant 11mo ago
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 lemmas and definitions while figuring out the proof. That is, yo
19.
by Atiscant 2y ago
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, but his analysis is, if nothing else, interesting. His book
20.
by Atiscant 2y ago
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 self in English. My wife was an exchange student many years
21.
by Atiscant 2y ago
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.
22.
by Atiscant 2y ago
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 research trends and networking with universities. I did a phd in
23.
by Atiscant 2y ago
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 collapse by a mistake in “first lemma on the first page” of a fo
24.
by Atiscant 2y ago
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 solutions, but many of them being degenerate (no solutions), but
25.
by Atiscant 2y ago
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 | I'm fairly sure the only solution her
26.
by Atiscant 2y ago
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 | | 2 | 2 | 2 | 1 | | 2 | 2 | 2 | 2 |
27.
by Atiscant 2y ago
Thanks a lot!
28.
by Atiscant 2y ago
Would you be willing to share your config for this setup?
29.
by Atiscant 3y ago
Learning to write proofs is really learning a new kind of thinking, and that is not easy to do alone. For sure you can learn from books or other resources alone, but as with everything, when you are stuck in some way, good guidance can be v
30.
by Atiscant 3y ago
I suggest you start out with a course or book on formal logic in computer science. In particular doing proofs in intuitionistic logic. You can use a simple proof assistant to verify your proofs and it will help you really understand how pro

More ›