| *** doppo_ <doppo_!~doppo@2604:180::e0fc:a07f> has quit IRC | 00:42 | |
| *** doppo <doppo!~doppo@2604:180::e0fc:a07f> has joined #libre-soc | 00:49 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 01:13 | |
| programmerjake | wow, didn't expect I don't actually need to make any changes to ieee754fpu.git, all the code already explicitly calls .as_value() rather than relying on implicit casts | 01:35 |
|---|---|---|
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 01:35 | |
| programmerjake | MR up for removing ValueCastable support from nmigen/hdl/smtlib2.py: https://gitlab.com/nmigen/nmigen/-/merge_requests/11 | 01:36 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 01:40 | |
| *** gnucode <gnucode!~gnucode@user/jab> has quit IRC | 02:00 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 02:09 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 02:20 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 02:50 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 03:02 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 03:04 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 03:20 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 03:52 | |
| *** doppo <doppo!~doppo@2604:180::e0fc:a07f> has quit IRC | 04:03 | |
| *** doppo <doppo!~doppo@2604:180::e0fc:a07f> has joined #libre-soc | 04:05 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 05:03 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 05:28 | |
| sadoon[m] | I got around to setting up a VPN on my infra at home | 07:37 |
| sadoon[m] | It's been annoying having to sit at my desk to do simple work, now I can access mini-buildd from anywhere :D | 07:37 |
| sadoon[m] | Wireguard is actually pretty awesome and I'm shocked at how simple it is to set up | 07:38 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 07:43 | |
| programmerjake | yeah, it's nice, though not so simple that any linux user could easily set it up (unless using networkmanager or similar) | 08:06 |
| programmerjake | script I used for setting up wireguard (point-to-point, not the default route) on my build server: https://git.libre-soc.org/?p=utils.git;a=blob;f=wg-setup.sh;h=299f5c08fc2a15112b799d69f67da132129ee322;hb=HEAD | 08:06 |
| programmerjake | perhaps I went a little overboard, writing a config file parser in bash | 08:08 |
| sadoon[m] | I did use network manager but only to import the configuration file after I typed it out manually :p | 08:19 |
| markos | I'm using openvpn on the client and on the openwrt router -and soon between 2 openwrt routers- what's the benefit of wireguard? | 08:26 |
| markos | sadoon[m], just received ram for the power8 system, 256GB for 150euro seems like a good deal :) | 08:38 |
| markos | 16x16gb :) | 08:39 |
| sadoon[m] | Awesome! | 08:39 |
| markos | I hope it actually works :) | 08:39 |
| sadoon[m] | <markos> "I'm using openvpn on the..." <- It's built into the kernel so I guess that's one benefit? | 08:40 |
| markos | ah interesting | 08:40 |
| sadoon[m] | Idk the exact differences but I chose to use it as it is newer | 08:40 |
| sadoon[m] | If you're using kernel 5.6 or above it's built in iirc | 08:40 |
| sadoon[m] | For earlier ones you need the dkms module which is not a big deal | 08:40 |
| markos | hm, I wonder if I can do router-to-router vpn with wireguard | 08:40 |
| sadoon[m] | Buster runs 4.19 so I has to use the dkms module | 08:41 |
| sadoon[m] | Had* | 08:41 |
| markos | between 2 routers basically and connect 2 networks | 08:41 |
| markos | openvpn has been making it hard | 08:41 |
| programmerjake | wireguard runs over udp instead of tcp so has no head-of-line blocking, udp also can help for NAT hole punching | 08:44 |
| programmerjake | wireguard also doesn't support 7000 different crypto combinations so you don't have to filter out the old and terrible ones | 08:45 |
| markos | openvpn also runs over udp | 08:51 |
| markos | or rather it's configurable | 08:51 |
| markos | I'll see if it's easy to configure on openwrt | 08:52 |
| *** markos <markos!~Konstanti@static062038151250.dsl.hol.gr> has quit IRC | 09:02 | |
| *** markos <markos!~Konstanti@static062038151250.dsl.hol.gr> has joined #libre-soc | 09:04 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 09:07 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 09:35 | |
| *** markos <markos!~Konstanti@static062038151250.dsl.hol.gr> has quit IRC | 10:05 | |
| *** markos <markos!~Konstanti@static062038151250.dsl.hol.gr> has joined #libre-soc | 10:06 | |
| *** midnight <midnight!~midnight@user/midnight> has quit IRC | 10:42 | |
| *** midnight <midnight!~midnight@user/midnight> has joined #libre-soc | 10:44 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 11:02 | |
| lkcl | markos, i've used openvpn for over 10 years (with the result that the 10-year certificate actually expired, causing havoc, about 4 years ago). no problems with it at all. i have a "complete full config generator" script that even adds the client to the server config, automatically. | 11:18 |
| markos | yes, client <-> server is easy, I can do that no problems there | 11:19 |
| markos | what I've been having great trouble is connecting 2 openwrt routers with an openvpn bridge | 11:19 |
| lkcl | i had quite a lot of systems to add, over the years, so fully automated it | 11:20 |
| lkcl | ah deep joy. try tinc. | 11:20 |
| markos | basically connecting 2 local networks together over the internet (different locations) | 11:20 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 12:07 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 13:14 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 13:32 | |
| *** markos <markos!~Konstanti@static062038151250.dsl.hol.gr> has quit IRC | 13:55 | |
| *** markos <markos!~Konstanti@62.74.13.148> has joined #libre-soc | 14:11 | |
| *** markos <markos!~Konstanti@62.74.13.148> has quit IRC | 14:16 | |
| *** markos <markos!~Konstanti@62.74.13.148> has joined #libre-soc | 14:16 | |
| *** markos <markos!~Konstanti@62.74.13.148> has quit IRC | 14:24 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 14:30 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 14:43 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.160.206> has joined #libre-soc | 14:45 | |
| *** alethkit <alethkit!23bd17ddc6@sourcehut/user/alethkit> has quit IRC | 14:48 | |
| *** markos <markos!~Konstanti@static062038151250.dsl.hol.gr> has joined #libre-soc | 14:49 | |
| *** alethkit <alethkit!23bd17ddc6@sourcehut/user/alethkit> has joined #libre-soc | 14:51 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.160.206> has quit IRC | 14:55 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.55.117> has joined #libre-soc | 14:55 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.55.117> has quit IRC | 15:00 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 15:01 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 15:36 | |
| *** alethkit <alethkit!23bd17ddc6@sourcehut/user/alethkit> has quit IRC | 15:50 | |
| *** alethkit <alethkit!23bd17ddc6@sourcehut/user/alethkit> has joined #libre-soc | 15:56 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 16:37 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 18:00 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 18:30 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 18:50 | |
| lkcl | programmerjake, whoops, sorry, i wasn't clear - IBM likes to keep FP32 and FP64 on separate Major opcodes https://libre-soc.org/openpower/sv/rfc/ls006/ | 18:59 |
| lkcl | which annoyingly means separate suites of (near-identical) instructions - exactly what we want to avoid | 19:00 |
| lkcl | but combining (and effectively hiding) Rc=1 isn't ok either | 19:00 |
| lkcl | folks after the discussion yesterday i squeezed the other "ongoing" grant milestones and found EUR 6,000 for ISACaller to have a hardware-clock-accurate model added to it | 19:02 |
| programmerjake | lkcl: why did you add redundant indentation to all the pseudocode? https://git.libre-soc.org/?p=libreriscv.git;a=commitdiff;h=d827d9e11ce635d52652f8936a454319fa2ebea9 | 19:06 |
| programmerjake | ``` code blocks don't need additional indentation, additional indentation is only needed for code blocks when you *don't* have ``` | 19:07 |
| programmerjake | because markdown uses the indentation to indicate it's a code block | 19:08 |
| programmerjake | also, adding the indentation and modifying pseudocode in one commit made it very confusing to read the diff, please keep stuff separate | 19:09 |
| lkcl | programmerjake, use "make ls007.pdf" and you will see exactly why | 19:11 |
| programmerjake | k, sec... | 19:12 |
| programmerjake | looking through git log, you removed XO (29:30) and XO (26:30), those are still needed...xo 29:30 doesn't exist in v3.1b and xo 26:30 needs the new format added | 19:18 |
| programmerjake | for the pdfs, which commit do you want me to compare against? latest ls007 with additional indentation? | 19:19 |
| programmerjake | ah, i see why you indented it... | 19:26 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 19:27 | |
| programmerjake | though imho it might be better to change a pandoc setting to indent code blocks more by just moving them right rather than using a bunch of spaces, so there aren't extra spaces when copy/pasting | 19:28 |
| programmerjake | though otoh that sounds like a pain, so spaces are ok | 19:28 |
| programmerjake | note the style ieee uses is IEEE Std 754™-2019 or IEEE 754™, not IEEE754 | 19:34 |
| jn | do they have trademarks for every single IEEE+number? | 19:35 |
| programmerjake | probably, i copied that text from my copy of the ieee 754 standard | 19:36 |
| programmerjake | lkcl, mind if i revert then reapply your change to ls006 as a split up set of commits? it'll make the log much easier to read | 19:42 |
| programmerjake | as it is i still can't read it even with word-diff | 19:42 |
| programmerjake | i'll go ahead and do that, it shouldn't take more than 30min | 19:58 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 20:09 | |
| programmerjake | apparently git's just terrible at presenting indentation-only changes as a diff... | 20:24 |
| Ryuno-KiAndrJaen | https://git-scm.com/docs/diff-options | 20:29 |
| Ryuno-KiAndrJaen | shows me some hits on search for whitespace | 20:29 |
| programmerjake | yeah, well git.libre-soc.org has none of those enabled, I don't want to need to use a git command to make the diff readable | 20:31 |
| *** octavius <octavius!~octavius@92.40.168.47.threembb.co.uk> has joined #libre-soc | 20:33 | |
| Ryuno-KiAndrJaen | Then don't blame git for it 🙃 | 20:34 |
| lkcl | programmerjake, sure go ahead. i was - am - way too tired today | 20:35 |
| lkcl | (apologies) | 20:35 |
| programmerjake | git should be changed to detect just whitespace changes by default...so I'm still blaming git | 20:36 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 20:42 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 21:26 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 21:38 | |
| *** octavius <octavius!~octavius@92.40.168.47.threembb.co.uk> has quit IRC | 23:11 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 23:49 | |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!