Home liberachat/#xmonad: Logs Calendar

Logs: liberachat/#xmonad

←Prev  Next→
Page 1 .. 93 94 95 96 97 98 99 100 101 102 103 .. 1843
— 184,211 events total
2021-06-27 15:27:53 <Solid> (and the fact that these have almost no docs :>)
2021-06-27 15:28:22 <liskin> well I did try to get one :-)
2021-06-27 15:30:08 <liskin> might have tried harder, perhaps made the mistake of not getting a background in set theory first, but it did feel more complex than all the other stuff at uni
2021-06-27 15:30:56 <Solid> it does help to have a mathematics background in general
2021-06-27 15:31:10 <Solid> because like all of the examples come from the rest of mathematics
2021-06-27 15:31:53 <Solid> not necessarily set theory, just like a basic course in abstract algebra would probably help immensely
2021-06-27 15:32:31 <liskin> I definitely did have algebra before that
2021-06-27 15:33:28 × kenny1 quits (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) (Quit: WeeChat 3.2)
2021-06-27 15:33:52 <liskin> actually ended up using lattices a lot at work
2021-06-27 15:35:10 → kenny1 joins (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff)
2021-06-27 15:35:14 <Solid> oh that's pretty cool
2021-06-27 15:35:41 <Solid> I'm trying to remember what I knew back when I took my first category theory course
2021-06-27 15:36:09 <Solid> but I think it was just a bit of group and ring theory, plus some differential geometry
2021-06-27 15:36:25 <Solid> I had not taken a proper set theory/mathematical logic course at that point
2021-06-27 15:37:36 × Nahra quits (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection)
2021-06-27 15:38:41 <liskin> (we were building a language for analytical queries over databases so that people wouldn't need to care about the structure of tables and joins, the data model was a partial order/DAG, and then the lattice of antichains in that partial order was used for the types of query results)
2021-06-27 15:39:35 <liskin> those were fun times
2021-06-27 15:39:48 <Solid> kind of a bummer that lattices have fallen out of fashion nowadays
2021-06-27 15:39:52 <Solid> not many people studying them anymore
2021-06-27 15:40:25 <liskin> we had a prototype impl in Haskell that I somehow managed to compile for arm and run on the Nokia N900
2021-06-27 15:40:40 <Solid> what? :D
2021-06-27 15:40:56 ← kenny1 parts (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) (WeeChat 3.2)
2021-06-27 15:41:03 <liskin> that thing had a 256M RAM and 768M swap
2021-06-27 15:41:19 <liskin> but I think the build involved qemu and a lot more swap :-)
2021-06-27 15:41:41 <liskin> that running on phone thing was done just for shit and giggles
2021-06-27 15:41:50 <Solid> that is absolutely amazing
2021-06-27 15:42:21 <liskin> and to show everyone that a simple implementation can run faster than the old production code with mysql that we were replacing
2021-06-27 15:43:38 <liskin> the prototype ended up being useful for testing as well
2021-06-27 15:44:14 <liskin> I had a quickcheck property that would generate a random query and compute it once using the prototype, and once using a shell script that invoked the prod impl in perl/erlang and run the queries on postgres
2021-06-27 15:44:33 → kenny1 joins (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff)
2021-06-27 15:44:34 <liskin> it was slow but it would catch most of the corner cases in hours
2021-06-27 15:45:13 <liskin> (the new prod impl, the old one was perl only and we didn't really attempt a bug-for-bug rewrite)
2021-06-27 16:03:02 → mc47 joins (~mc47@xmonad/TheMC47)
2021-06-27 16:03:38 × mc47 quits (~mc47@xmonad/TheMC47) (Client Quit)
2021-06-27 16:09:07 × kenny1 quits (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) (Ping timeout: 268 seconds)
2021-06-27 16:17:49 → Nahra joins (~user@static.161.95.99.88.clients.your-server.de)
2021-06-27 16:18:32 × nomadx quits (~lanomadx@208.91.67.103) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-27 16:19:55 → nomadxx3 joins (~lanomadx@208.91.67.103)
2021-06-27 16:22:01 nomadxx3 is now known as nomadx
2021-06-27 16:38:56 → kenny1 joins (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff)
2021-06-27 16:58:21 × backleet quits (~backleet@user/backleet) (Ping timeout: 265 seconds)
2021-06-27 17:05:03 → backleet joins (~backleet@user/backleet)
2021-06-27 17:46:53 <k8[m]> <liskin "ekmett's packages full of catego"> who is ekmett🤔
2021-06-27 17:49:45 <Solid> the guy who wrote half of hackage's libraries :)
2021-06-27 17:54:56 <k8[m]> hahah I was about to say I looked the hackage page in awe: https://hackage.haskell.org/user/EdwardKmett
2021-06-27 18:01:25 × kenny1 quits (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) (Ping timeout: 250 seconds)
2021-06-27 18:23:47 → kenny1 joins (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff)
2021-06-27 18:31:05 × backleet quits (~backleet@user/backleet) (Ping timeout: 258 seconds)
2021-06-27 18:39:32 → meowray joins (~MaskRay@user/meowray)
2021-06-27 18:40:13 <meowray> weird, no layout works. all windows occupy the whole screen space. the same config works fine on another machine
2021-06-27 18:43:49 × kenny1 quits (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) (Quit: WeeChat 3.2)
2021-06-27 18:53:50 <geekosaur> @where paste
2021-06-27 18:53:51 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-06-27 18:54:35 <meowray> i even tried a minimal config. no layout - every window occupies the whole space. i even copied the good "xmonad" executable from that working machine - no luck
2021-06-27 18:57:34 <geekosaur> that's odd. any messages in the session error log? (usually something like ~/.xsession-errors, or for startx it'll be the original vt)
2021-06-27 18:58:24 <geekosaur> going Full like that usually mean an exception occurred while processing the layout, but that usually requires something like a font-using layout and the default config doesn't use one
2021-06-27 18:59:57 <meowray> no ~/.xsession-errors ; my xmonad.hs has xmobar and xmobar displays, but all windows occupy the full space thus shadow the xmobar at the bottom.
2021-06-27 19:00:25 <meowray> "mean an exception occurred while processing the layout" - i guess this is what happened to me...
2021-06-27 19:04:22 <geekosaur> default config will do that, and if there's only one window a layout will often behave like Full anyway. you need `docks` from xmonad-config for docks to show
2021-06-27 19:27:03 → a6a45081-2b83 joins (~aditya@122.163.205.132)
2021-06-27 19:31:03 × sagax quits (~sagax@213.138.71.146) (Remote host closed the connection)
2021-06-27 19:40:39 → amir joins (sid22336@user/amir)
2021-06-27 19:57:33 × a6a45081-2b83 quits (~aditya@122.163.205.132) (Remote host closed the connection)
2021-06-27 22:17:23 × seschwar quits (~seschwar@user/seschwar) (Quit: :wq)
2021-06-27 23:01:17 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-06-27 23:01:17 → allbery_b joins (~geekosaur@xmonad/geekosaur)
2021-06-27 23:01:30 allbery_b is now known as geekosaur
2021-06-27 23:16:57 × tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-06-28 02:04:34 × banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 258 seconds)
2021-06-28 02:21:59 → banc joins (banc@gateway/vpn/airvpn/banc)
2021-06-28 02:50:55 × td_ quits (~td@94.134.91.75) (Ping timeout: 265 seconds)
2021-06-28 02:52:26 → td_ joins (~td@muedsl-82-207-238-133.citykom.de)
2021-06-28 03:25:39 → cjb joins (~cjb@user/cjb)
2021-06-28 04:22:07 → backleet joins (~backleet@user/backleet)
2021-06-28 04:48:13 <By_JumperX4[m]> is there any way in xmonad to avoid swapping 2 workspaces of screen ? I have 4 screens and when I do mod+4 it will put current workspace to screen 4 and put screen 4's workspace where i'm currently. I'd like to to act more like on i3 and "teleport" my mouse to screen 4 instead
2021-06-28 04:57:59 <liskin> By_JumperX4[m]: use view instead of greedyView
2021-06-28 04:58:38 <By_JumperX4[m]> i'm not sure to understand
2021-06-28 05:08:27 <By_JumperX4[m]> okay I found some doc on that, thanks
2021-06-28 07:28:13 × cjb quits (~cjb@user/cjb) ()
2021-06-28 07:57:32 → cfricke joins (~cfricke@user/cfricke)
2021-06-28 08:03:03 × backleet quits (~backleet@user/backleet) (Quit: WeeChat 3.2)
2021-06-28 08:11:00 → backleet joins (~backleet@user/backleet)
2021-06-28 08:17:27 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-06-28 08:17:52 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-06-28 08:38:14 × backleet quits (~backleet@user/backleet) (Read error: Connection reset by peer)
2021-06-28 08:43:29 → backleet joins (~backleet@user/backleet)
2021-06-28 08:43:54 → samhh joins (~samhh@90.252.127.54)
2021-06-28 08:54:20 × backleet quits (~backleet@user/backleet) (Ping timeout: 272 seconds)
2021-06-28 09:45:41 <fizzie> By_JumperX4[m]: `view` will just switch focus, though; if you do want to also move the pointer, XMonad.Actions.Warp's `warpToScreen` may come in handy. Might take a little work to make it happen only when the workspace was visible; e.g., grabbing the definition of `view` and replacing the branch where it's just made current.
2021-06-28 09:45:46 <fizzie> I use https://0x0.st/-pwa.txt for my screen-switching keys (mod-w/e), so that I can press once to just move focus, or twice to also bring the pointer along. Not that I do the latter much.
2021-06-28 10:11:35 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
2021-06-28 11:47:02 → backleet joins (~backleet@user/backleet)
2021-06-28 11:49:06 → azg256 joins (~azg256@78-56-98-5.static.zebra.lt)
2021-06-28 11:59:16 × backleet quits (~backleet@user/backleet) (Ping timeout: 272 seconds)
2021-06-28 12:01:02 → backleet joins (~backleet@user/backleet)
2021-06-28 12:13:26 × azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving)
2021-06-28 12:31:53 × berberman quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-28 12:32:54 → berberman joins (~berberman@user/berberman)
2021-06-28 12:39:39 → berberman_ joins (~berberman@user/berberman)
2021-06-28 12:40:36 × berberman quits (~berberman@user/berberman) (Ping timeout: 268 seconds)
←Prev  Next→
Page 1 .. 93 94 95 96 97 98 99 100 101 102 103 .. 1843

All times are in UTC.