iqubic has left #nixos-chat ["ERC (IRC client for Emacs 26.1)"]
<disasm>
fpletz, sphalerite, any other mayflower folks: I'll be in Munich Sunday for a few hours in the afternoon before heading to Regensburg for training. Anyone interested in meeting up?
ar1a has left #nixos-chat ["WeeChat 2.3"]
ottidmes has quit [Ping timeout: 255 seconds]
pie___ has joined #nixos-chat
pie__ has quit [Ping timeout: 255 seconds]
<etu>
I found a service that let me RSS all new PR's to a GitHub repo
<etu>
Then I get email notifications for things I'm subscribed to but got a nice overview of new things
<Arahael>
I keep getting errors now when I try to do a nixos-rebuild switch. :( The error includes the line:
<Arahael>
Failed to start local-fs.target: Unit -.mount is masked.
<Arahael>
How do I fix this? I tried doing the respective systemctl unmask, but it seems the filesystem is readonly.
endformationage has quit [Quit: WeeChat 2.3]
drakonis has quit [Quit: WeeChat 2.3]
<MichaelRaskin>
disasm: Hm, interesting (not at Mayflower — at TU Münich)
<sphalerit>
disasm: awwww damn, it just had to be the weekend I'm in Sweden?
<sphalerit>
:p
<sphalerit>
MichaelRaskin: wait, you're in Munich?
<MichaelRaskin>
Now yes.
<MichaelRaskin>
On a completely unrelated note, if someone can recommend me a Münich place that can try to fix the soldering on a RAM socket of my GB BRIX (consider it a laptop even though it is not), it would be nice
jasongrossman has joined #nixos-chat
kisik21 has joined #nixos-chat
Guanin has joined #nixos-chat
__monty__ has joined #nixos-chat
srhb- is now known as srhb
Guanin has quit [Remote host closed the connection]
<fpletz>
disasm: cool! I'm in Munich tomorrow and have time :)
<fpletz>
MichaelRaskin: hm, do you want to do it yourself? I can open our hackerspace for you, we have a lab with soldering equipment
<MichaelRaskin>
My ability to solder is unfortunately a few levels below — RAM sockets are high-density…
<MichaelRaskin>
I have never soldered anything denser than a chunk of contacts for Arduino external pins.
<fpletz>
same goes for me unfortunately
<MichaelRaskin>
Well,even an old GB Brix is powerful enough that there is a chance that a reasonable repair place will want amount of money that makes sense to spend on this.
<fpletz>
we also have a fablab in munich... you might catch someone there or at our space who could help you, though I can't guarantee it of course
<fpletz>
other than that, I don't know of any places who could help :(
<MichaelRaskin>
Given Munich reputation I expect there should be some sane electronics repair places… but I don't speak enough German to locate them.
<fpletz>
you mean like mobile phone repair shops? never been to one so not sure what they can and cannot do :) I can try to find some
<fpletz>
the other problem is that it's saturday so most shops in munich will close in a few hours
<MichaelRaskin>
I am thinking about maybe repairing Brix for a month now, Ithink
<MichaelRaskin>
And I am a postdoc, so I can find a day when nobody needs me after 16:00
<joepie91>
a good repair shop will probably repair anything that just needs soldering
<MichaelRaskin>
joepie91: I know that much German to write such a search request — I also know enough about electronics repair to know not _every_ repair shop is good
<joepie91>
ah, in that sense
<joepie91>
right yeah, you'd need a local for that probably
<MichaelRaskin>
That's why I reacted to people talking about meeting here in Munich!
<joepie91>
fair enough :) I didn't read the entire context
<MichaelRaskin>
Although meeting Nixers in Munich might be also interesting per se
<fpletz>
MichaelRaskin: I'll ask in our hackerspace's irc channel if anybody has recommendations :)
<MichaelRaskin>
Thanks
<fpletz>
didn't knw you were living in Munich
<fpletz>
we should do another Nix meetup soon :)
<MichaelRaskin>
That's relatively new
<MichaelRaskin>
I haven't yet got my residence permit yet, for example.
<MichaelRaskin>
(01.12.2018 first day of employment at TUM)
<jasongrossman>
MichaelRaskin: Congratulations on the job.
<MichaelRaskin>
Well, it's just a postdoc job
<jasongrossman>
"just"?!
<MichaelRaskin>
I mean, finding a next postdoc iseasier than finding something tenure-track
<jasongrossman>
It's also easier than getting a Nobel Prize.
emily has quit [Remote host closed the connection]
emily has joined #nixos-chat
<MichaelRaskin>
One of the differences is larger than the other one
<MichaelRaskin>
(I do like what I am doing in TUM, though, and I hope at least one of the papers I have already submitted based on the research here gets accepted…)
<MichaelRaskin>
(In the current form — I am pretty sure both will get accepted eventually)
<MichaelRaskin>
These two papers are on Petri nets / population protocols
<jasongrossman>
Interesting.
<MichaelRaskin>
I have track record wider than deep, though. Which is sometimes good and sometimes bad…
<jasongrossman>
Me too. It's been bad for my career but fantastic for feeling fulfilled. :-)
<jasongrossman>
And, now that I think about it more, it hasn't always been bad for my career.
deltasquared has joined #nixos-chat
<__monty__>
MichaelRaskin: Go ahead.
<MichaelRaskin>
Well, some of them are just that systemd imposes too much costs on the workflows I want to have available.
<MichaelRaskin>
And swappable init systems in NixOS never got enough traction
ottidmes has joined #nixos-chat
<MichaelRaskin>
But I also don't really personally like too much how module system is used.
<MichaelRaskin>
I cannot avoid the feeling that «we took a really pure functional programming languages and invested a lot of man-hours to properly simulate global variables in it»
<tilpner>
Ahh, the "can't run two instances of some service without containers" thing?
* deltasquared
considers trying to use nixos as a base but writing his own /etc builder expressions...
<MichaelRaskin>
I don't even care about that too much, although of course in my system that is easier to work around than in NixOS
<__monty__>
So you run devuan or something?
<MichaelRaskin>
I run Nixpkgs kernel
<deltasquared>
hell that's what I was considering doing with *other* distros anyway. symlink /usr but /etc is purely controlled by me.
<deltasquared>
at what point do I basically re-invent nix poorly for an /etc generator system
<MichaelRaskin>
I exptract some services code from NixOS
<MichaelRaskin>
(automatically, Nix is a functional language and NixOS is not evil, it provides escape hatches in the code)
<joepie91>
deltasquared: any sufficiently advanced configuration and system management system is indistinguishable from NixOS? :P
<MichaelRaskin>
I write my own bootscript by hand because come on it is just easier than dancing around all the NixOS partition layout magic
<deltasquared>
joepie91: yeah probably, everything will want to tend to that pureness :>
<MichaelRaskin>
I want a trivial thing — mkfs /tmp before mounting
aanderse has joined #nixos-chat
<deltasquared>
MichaelRaskin: that so much, that was another biggie for me
<deltasquared>
the boot thing I mean
<deltasquared>
I drew the line at auto-configuring boot setups
<MichaelRaskin>
My bootscripts: add one line, OK? NixOS: I need to do a sacrifice of a systemd developer or what?
<deltasquared>
boot *config files* sure, maybe (if you can shove them in a sub-menu).
<MichaelRaskin>
I do generate boot configs, sure
<MichaelRaskin>
And I am not even a person who dislikes crazy magic! I just want to keep the amount of effort reasonable
<MichaelRaskin>
And basically I like Nixpkgs stuff with .extend way way way more than NixOS modules
<MichaelRaskin>
So I have an OS setup that is just another package set
<MichaelRaskin>
I do use .extand-based overrides there for configuring things too specific to my laptop
<MichaelRaskin>
Just to make sure I don't hardcode too much
<deltasquared>
joepie91: so yeah re: tending towards nix... I was basically going to write a generator script that takes my configs, arch's base files, and combines them...
<MichaelRaskin>
Oh, and also: I want an inverted /etc and I have it
<deltasquared>
*inverted*? o.o
<MichaelRaskin>
No crazy walking around /etc dropping symlinks to /etc/static around
<MichaelRaskin>
I have /etc -> /var/current-system/global/etc -> /nix/store/…
<deltasquared>
I was just going to do some crazy mount hotswapping shenanigans and rebuild from a clean slate each time...
<deltasquared>
mount --make-rprivate is magic
<MichaelRaskin>
Writeable stuff is exception, not default — it gets its symlinks to /var as needed
<deltasquared>
MichaelRaskin: ever seen what lvm does? >_>
<deltasquared>
if /etc/lvm is a symlink it removes it and recreates the directory, then proceeds to dump *lvm header backups* in there
<deltasquared>
in /etc
<deltasquared>
wtf
<deltasquared>
go home red hat, you're drunk
<MichaelRaskin>
Kind of sort of it makes a sliver of sense to keep LVM layout data in /etc
<deltasquared>
MichaelRaskin: old ones called "backup"? on an lvm root volume? defeats the point upon corruption no...?
<deltasquared>
anyway, I will be back later, things happening
<MichaelRaskin>
Well, they should have checked the layout, indeed.
<MichaelRaskin>
See you
deltasquared has left #nixos-chat ["my internets, no!"]
<MichaelRaskin>
__monty__: and on top of all that I also like to have a _lisp_ daemon that manages my system and provides various nontrivial services (but doesn't impede some other program to provide the same in a different way)
<__monty__>
Are you a guix infiltrator? ; )
<MichaelRaskin>
They actually _refused_ to go the way I move my system — they did have the idea and did not follow it
<MichaelRaskin>
And I do think Bash is a good idea for _builders_ — we already need to be able to read configure scripts when something goes wrong, we can as well keep the builders in the same language
aanderse has quit []
ivegotasthma has joined #nixos-chat
<ivegotasthma>
yo momma so fat nixos can't sandbox her
<gchristensen>
huh
tilpner has quit [Quit: WeeChat 2.3]
tilpner has joined #nixos-chat
<simpson>
ivegotasthma: yo momma's packages so shoddy they need both sed *and* awk in patchPhase
<ivegotasthma>
oh snap
obadz has quit [Quit: WeeChat 2.3]
<gchristensen>
jikes
endformationage has joined #nixos-chat
obadz has joined #nixos-chat
drakonis has joined #nixos-chat
johanot has joined #nixos-chat
johanot has quit [Client Quit]
johanot has joined #nixos-chat
<sphalerite>
MichaelRaskin: you've inspired me to try making my own bootscript.
<sphalerite>
MichaelRaskin: well, to add that to my list of projects I might do one day x)
<MichaelRaskin>
Well, that doesn't count
<ldlework>
bootscript?
<ldlework>
like clever's justdoit?
johanot has quit [Ping timeout: 246 seconds]
<disasm>
MichaelRaskin: the more the merrier :) I just only knew names for people at mayflower
<disasm>
sphalerite: sorry, my training was scheduled for the wrong weekend :( another time, if nothing else, Prague in the fall.
<disasm>
fpletz: where should we meet? Pass the word on to Robin and Willy as well! My plane leaves in about 5 hours. Get in around 9 AM. Need to be back at the airport for the shuttle by 4:30.
<disasm>
MichaelRaskin: you probably want a hot air reflow station over a soldering iron. If you use a soldering iron, you'll want a micro-pencil.
<MichaelRaskin>
I do indeed expect hot air soldering, but as I said I am not qualified byself and I would prefer to use a repair place known to be competent…
<disasm>
me neither :)
<disasm>
Give me a few years and I might be. I'm going to build a new standing desk with a dedicated rework/soldering station this year.
<disasm>
MichaelRaskin: you interested in meeting up with fpletz, me and whomever else he gets?
<MichaelRaskin>
Probably. So far the details are too scarce, though!
<MichaelRaskin>
(me at 9AM at Flughafen: not happenning)
<disasm>
lol :) I was thinking closer to sometime afternoon.
<MichaelRaskin>
And I guess, when picking where one should remember that S8 this weekend may contain arbitrary amounts of !!FUN!! (Apparently it goes to Ismanning — less frequently than normal, there you get SEV bus to Feldkirchen, there you finally change to S8 connected to actual Munich)
<samueldr>
anyone with AMT experience 'round; I enabled SOL on a machine, amtterm can connect to it, but it will eventually say "ERROR: read(socket): Connection reset by peer" if I try to send keys and I bet it's because there is (seemingly) no new serial interface compared to before
<samueldr>
but I'm not sure
johanot has joined #nixos-chat
<ldlework>
Trying to get a game of Adventure (collaborative) Go going, I have three people already, anyone wanna join us?
<fpletz>
disasm: of course I already did that :P globin has time and will come, but willi probably won't make it
<fpletz>
disasm: mh, I think I can make it to the airport tomorrow morning to meet up with you
<fpletz>
MichaelRaskin: the people from our hackerspace told me that we have a desoldering station and a reflow oven. you might get away with just heating the board up a bit to fix the soldering.
<MichaelRaskin>
Are the plastic parts of the RAM slot likely to be OK with that?
<gchristensen>
I think they have to go through that process during manufacture anyway
<MichaelRaskin>
Hm, maybe indeed I can remove everything that can be added after the fact
<gchristensen>
I can't help but think about oxij a lot these days as I explore pulse audio deeper and deeper, possibly writing my own module.
<MichaelRaskin>
Yes, learning about the details of a solution helps understand oxij's opinion of that solution
<gchristensen>
not sure there is an alternative to using it, though.
<gchristensen>
although if oxij would like to solve my problem with alsa I would be happy to listen :-)
<MichaelRaskin>
The real problem is browsers (so they get their own isolated instance in my case)
<MichaelRaskin>
Well, there problems where a sound server is needed. Of course, I would still expect JACK to work better…
<MichaelRaskin>
Like for network transparency
<gchristensen>
maybe Jack can solve my problem then, and then connected to pulse audio.
<samueldr>
smh, the manual for the computer describes the "computer setup utility menu" as having an option en enable the serial port, except that menu says there are no onboard devices :/
<Ralith>
how's pipewire coming along
<samueldr>
and knowing that utility, it's 99% sure it's enabled by toggling some options
<gchristensen>
I would like to have 2 microphones. micA is a signal + a specific noise, micB is just that noise, and I'd like to micA - micB
<joepie91>
sounds like noise cancellation?
<ldlework>
gchristensen: do you play music or something?
<gchristensen>
joepie91: yeah, but the noise cancellation filters I've found are for single-source with a fairly static noise
<gchristensen>
ldlework: trying to use dictation as much as I can
<ldlework>
I just audacity's noise removal. Two mics sounds fancy :)
<ldlework>
huh
<gchristensen>
Dragon gets confused if it hears too much keyboard, so I want the (streaming) audio feed it receives to be as exclusively my voice as possible
aanderse has joined #nixos-chat
<joepie91>
gchristensen: somebody in another channel suggests "buy a headset that already does this for you?"
<joepie91>
gchristensen: Peetz0r might have some ideas
<Peetz0r>
I'm not a microphone expert but I heard someone has a question?
<joepie91>
copypaste:
<joepie91>
[21:52] <gchristensen> I would like to have 2 microphones. micA is a signal + a specific noise, micB is just that noise, and I'd like to micA - micB
<joepie91>
[21:56] <gchristensen> Dragon gets confused if it hears too much keyboard, so I want the (streaming) audio feed it receives to be as exclusively my voice as possible
<joepie91>
Peetz0r: ^
<Peetz0r>
Too much keyboard noise for a voice recognition app? I see 2 issues here. How are ypu typing and speaking at the same time? My brain explodes when I even try that :p
<Peetz0r>
2nd issue, it sounds like you are using a laptop with built in mic
<Peetz0r>
I do that too (not with speech recognition software but just with people) and it sucks. keyboard and fan noise ruin the experience for others
<Peetz0r>
so I should really just invest in a good headset. maybe that would be a solution for you too
<gchristensen>
I'm not speaking + typing, the trouble is Dragon hears junk (tybping) and decides to give up. I'm not using a laptop's mic, I'm using a headset with a kinesis advantage
<Peetz0r>
I wouldn't have expected this from a headset
<Peetz0r>
eh, just googled what a kinesis advantage is
<Peetz0r>
a mechanical keyboard
<Peetz0r>
I think I have found the issue :p
<gchristensen>
I was thinking about a shotgun microphone pointed at me might help. I can't not use the kinesis advantage
<Peetz0r>
yeah, I'm not sure if this is even fixable
<Peetz0r>
maybe some sort of push-to-listen feature for dragon? (to make it stop listening while you're typing)
<gchristensen>
that couldbe
<Peetz0r>
(I have no idea how comfigurable Dragon is, last time I've seen that software was ~15 years ago on someone elses pc))
<Peetz0r>
(also it was terrible. I hope it has improved)
<gchristensen>
or a mute-on-typing thing
<gchristensen>
I can do whatever I want, it is in a VM and I have Linux + PulseAudio + whatever between the mic and it
<Peetz0r>
oh that makes stuff very flexible yes
<__monty__>
gchristensen: Dictation for code?
<Peetz0r>
(should've expected that in #nicos-chat I guess)
<gchristensen>
yeah, __monty__
<__monty__>
Do you use funky words for braces? There's this cool talk about programming lisp with dragon, used words like "slap, skrunk..."
<gchristensen>
not yet. still a newb at this
<gchristensen>
if my second mic was XLR I wonder if it would work to just swap the polarity of the microphone's leads and mix them together in PA
<samueldr>
(following on on AMT) SOL works, verified using amtterm to the right IP, and starting picocom on /dev/ttyS0, typing stuff will work both ways
<gchristensen>
nice!
<samueldr>
so I (apparently) didn't need to enable serial in the bios
<samueldr>
but I still need to figure out how to make grub and nixos play nice
<samueldr>
oh, sudo systemctl start getty@ttySOL helps (if ttySOL is using udev trickery to be configured)
<ldlework>
jasongrossman: cool I sent you a friend request. would you be interested in joining some new players in a game of Adventure Go sometime soon?
<manveru>
what's adventure go?
<ldlework>
split everyone into 2 queues, top of each queue plays the best move they can for their color then goes to the back of the queue for the opposite color
<manveru>
hmm, so you always win? :)
<manveru>
haven't played competitive in ages, just teaching my son some 9x9/13x13 these days
<ldlework>
Yeah it is completely cooperative
<ldlework>
The point is everyone plays the best moves they can, and then we review afterwards
<manveru>
sounds fun
<ldlework>
It is
<disasm>
gchristensen: I know how to do that with ardour but I'm not aware of any solutions that remove the noise in real-time for something like talk to text.
<tilpner>
sox noisered does that
<jasongrossman>
Yes, sounds good.
<gchristensen>
tilpner: ooh!
<tilpner>
gchristensen: I told over an hour ago, with a sample script
<tilpner>
*told you
<disasm>
tilpner: gotta label your scripts :)
<gchristensen>
oops! sorry tilpner, I missed that in ... something, thank you! I'll give it a go :D
<elvishjerricco>
Hm. Plymouth doesn't seem to work in qemu
<gchristensen>
tilpner: how do you make those profiles? (or shall I go ahead and rtfm? :))
<tilpner>
gchristensen: Probably. The modification times of my *.prof are Jan 15 2018
<tilpner>
I don't really remember, but a search engine should find it
<gchristensen>
oh, cool, a segmentation fault with sox x)
<tilpner>
Uh oh.
<tilpner>
You'll need a pulseaudio null output thing too
<elvishjerricco>
So I'm guessing that firmware-based TPMs can't be trusted to tell you whether the firmware has been changed... If that's true, that kinda defeats the purpose of the TPM