| *** tpb <[email protected]> has joined #f4pga | 00:00 | |
| *** ZipCPU <[email protected]> has quit IRC (Quit: ZNC 1.7.5+deb4 - https://znc.in) | 02:58 | |
| *** ZipCPU <ZipCPU!~ZipCPU@2601:5cd:c280:96b0:1ac0:4dff:fe02:d4f0> has joined #f4pga | 03:00 | |
| *** ZipCPU_ <[email protected]> has joined #f4pga | 03:06 | |
| *** ZipCPU <ZipCPU!~ZipCPU@2601:5cd:c280:96b0:1ac0:4dff:fe02:d4f0> has quit IRC (Ping timeout: 248 seconds) | 03:07 | |
| *** ZipCPU_ is now known as ZipCPU | 03:07 | |
| *** marzoul <[email protected]> has joined #f4pga | 05:00 | |
| marzoul | Hi ! I just noticed that the #yosys irc channel has 2 days public history of logs available at https://libera.irclog.whitequark.org/yosys/ | 07:01 |
|---|---|---|
| marzoul | Would it be possible to setup the same for this #f4pga channel ? | 07:01 |
| marzoul | It would be very appreciated :-) | 07:01 |
| tpb | Title: #yosys on 2022-04-10 — irc logs at whitequark.org (at libera.irclog.whitequark.org) | 07:01 |
| *** sydfhd <[email protected]> has joined #f4pga | 07:24 | |
| *** sydfhd <[email protected]> has quit IRC (Quit: Connection closed) | 07:42 | |
| josuah | marzoul: maybe people do not care too much because there is a slack bridge | 07:43 |
| josuah | marzoul: and you are the second one I encounter that use IRC | 07:44 |
| josuah | marzoul: I think you'd rather reach whitequark for that | 07:46 |
| josuah | but hey! IRC is fun! come-on slack people, give it a peak ;) | 07:46 |
| marzoul | @josuah Yeah indeed but if it's just for that purpose, I don't feel like opening yet another account somewhere else in the internet spaces ;-) | 07:49 |
| josuah | marzoul: neither do I, and I do not thing anyone would mind having the history recorded on whitequak, since slack records history as well | 07:50 |
| xiretza[m] | in addition to the slack bridge, there's also the libera matrix bridge which is slightly more ergonomic (I'm using it right now) | 07:58 |
| josuah | xiretza[m]: I can tell by the '[m]' it adds to your nick :P | 09:20 |
| josuah | "you've got a bit of chocolate there on the chin" | 09:20 |
| josuah | xiretza: can matrix bridge to Slack directly? I must try that some day, for talking to people from many different networks | 09:21 |
| xiretza[m] | yeah, I'm keeping that intentionally to avoid confusion, there do tend to be some differences between native IRC clients and the matrix bridge | 09:21 |
| xiretza[m] | josuah: yes: https://matrix.org/bridges/#slack | 09:22 |
| lkcl | josuah: there are 40 people on the #f4pga IRC channel at the moment: only 2 of them have "[m]" after them. i am using bnc4you as a relay because it ensures that my IP address is not public and published to the entire world | 12:53 |
| lkcl | other people use TOR to ensure that their IP address is not available via "/who" | 12:56 |
| lkcl | toshywoshy, what do you think? would the OpenPOWER Foundation be willing to bridge over to a channel on chat.openpowerfoundation.org mattermost? | 12:58 |
| josuah | bridging protocols... great weapon against https://xkcd.com/1810/ | 13:00 |
| tpb | Title: xkcd: Chat Systems (at xkcd.com) | 13:00 |
| lkcl | that would make it possible to go back in time and review logs | 13:00 |
| josuah | and can lead to this kind of surprising situation: https://xkcd.com/1254/ | 13:00 |
| tpb | Title: xkcd: Preferred Chat System (at xkcd.com) | 13:00 |
| lkcl | josuah, lol. it gets really funny when you see chat systems getting into a bounce-fight | 13:01 |
| josuah | lkcl: nice stats, and I realise the second use of bouncers thanks to this | 13:01 |
| josuah | TIL OpenPOWER | 13:01 |
| josuah | https://en.wikipedia.org/wiki/OpenPOWER_Foundation <- this one I suppose | 13:01 |
| tpb | Title: OpenPOWER Foundation - Wikipedia (at en.wikipedia.org) | 13:01 |
| lkcl | i've been using IRC for 25+ years and had no idea that it's considered "rude" to use IRC "/who" to find someone's IP address | 13:02 |
| josuah | I do not think it is "rude" in any way | 13:02 |
| josuah | please, get to know my IP so that we can communicate together | 13:03 |
| lkcl | but if you think about it, it's really intrusive, as it narrows down your geographical location to a cell tower in some cases | 13:03 |
| josuah | either direictly (my own home/server IP) or indirectly (the one of a bouncer, whatever) | 13:03 |
| josuah | I live in 39 street Notre-Dame 35500 Vitré | 13:03 |
| lkcl | :) | 13:04 |
| josuah | now you can offer me surprise goodies like an oscilloscope ;) | 13:04 |
| josuah | but I understand that some prefer to keep their IRC identity distant | 13:04 |
| josuah | there might also be places where open communication can be seen as subversive | 13:05 |
| lkcl | which makes IRC logs - and keeping communications entirely open and public - all the more important | 13:05 |
| lkcl | if it's logged, then there's "nothing to hide" and it makes accusations of "subversive-ness" moot | 13:06 |
| josuah | I did not think of it that way | 13:06 |
| lkcl | i run ircbot on the major channels that i run, for that and other reasons | 13:07 |
| josuah | also very nice for pointing at public IRC discussions | 13:07 |
| lkcl | yes. | 13:07 |
| josuah | (references for building articles) | 13:07 |
| lkcl | the cross-referencing that we have in Libre-SOC, {bugtracker} linking-to {IRClogs} linking-to {wiki} linking to {source code} linking to {mailing list} is quite mad | 13:08 |
| lkcl | i can point ircbot at this channel if people are interested. it's not very pretty, but DoesTheJob(tm) | 13:08 |
| lkcl | another person to ask is Tim Rikers | 13:09 |
| josuah | https://libre-soc.org/ looks like a nice project! Is it bound to Chips Aliance or separate? | 13:09 |
| tpb | Title: libre-soc (at libre-soc.org) | 13:09 |
| lkcl | josuah, fully independent and entirely Libre | 13:10 |
| lkcl | we take direct responsibility for self-hosting. | 13:11 |
| josuah | (I'll keep the discussion going in #libre-soc) | 13:11 |
| lkcl | sure, you're most welcome | 13:11 |
| lkcl | to put this channel back on track: | 13:12 |
| lkcl | https://git.libre-soc.org/?p=dev-env-setup.git;a=blob;f=nextpnr-xilinx-install;hb=HEAD | 13:12 |
| tpb | Title: git.libre-soc.org Git - dev-env-setup.git/blob - nextpnr-xilinx-install (at git.libre-soc.org) | 13:12 |
| lkcl | that's an "automated install" script for nextpnr-xilinx, that's been confirmed functional by running it a number of times now | 13:12 |
| lkcl | including on UOregon's Server (thanks to the OpenPOWER Foundation and to IBM India Education Course) | 13:13 |
| *** jb <[email protected]> has joined #f4pga | 14:39 | |
| *** jb <[email protected]> has quit IRC (Client Quit) | 14:39 | |
| toshywoshy | lkcl: yes, we can bridge, should I create a general fpga discussion channel | 15:06 |
| lkcl | toshywoshy, with microwatt etc. already being a heavy fpga user, i'd hazard a guess that OPF users/members would be interested, yes | 16:15 |
| lkcl | Paul Mackerras wanted to have a go at using nextpnr-xilinx for microwatt, and i think he'd be interested to be able to interact conveniently with people here | 16:16 |
| lkcl | y'know what, i might as well run irclog2html, i've already got it set up | 16:31 |
| *** ibot <[email protected]> has joined #f4pga | 16:33 | |
| lkcl | ha, there we go, that was easy https://libre-soc.org/irclog-f4pga/ | 16:37 |
| tpb | Title: IRC logs (at libre-soc.org) | 16:37 |
| lkcl | marzoul, josuah ^ | 16:37 |
| lkcl | it's neither the smartest nor the prettiest, but it's functional and static HTML (very low resource on server and on the browser) | 16:39 |
| lkcl | ha, if i'd had the logs before now i'd be able to search them and find where that "-nocarry" yosys workaround is :) | 16:47 |
| lkcl | can anyone remember the bugreport that was raised about CARRY4 resources being overrun in both nextpnr-xilinx and symbiflow? | 16:48 |
| lkcl | mithro, ^ i remember you commented on it | 16:48 |
| mithro | I remember it was on twitter by a Japanese speaking person | 17:02 |
| lkcl | yeah that sounds familiar | 17:05 |
| lkcl | nggh this is exactly the reason why irclogs are useful for any project :) | 17:14 |
| mithro | https://twitter.com/1gkojima/status/1496459989082591235 | 17:23 |
| mithro | https://logs.timvideos.us/%23f4pga/ | 17:29 |
| tpb | Title: IRC logs (at logs.timvideos.us) | 17:29 |
| mithro | https://logs.timvideos.us/%23symbiflow/ | 17:29 |
| tpb | Title: IRC logs (at logs.timvideos.us) | 17:29 |
| lkcl | ahh, magic | 17:35 |
| lkcl | ty | 17:35 |
| lkcl | https://git.libre-soc.org/?p=openpower-isa.git;a=blob;f=src/openpower/decoder/power_svp64.py;h=ea7f465c9d4f299151e2785b80ab4665f2d87fe9;hb=HEAD#l33 | 17:37 |
| tpb | Title: git.libre-soc.org Git - openpower-isa.git/blob - src/openpower/decoder/power_svp64.py (at git.libre-soc.org) | 17:37 |
| lkcl | sorry wrong channel | 17:37 |
| lkcl | ha. programmerjake found it https://github.com/gatecat/nextpnr-xilinx/issues/34 | 17:59 |
| *** zeeshan <[email protected]> has joined #f4pga | 18:31 | |
| *** zeeshan <[email protected]> has quit IRC (Quit: Connection closed) | 19:22 | |
| *** zeeshan <[email protected]> has joined #f4pga | 19:23 | |
| *** zeeshan <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 19:59 | |
| *** ayazar <[email protected]> has quit IRC (Quit: The Lounge - https://thelounge.chat) | 21:34 | |
| *** ayazar5 <[email protected]> has joined #f4pga | 21:35 | |
| *** ayazar5 <[email protected]> has quit IRC (Client Quit) | 21:39 | |
| *** ayazar5 <[email protected]> has joined #f4pga | 21:39 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!