Logs: liberachat/#haskell
| 2021-08-03 17:38:58 | <Lycurgus> | which is same as by derivation or logical relation |
| 2021-08-03 17:39:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-03 17:42:52 | → | econo joins (uid147250@user/econo) |
| 2021-08-03 17:43:33 | → | f-a joins (~f-a@151.34.27.3) |
| 2021-08-03 17:44:14 | <f-a> | I am looking for a package that converts 17 to «seventeen», but I am having trouble finding it on Hackage. |
| 2021-08-03 17:45:47 | <deejaytee> | just for that specific case, or do you want pronunciations for other numbers, too? |
| 2021-08-03 17:45:57 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 245 seconds) |
| 2021-08-03 17:46:02 | <DigitalKiwi> | https://hackage.haskell.org/package/ordinal |
| 2021-08-03 17:46:34 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-dfb3-4ecf-f29f-159d.fixed6.kpn.net) (Ping timeout: 258 seconds) |
| 2021-08-03 17:47:04 | Lycurgus | conjectured a ffi |
| 2021-08-03 17:48:19 | <f-a> | any from ℕ, deejaytee |
| 2021-08-03 17:48:35 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-03 17:48:42 | arkho | is now known as ccc |
| 2021-08-03 17:48:47 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-03 17:48:49 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-03 17:48:55 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-03 17:49:14 | <deejaytee> | hmm ordinal looks good, shameless plug for my conway-wechsler pronouncer here https://github.com/dylan-thinnes/conway-wechsler |
| 2021-08-03 17:49:17 | ccc | is now known as arkho |
| 2021-08-03 17:49:27 | <deejaytee> | if you actually need N, that is |
| 2021-08-03 17:49:57 | <deejaytee> | I'd hazard that ordinal is actually what you're looking for, though :P |
| 2021-08-03 17:50:59 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-03 17:52:48 | <DigitalKiwi> | П> import Text.Numerals |
| 2021-08-03 17:52:50 | <DigitalKiwi> | П> Data.Text.IO.putStrLn (toCardinal english 17) |
| 2021-08-03 17:52:52 | <DigitalKiwi> | seventeen |
| 2021-08-03 17:52:58 | <DigitalKiwi> | TESTS PASS SHIP IT |
| 2021-08-03 17:53:08 | <deejaytee> | hahaha |
| 2021-08-03 17:53:11 | <davean> | Oh THATS where that bullshit comes from! |
| 2021-08-03 17:53:32 | <davean> | I've seen programs switch into that completely incoherent numbering system occasionally with large numbers and never knew why! |
| 2021-08-03 17:53:55 | <f-a> | why ordinals, deejaytee ? |
| 2021-08-03 17:54:06 | <davean> | f-a: because it does the thing you asked for |
| 2021-08-03 17:54:35 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-03 17:54:43 | × | azeem quits (~azeem@176.200.220.247) (Read error: Connection reset by peer) |
| 2021-08-03 17:54:46 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-08-03 17:54:51 | <deejaytee> | ^ also, DigitalWiki mentioned it, not me |
| 2021-08-03 17:54:54 | <DigitalKiwi> | nix-shell -p cabal-install "haskellPackages.ghcWithPackages (x: with x; [ ordinal ])" |
| 2021-08-03 17:55:02 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-03 17:55:52 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-03 17:56:11 | → | dme2 joins (~dme2@67.205.140.199) |
| 2021-08-03 17:56:41 | × | drlkf quits (~drlkf@2001:41d0:a:62bb::1) (Quit: q=) |
| 2021-08-03 17:56:41 | <f-a> | davean: ordinal numbers are "first", "second", "third"; cardinal "one", "two", "three"? |
| 2021-08-03 17:56:49 | → | drlkf joins (~drlkf@2001:41d0:a:62bb::1) |
| 2021-08-03 17:56:55 | <deejaytee> | davean: you can try it out on https://dylant.org/conway-wechsler/ and see it spit out some crazy stuff |
| 2021-08-03 17:57:06 | <deejaytee> | I like it, but just as curiosity |
| 2021-08-03 17:57:12 | <davean> | deejaytee: I mean I saw it |
| 2021-08-03 17:57:26 | <davean> | Thats how I know it matches the incoherent bullshit I've seen before :-p |
| 2021-08-03 17:57:29 | <deejaytee> | ah sorry |
| 2021-08-03 17:58:07 | <DigitalKiwi> | note that i just found that on hackage today and that is the extent to which i have used it lol |
| 2021-08-03 17:58:09 | <deejaytee> | yeah the choice of ones, then tens, then hundreds is a bit wack |
| 2021-08-03 17:58:34 | → | shailangsa joins (~shailangs@host86-185-98-7.range86-185.btcentralplus.com) |
| 2021-08-03 17:58:39 | <deejaytee> | and some of the inflection is just unnecessary |
| 2021-08-03 17:59:06 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-03 17:59:20 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-03 17:59:24 | <DigitalKiwi> | there are probably a few others too that's just the one i found/tested fastest lol |
| 2021-08-03 17:59:25 | <deejaytee> | (yeah, there I said it, I ain't afraid of Conway's ghost) |
| 2021-08-03 18:01:35 | <deejaytee> | davean: where else have you seen this implemented? I'd love to compare, but there are only a few impls on github |
| 2021-08-03 18:02:20 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 250 seconds) |
| 2021-08-03 18:03:13 | → | mrianbloom joins (sid350277@id-350277.charlton.irccloud.com) |
| 2021-08-03 18:03:55 | <davean> | I've seen it in programs randomly, and then I avoided the programs, uh, so not entirely sure? |
| 2021-08-03 18:05:13 | <mrianbloom> | Is there a random library for accelerate that produces random numbers on the GPU? |
| 2021-08-03 18:06:21 | <DigitalKiwi> | https://hackage.haskell.org/package/mwc-random-accelerate |
| 2021-08-03 18:06:54 | → | justsurfin243590 joins (~justsurfi@cpe-98-146-133-53.natnow.res.rr.com) |
| 2021-08-03 18:07:42 | × | forell quits (~forell@user/forell) (Ping timeout: 272 seconds) |
| 2021-08-03 18:07:49 | <mrianbloom> | My impression was that that one actually produces the randoms on the CPU and then moves them into an accelerate array. Perhaps I got that wrong. |
| 2021-08-03 18:09:19 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-03 18:09:25 | <DigitalKiwi> | oh, hmm |
| 2021-08-03 18:10:17 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-03 18:10:31 | → | Atum_ joins (IRC@user/atum/x-2392232) |
| 2021-08-03 18:11:06 | × | markpythonicbitc quits (~textual@50.228.44.6) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-08-03 18:13:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-03 18:13:31 | <mrianbloom> | I have lots of other Accelerate questions if you are interested :) |
| 2021-08-03 18:14:16 | tomsmeding | can possibly answer some accelerate questions, depending on what kind |
| 2021-08-03 18:16:16 | <mrianbloom> | The two I have are 1. Is it easy to integrate a CUDA kernel into a program which is otherwise written in Acc? 2. How do you access the elements of a SIMD vector inside an accelerate program? |
| 2021-08-03 18:18:13 | <tomsmeding> | mrianbloom: the base API to add foreign elements to an accelerate programming running on the gpu is https://hackage.haskell.org/package/accelerate-llvm-ptx-1.3.0.0/docs/Data-Array-Accelerate-LLVM-PTX-Foreign.html ; I don't know if there is a higher-level wrapper though (this API is very low-level) |
| 2021-08-03 18:19:13 | <mrianbloom> | I see. That's really helpful. I'll check that out. |
| 2021-08-03 18:19:54 | <tomsmeding> | (there was a paper on that foreign function interface; can send that too if you wish) |
| 2021-08-03 18:20:39 | <mrianbloom> | I appreciate it. |
| 2021-08-03 18:21:10 | <tomsmeding> | mrianbloom: this is the official page: https://link.springer.com/chapter/10.1007%2F978-3-319-04132-2_10 |
| 2021-08-03 18:21:22 | <tomsmeding> | I can send a PDF too if you don't have access :) |
| 2021-08-03 18:22:00 | → | sweater joins (~sweater@206.81.18.26) |
| 2021-08-03 18:24:11 | <mrianbloom> | I need that actually (not popping up on google...) |
| 2021-08-03 18:24:35 | <DigitalKiwi> | it's on libgen.is lol |
| 2021-08-03 18:28:29 | <tomsmeding> | mrianbloom: regarding SIMD vectors: it seems you should use V2/V3/V4/V8/V16 like the T* and I* pattern synonyms |
| 2021-08-03 18:28:37 | <tomsmeding> | though I've never used this personally yet |
| 2021-08-03 18:29:00 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-08-03 18:29:14 | <mrianbloom> | I see, is that part of the standard accelerate library? |
| 2021-08-03 18:29:27 | <tomsmeding> | (The Vec* pattern synonyms are not what you should use I believe) |
| 2021-08-03 18:29:33 | <tomsmeding> | mrianbloom: https://hackage.haskell.org/package/accelerate-1.3.0.0/docs/Data-Array-Accelerate.html#v:V2 |
| 2021-08-03 18:29:36 | <tomsmeding> | just undocumented lol |
| 2021-08-03 18:29:48 | <tomsmeding> | they are generated using templatehaskell |
| 2021-08-03 18:29:49 | <aveltras[m]> | I'd like to create a basic program which takes as input a directory of pictures and outputs an image with all pictures put on top of each other and each picture having an empty frame of the same size on the side of it. Any recommended image manipulation library for achieving this ? |
| 2021-08-03 18:30:18 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-03 18:30:23 | chris | is now known as Guest4121 |
| 2021-08-03 18:30:47 | <mrianbloom> | tomsmedling: great, those are all good leads, I appreciate it. |
| 2021-08-03 18:31:36 | → | forell joins (~forell@user/forell) |
| 2021-08-03 18:32:45 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-03 18:33:43 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 258 seconds) |
| 2021-08-03 18:34:52 | × | Guest4121 quits (~chris@81.96.113.213) (Ping timeout: 258 seconds) |
| 2021-08-03 18:35:02 | <DigitalKiwi> | tom's medling |
| 2021-08-03 18:35:20 | × | Atum_ quits (IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-08-03 18:35:25 | → | chris joins (~chris@81.96.113.213) |
All times are in UTC.