<andi->
I haven't even tried using it but it was recommended to me a few times when I stated that I liked python but hated the type checker story.
<__red__>
There are a couple of other languages that interest me for the same reason
<__red__>
(although not because I have a python background)
<__red__>
I've ended up landing on the pony language, which is an interesting language for many reasons.
<__red__>
mainly I really like the solid typing, and the mathematical proof that it's impossible to get deadlocks etc
<__red__>
it's stupid fast
<__red__>
and one of the things I both like and fear is that FFI into C is completely trivial
<__red__>
for example, I'm writing a wrapper for a C library called 'termbox' for pony, and the mapping looks like this:
<__red__>
fun tb_set_cursor(cx: USize, cy: USize) => @tb_set_cursor[None](cx, cy)
<__red__>
tb_set_cursor is the same of the C function
<__red__>
USize is the same as int in C (ie, default system size for an int)
<__red__>
and [None] just means that the C function returns void
<__red__>
incredibly simple
<__red__>
I saw it's awesome and scary. It's awesome because it's easy, and it's scary because it's so easy ;-)
<samueldr>
great, all the hard parts can be implemented in C :D
<__red__>
as you may have guessed - the moment you step foot in C, all your guarantees vaporize ;-)
<gchristensen>
does anyone recognie this format? 2019-11-17T20:00:00+00:00/PT1H
<gchristensen>
ah
<gchristensen>
iso8601 for a duration starting at the time and lasting 1h
drakonis has quit [Quit: WeeChat 2.6]
<__red__>
did you just answer your own question?:-)
<__red__>
I was about to say 8601, but wasn't aware of the PT1H part - so hunt the rfc ;-)
<samueldr>
lol,
<samueldr>
systemd used fixed names for unit file directories and other paths, so anything
<samueldr>
except the default ("/usr") is strongly discouraged.
<__red__>
there can only be one systemd implementation, remember... because there's only one way to do things
<aleph->
Heh
<aleph->
Anyone used that simple nixOS mailserver module over on gitlab?
<aleph->
Curious if there's been some success with it.
<infinisil>
aleph-: Using it for my mail server, working rather well
<infinisil>
The advantage of it is that it's pretty much just enable and go, no need to know about how mail server stuff works
<infinisil>
However there's a disadvantage coming along with that, namely that if you need to do something not supported by the module, it's rather difficult..
<clever>
samueldr: i generally use `git log --patch` and then search with the less it auto-opens
<aleph->
infinisil: Having any issues with mail from postfix actually making it to a dovecot mailbox?
<samueldr>
that's more like what I had in mind
<aleph->
Keep getting a "status deffered" error when peple send me mail
<samueldr>
and, annoyingly, I *again* identifier the right breaking commit before bisecting
<samueldr>
still went through bisecting, because I wasn't my intuition was right :)
<infinisil>
aleph-: Haven't seen anything like that no
<aleph->
Really odd since I haven't done anything too odd. Ports are open in my firewall, didn't modify anything in the quick start config really. Got a 9.3 on mailtester currently. Yet I still get a error like this: `status=deferred (lost connection with mail.chatsubo.cafe[/run/dovecot2/dovecot-lmtp] while receiving the initial server greeting)`
<clever>
samueldr: i'm still bisecting nixpkgs to find out why plex-media-player wont build
<clever>
Bisecting: 13 revisions left to test after this (roughly 4 steps)
<samueldr>
"still" from when?
<samueldr>
:)
<aleph->
Gonna be some more fun debugging sigh
<infinisil>
aleph-: Do you have an up-to-date nixpkgs?
<__red__>
clever: we appreciate your sacrifice ;-)
<aleph->
Hmm, let me check
<clever>
samueldr: ive been bisecting for days
<samueldr>
I was lucky enough that it was a cross-compilation issue in not-too-deep builds, longest build was ~50 minutes
<samueldr>
stage-1 of Mobile
<aleph->
infinisil: Would a nixos-rebuild switch --upgrade help?
<aleph->
I cannae remember the command to update nix pkgs
<aleph->
Oddest bit I have is a vps with tcp forwarding set and some iptables post-routing rules to forward traffic from vps to my mail server host at home
<leons>
This day isn't going to be very productive
<leons>
Must.... resist... clicking :/
<eyJhb>
Same, but I am mostly tired from not being able to sleep. So there is zero productivity from my side today..
lopsided98 has quit [Ping timeout: 250 seconds]
lopsided98 has joined #nixos-chat
__monty__ has joined #nixos-chat
<eyJhb>
Love these "Some say there is one bug for every 1000 lines of code", quick fixes include "write very compact code" and "never write above 1.000 lines of code
<__monty__>
Languages like java circumvent that statistic using a cutting-edge technique known as "boilerplate."
lassulus has quit [Quit: WeeChat 2.6]
lassulus has joined #nixos-chat
<eyJhb>
It is at that point, that our teacher both loves and hates us :D
<eyJhb>
I hate writing unit tests for filesystem things... E.g. I have a filemanager which defaults to my home directory. I would like to do a cleanup of the the directory beforehand ($HOME/.octp), but if for some reason my code doesn't work correctly, I will either nuke $HOME or / :D
<eyJhb>
Which is great fun!
<FireFly>
heh
<eyJhb>
HMM! No I can actually do that! My delete function isn't recursive :D
<eyJhb>
If you don't get a little paranoid when working with deletion+fs, then you trust yourself too much !
<infinisil>
You could be fearless if you used zfs clones!
<eyJhb>
Well, I cannot count on everyone that runs my unittests to run zfs, can I ? :D
<eyJhb>
requirement: run ZFS, because the unit tests might delete everything you love
<infinisil>
Oh the unit tests run on the users $HOME??
endformationage has joined #nixos-chat
<infinisil>
I kind of thought it would be only like you running them
<eyJhb>
Yeah, and I also HATE that...
<eyJhb>
But I am having a hard time seeing how to inject another dir into it for testse
<eyJhb>
Because it shouldn't touch $HOME
<infinisil>
Set a temporary HOME?
<eyJhb>
I then need to really look into how os/user finds the home directory :/
<eyJhb>
Or I could do the evil thing, of having a private var and run my tests as part of the package
<eyJhb>
Which I hate doing :%
<eyJhb>
`ALERT - File::Remove reported to "rm -rf /" during tests` ahh nice!
<eyJhb>
So... either... 1. Public method to override the dir to use 2. Private var that can be changed, and run unit tests as part of the package 3. rm -rf $HOME
<eyJhb>
Option 1 seems nice. I could also make it more of a class, so I can actually specify if I want to use the users home dir, or I have somthing else in mind
<__monty__>
I don't understand why you can't set $HOME? `env HOME=/tmp/whatever run-tests`
Jackneill has quit [Remote host closed the connection]
<elvishjerricco>
Anyone use tinc on macOS? I want to try using the utun device type so I don't need a custom kext, but it seems like utuns can only route traffic to a single destination? Anyone know if that's true?
endforma1 has joined #nixos-chat
endformationage has quit [Ping timeout: 240 seconds]
<infinisil>
What the hell Apple, where did my mailboxes go???
<infinisil>
I lost a couple mailbox folders for my icloud email, I only have inbox and trash now :/
<infinisil>
I could check whether they're just gone in thunderbird or for good by going to icloud's website. However that site doesn't work on linux -.-
<infinisil>
Or with my VPN at least
<infinisil>
Guess I can recover some of them from my zfs snapshots at least
<infinisil>
Yeah somehow between 2019-11-18-030000 and 2019-11-18-040000 they got deleted :/
psyanticy has quit [Quit: Connection closed for inactivity]
<samueldr>
what are the options? dictated? calligraphied?
<gchristensen>
hm?
<samueldr>
or is it what mime-types are about?
<samueldr>
(punned on "typed")
<gchristensen>
:|
<samueldr>
mimed programming :D
<__monty__>
Does the gradual typing break down quickly? When you work with code that's not typed? Or when you call the typed code from untyped code?
<gchristensen>
yeah and actually python apparently doesn't validate types at run-time, or compile time ... you have to use mypy to validate it at a separate step.
<gchristensen>
it is a bit of a wink and a promise
Jackneill has joined #nixos-chat
<__monty__>
infinisil: If you don't mind a US based company hosting your mail, rackspace does live up to its fanatical support slogan.
<infinisil>
Well I am running my own mail server now already
drakonis_ has quit [Ping timeout: 245 seconds]
<__monty__>
I've always dreaded dealing with spam and being blocked as spam tbh. I'm glad for someone else to deal with this because I have others depending on it.
<infinisil>
It's generally pretty easy to do, except for my recent captcha horror story with office.com
<infinisil>
I could probably try again now
<__monty__>
How long have you been running your own mailserver?
<infinisil>
Maybe half a year
<cransom>
a group of friends ran our own mail server for probably 15 years before we decided that dealing with the spam/blackholes/etc was something that nobody wanted to deal with anymore
<__monty__>
On a VPS?
<infinisil>
Aha the captcha worked now!
<infinisil>
On first try!
<infinisil>
Nowadays I try to self-host everything, I don't want to depend on other people and services to keep stuff running for me
<__monty__>
I get it, do it for some stuff. Not email though.
<infinisil>
Understandable
<gchristensen>
tbh I consider it a treat if my mail doesn't work sometimes
drakonis_ has joined #nixos-chat
<infinisil>
You do..?
<__monty__>
Email's my one always reachable way of communication though. I'm not big on cellphones or apps.
<gchristensen>
I get so much mail, it is like an opportunity to catch up a bit
<__monty__>
I assume a lot of that's work though?
<gchristensen>
sure
<infinisil>
The only problem with my mail server I've had is that rspamd classified some actually important mails as spam
<infinisil>
Speaking of email troubles, seems like my recent nixpkgs update broke it..
<infinisil>
Getting a python error at runtime about an undefined name :/
<infinisil>
But man, now potentially a bunch of mails got rejected from my server because of this :/
<infinisil>
I should have some integration tests for every update
<samueldr>
anyone wants to guesstimate the size of such a file `git log --patch --no-merges HEAD...v4.4.201` from an android kernel tree?
<samueldr>
comparing the same kernel release btw
<qyliss>
100
<qyliss>
Megabytes
<samueldr>
I was about to ask "a hundrer what?" :)
<qyliss>
I suspect I'm way over, but anything else seemed small given what I've heard
<samueldr>
33-rw-r--r-- 1 samuel users 335M Nov 18 17:36 DIFFS.txt
Jackneill has quit [Remote host closed the connection]
<qyliss>
WHOA
<samueldr>
though it includes commit messages... and the full _diffs_
<samueldr>
so I wonder what the *actual* diff size is
<samueldr>
might be 100
drakonis_ has quit [Read error: Connection reset by peer]
drakonis_ has joined #nixos-chat
* samueldr
looks at the yak
<drakonis_>
oh ffs the repair people set the bios password
<gchristensen>
....
<infinisil>
wow
<drakonis_>
i didn't ask for this
<__monty__>
Drakonis_: Try ID10-t for the password ; )
<samueldr>
well... another git command, another idiosyncracy... using `git -C ../some-repo add ./checkout` creates the checkout at ../some-repo/checkout and not at $PWD/checkout as expected :|
<qyliss>
samueldr: -C just means chdir before executing the command
<drakonis_>
if i cant get rid of the password today, i'll just take it back
<samueldr>
for every git commands? welp
<qyliss>
yeah
<qyliss>
says so in the man page I'm pretty sure
<qyliss>
I'd have been surprised if it did the other thing
<qyliss>
Same as make -C
<samueldr>
working "out of tree" is more painful than I imagined then :/
<qyliss>
You might want --git-dir and --work-tree instead
<__monty__>
Hmm, why do you want to work out of tree?
<samueldr>
well, in this case becaue I was already `cd`'d where I want
<samueldr>
because*
<drakonis_>
this is extremely unpleasant.
<qyliss>
samueldr: does git --git-dir ../some-repo/.git add checkout do what you want?
<samueldr>
haven't tried, since I "fixed" my issue by using git worktree add $PWD/whatever to check it out
<samueldr>
(before complaining in the big internet void :))
<samueldr>
will try to remember next time I have to operate from outside the confines of a repo
drakonis_ has quit [Read error: Connection reset by peer]
waleee-cl has quit [Quit: Connection closed for inactivity]
<pie__>
drakonis: theres a tool that can read out some bios passwords
<pie__>
oh they left
<pie__>
also i find it quite odd that a repair place set the bios password...
<__monty__>
,tell pie__ You could tell them.
<{^_^}>
__monty__: I'll pass that on to pie__
<pie__>
does that work modulo underscores
<{^_^}>
pie__: 18 seconds ago <__monty__> You could tell them.
<samueldr>
exact match
<pie__>
ill just wait
<__monty__>
memoserv?
<pie__>
hm right that exists too
drakonis has quit [Read error: Connection reset by peer]