<timotheusbooth>hey, i am trying to install guixsd and the system init command failed at grub installation because i didnt have a bios boot partition, i have created one now. how do i go about continuing installation presuming i can without starting all over again
<koz_>Dunno if this is the right place to report this, but the 'Packages' page of the GuixSD site is causing my browser to lag and/or freeze.
<OriansJ>koz_: that is because the number of packages that GuixSD has is growing quite large and no one has gotten around to fixing that UI issue.
<koz_>OriansJ: I see. Well, I'd help, but I'm a complete Web noob.
<OriansJ>koz_: We all help in ways that we think matter. You never need to ask to help, just grab the shovel you think you can do the most good at and share what you've done with the group.
<koz_>OriansJ: Oh, I know - I'm currently doing some LibreJS-compliance-related stuff for another site. However, I just don't even know *how* I would go about solving that issue.
<OriansJ>koz_: well, experimenting with a couple crazy ideas might provide you some insight to solving it. But like all problems it is about amount of problem space exploration. Sometimes the solution comes from someplace completely unexpected
<koz_>OriansJ: Yeah, but it'd involve learning a lot of Web things, which I really don't have the time or headspace for. Being a full-time PhD student is pretty darn draining.
<koz_>OriansJ: It's in some intersection of logic and distributed systems.
<OriansJ>koz_: sounds like it isn't much of a passion. What are you actually passionate about doing?
<koz_>OriansJ: Oh, I'm *very* passionate about it. I just don't wanna spend a lot of time explaining it in a lot of detail (although I can!), because I've learned people tend not to want walls of text.
<koz_>If you want a wall of text, I'm happy to provide you with one.
<koz_>My choice of 'some' there was more to do with 'hard to define' not 'hard to give any fucks about' - though on a second read, I can see why it might have confused you.
<OriansJ>koz_: go for it; tell me where it is amazing.
<koz_>OriansJ: Basically, there's a pretty neat problem called 'logic synthesis'. Basically, given a truth table, determine the shortest (for some definition of 'shortest') propositional logic formula whose truth table is the same as the given one.
<koz_>Pretty important for circuit design, but also nicely generalizes a lot of constraint-related problems.
<koz_>My idea is to solve it using a distributed system (specifically a mesh network). Right now, I'm working through a few ideas of how to do this while avoiding running face-first into the *very* large global state dependency this problem tends to induce.
<koz_>I've thought of a way to do it, but I'm currently seeing if it can give satisfactory answers. Additionally, because my approach is basically evolutionary in nature, analyzing it is *hard*.
<koz_>What I really wanna do is get a distributed solution to logic synthesis that can run on a very cheaply-built meshnet (like, made of RaspPis or something similar) and still attack large instances of that problem effectively.
<koz_>Right now, I've hit a bit of a frustrating low, but it's more to do with my somewhat-inadequate programming skills. :(
<koz_>That's the *slightly* more wall-of-text-y solution.
<OriansJ>koz_: have you considered the genetic fitness optimization problem in biology?
<koz_>OriansJ: I haven't actually. Mind linking me?
<OriansJ>Image a cell culture, every cell has an absolute fitness and everytime it mutates that value can change in massive ways
<OriansJ>However its fitness is also relative to the cells around it
<OriansJ>Yet novelty first search has shown us that directed optimization tends to get stuck on local optima
<OriansJ>You are familiar with novelty first search right koz_ ?
<koz_>Maybe not by that name. Could you describe what you mean by that?
<ifur>AI as a question is ill-defined, computer scientists have no business speaking of intelligence no matter how advances the search is when the former is not defined, understood or even posed as a proper question
<ifur>you cant make an evolutionary algorithm and call it intelligence for example
<ifur>I admit, that the terminology is so muddled now that its meaningless, but the invention of strong AI was so that people would be able to continue bullshitting about the body and soul problem
<OriansJ>ifur: Intelligence is poorly defined, because we don't even know if humans can be classified as intelligent.
<ifur>and now computer scientists latches on and say, no no, AI is not the same as STRONG AI.
<ifur>nono, we aren't talking about general intelligence, because that would be strong!
<ifur>here we speak of weak AI which means search algorithms, which has nothing to do with intelligence
<OriansJ>ifur: All language is fuzzy because no 2 people mean the exact same thing, even when talking about the exact same thing and using the exact same words.
<ifur>brilliant! Wittgenstein would be impressed by this language game
<ifur>define your premiss, dont hinge on others lack of understanding of the domain specific use of a term.
<OriansJ>ifur: Now if we assume humans are an intelligence. We then can assume some of the things that humans have or do are essential to any intelligence.
<OriansJ>ifur: Failing tests are the only way to weed out that crap
<ifur>im not saying AI is bullshit, I like it... the confusing use of terminology annoys me tho
<ifur>in many cases i would prefer adaptive system, rather than intelligent system etc
<OriansJ>ifur: AI has become a bullshit marketing term but the real working parts still work where they are applicable.
<ifur>bingo! applies maths and discrete maths should have more funding
<ifur>the fact that researches need to use buzzwords to market their research to get funding is terrifying
<ifur>scientists are rapidly losing the ability to effectively communicate accross scientific fields because of this
<OriansJ>ifur: The reason is because even though everyone agrees that good things need to be funded more and bad things need to be punished more, we all have different assumptions and what we mean about those terms are inevitably different.
<ifur>but wittgenstein, heidegger nietzsche and kierkegaard is more fruitful
<ifur>chalmers is only interesting if you care about religion
<ifur>no need to circumvent the church anymore to be allowed to talk about these problems
<janneke>i'm sorry you don't care for the hard problem
<ifur>and woith that, the mind body problem goes away, and you can start focusing on what really matters, namely what is consciousness; and in meta-physical terms can the soul be said to fall into a category
<ifur>mind body problem is not the hard problem, that problem only exists if you take meta-physics in a litterall sense
<ifur>which means you actually do believe in heaven and hell in the litteral sense
<ifur>most rhinkers through history have however focused on the meta-physics, e.g. the laws governing both heaven and hell (space and earth)
<ifur>people butting in believing its a game of oppinions, when the opposite is the case
<jlicht>ifur: well, that's just your opinion man ;-)
<ifur>dilletants beliving that if they "behave" like a philosopher, or immtate their "style" they will become one.
<ifur>historically the study of philosopy has been a litterary one
<jlicht>does guix have any special requirements for packaged fonts? Are pre-made otf files acceptable?
<ifur>jlicht: don't know, you could git grep the repo and see if some exists?
<jlicht>ifur: seeing as this seems to already be happening in several font packages, I guess it is a sane assumption that this is not an issue
<OriansJ>jlicht: well I am not certain but I am guessing that the general idea is if possible make the source material and any build instruction required to produce the end result. As I am unfamiliar with how difficult it would be to modify an otf to suit me, ideally the prefered form is one in which it is easiest to modify.
<OriansJ>Or I could be entirely wrong and it would be like Images, in which the source material is not required as the resulting formats can be as easily manipulated by all as the source material itself.
<jlicht>OriansJ: That was what I was having doubts about as well. Of course it would be nice to have the actual 'source' files, but looking at it as being images, this does not really make sense
<jlicht>oh well, I'll keep it in my own tree for now and send it to the ML once I figure out how to build the fonts myself.
<OriansJ>jlicht: I'd love to see when you finally figure the build process out. :D
<jlicht>OriansJ: It seems to involve AFDKO, which seems to be free software at first glance, but has a very... interesting set of build instructions xD. It contains a custom version of python and other such niceties \\o/
<avph>hi, I wanted try guixsd in a qemu vm, but on 256M and 512M memory it failes to install because it runs out of memory (while compile emacs IRC). What amount of ram do you recommended?
<lumidragon>after starting a container using the script produced by 'guix system container' how do login or gain access to the container?