Logs: liberachat/#haskell
| 2021-06-08 20:28:14 | <davean> | orzo: audit assembly? I only know of us having a spec for ARM assembly :) |
| 2021-06-08 20:28:25 | <davean> | orzo: They publish an XML file that defines transitions for their ASM |
| 2021-06-08 20:28:33 | <davean> | but like we litterly guess at what x86 assembly does |
| 2021-06-08 20:28:52 | <[exa]> | "mov always moved data right?" "right?" |
| 2021-06-08 20:29:02 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 258 seconds) |
| 2021-06-08 20:29:18 | <davean> | And like ARM has that spec, but we don't believe the spec is right! |
| 2021-06-08 20:29:27 | <davean> | we just believe we know where the error is when it doesn't behave that way |
| 2021-06-08 20:31:07 | <[exa]> | safinaskar: so, for softwareengineering a solution for that, what if you (for a prototype, which you should do anyway) just serialize the data for a common format and use a normal FFI to call each other's functions? Rust can make a .o with callable symbols right? |
| 2021-06-08 20:31:58 | <safinaskar> | [exa]: mov moves data right in at&t syntax and left in intel syntax... |
| 2021-06-08 20:32:37 | <safinaskar> | [exa]: too much work, i will stick to one language |
| 2021-06-08 20:33:19 | <davean> | safinaskar: well, lets assume machine code, because thats all just an encoding and we don't care about encoding :) |
| 2021-06-08 20:34:07 | <safinaskar> | orzo: lean 4 prover's kernel is implemented in c++. rest of lean 4 implemented in lean itself |
| 2021-06-08 20:35:56 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 258 seconds) |
| 2021-06-08 20:37:02 | <safinaskar> | pavonia: "I would need to somehow fake the starting position of the message string parsing then, I guess" - many parser lib allow this. i. e. actual function to run parser accepts argument meaning starting position |
| 2021-06-08 20:40:18 | <safinaskar> | orzo: "ever consider that?" - no. you may like bootstrappable project ( https://bootstrappable.org/ ), in particular their haskell experiments ( https://elephly.net/posts/2017-01-09-bootstrapping-haskell-part-1.html ) |
| 2021-06-08 20:40:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-08 20:41:02 | <safinaskar> | orzo: or this subprojects: https://github.com/oriansj/stage0 https://www.gnu.org/software/mes/ |
| 2021-06-08 20:42:05 | <davean> | safinaskar: wow, a guix reference in the wild, cool |
| 2021-06-08 20:43:04 | × | agumonke` quits (~user@88.160.31.174) (Ping timeout: 250 seconds) |
| 2021-06-08 20:43:45 | <safinaskar> | davean: i not sure this counts as "wild". i suspect set of authors of bootstrappable, stage0 and mes intersects with set of authors of guix |
| 2021-06-08 20:43:53 | → | kw joins (~user@152.1.137.158) |
| 2021-06-08 20:45:41 | → | agumonke` joins (~user@88.160.31.174) |
| 2021-06-08 20:45:46 | <kw> | Is there a cabal equivalent to using a stack.yaml with `extra-deps: https://github.com/org/repo/archive/package.zip` ? |
| 2021-06-08 20:45:53 | → | fluffyballoon joins (~fluffybal@2620:72:0:6480::10f7) |
| 2021-06-08 20:46:04 | <davean> | kw: yes I think if I understand what that means |
| 2021-06-08 20:46:15 | <davean> | kw: you can reference alternative package sppliers in cabal.projects |
| 2021-06-08 20:46:23 | <davean> | I do it quite a bit |
| 2021-06-08 20:46:29 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-08 20:47:00 | → | bruceleewees joins (~bruceleew@83.24.248.233.ipv4.supernova.orange.pl) |
| 2021-06-08 20:48:05 | <kw> | davean: Oh, I see that in the docs for cabal.project using `source-repository-package` . Exactly what I need, thanks! |
| 2021-06-08 20:48:35 | × | MQ-17J quits (~MQ-17J@8.21.10.116) (Ping timeout: 258 seconds) |
| 2021-06-08 20:48:44 | <davean> | kw: great! I was guessing at the stack variant's meaning! :) |
| 2021-06-08 20:50:05 | × | connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-08 20:50:57 | → | connrs joins (~connrs@user/connrs) |
| 2021-06-08 20:54:02 | <maerwald> | pantry has so much alternative syntax, it's weird |
| 2021-06-08 20:55:57 | river | is now known as riv |
| 2021-06-08 20:56:15 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-08 20:57:28 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2021-06-08 20:58:06 | → | zzz joins (~yin@user/yin) |
| 2021-06-08 20:58:27 | <edmundnoble_> | Okay now my code is way faster with profiling enabled, argh |
| 2021-06-08 20:59:38 | <edmundnoble_> | Maybe this is a good thing, and I should enable profiling in production... |
| 2021-06-08 20:59:41 | <edmundnoble_> | ;) |
| 2021-06-08 20:59:52 | <davean> | edmundnoble_: I mean thats fairly suggestive |
| 2021-06-08 20:59:56 | <edmundnoble_> | It is??? |
| 2021-06-08 21:00:08 | <davean> | Well, theres differences in how it compiles with profiling |
| 2021-06-08 21:00:08 | <edmundnoble_> | Wonderful, what does it suggest? |
| 2021-06-08 21:00:16 | <davean> | I expect you might have some bad rules, etc |
| 2021-06-08 21:00:20 | <davean> | depending on what options you enabled |
| 2021-06-08 21:00:25 | <edmundnoble_> | Hm |
| 2021-06-08 21:00:38 | <edmundnoble_> | I have not written rewrite rules *but* my hot code touches Vector... |
| 2021-06-08 21:00:52 | <davean> | have you tried different optimization levels when you build it? |
| 2021-06-08 21:01:05 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-08 21:01:09 | <davean> | profiling disables a bunch of optimizations effectively |
| 2021-06-08 21:01:39 | <edmundnoble_> | I try with -O1 now, with no profiling, to test that |
| 2021-06-08 21:01:44 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-08 21:02:00 | <davean> | edmundnoble_: Its not like a direct answer, but its a strong smell of where to look |
| 2021-06-08 21:02:06 | × | yin quits (~yin@user/yin) (Ping timeout: 264 seconds) |
| 2021-06-08 21:02:50 | <edmundnoble_> | Hm no dice, but I will look at the other things profiling does to my optimization flags |
| 2021-06-08 21:03:46 | <edmundnoble_> | My only optimization options otherwise are `-fno-cse` and `-fno-full-laziness`, out of paranoia |
| 2021-06-08 21:03:50 | <edmundnoble_> | And disabling them does nothing |
| 2021-06-08 21:04:25 | <davean> | well, the thing I'd say about profiling is it often forces things to exist. |
| 2021-06-08 21:04:56 | <davean> | specificly things that are annotated for profiling |
| 2021-06-08 21:04:59 | <edmundnoble_> | To make SCC's more useful, I guess? So less inlining in some areas? |
| 2021-06-08 21:05:03 | <davean> | yes |
| 2021-06-08 21:05:27 | <dminuoso> | profiling makes TSOs larger too right? |
| 2021-06-08 21:05:42 | <davean> | dminuoso: That shouldn't make performance increase though |
| 2021-06-08 21:05:53 | <davean> | I'm focusing on what profiling improving performance suggests |
| 2021-06-08 21:06:21 | <davean> | edmundnoble_: oh, and forcing things to exist changes evaluation order remember |
| 2021-06-08 21:06:37 | <davean> | which you know can interact with laziness |
| 2021-06-08 21:09:12 | → | ddellacosta joins (~ddellacos@89.46.62.128) |
| 2021-06-08 21:09:59 | × | xsperry quits (~as@user/xsperry) (Remote host closed the connection) |
| 2021-06-08 21:11:06 | → | dudek joins (~dudek@185.150.236.112) |
| 2021-06-08 21:11:22 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) |
| 2021-06-08 21:12:14 | × | safinaskar quits (~safinaska@109-252-90-89.nat.spd-mgts.ru) (Quit: Client closed) |
| 2021-06-08 21:15:29 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) (Ping timeout: 245 seconds) |
| 2021-06-08 21:19:16 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-08 21:19:18 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-08 21:19:44 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-08 21:20:36 | × | Deide quits (~Deide@user/deide) (Read error: Connection reset by peer) |
| 2021-06-08 21:20:40 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) |
| 2021-06-08 21:20:56 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-06-08 21:20:56 | × | Deide quits (~Deide@217.155.19.23) (Changing host) |
| 2021-06-08 21:20:56 | → | Deide joins (~Deide@user/deide) |
| 2021-06-08 21:20:57 | jackhill_ | is now known as KM4MBG |
| 2021-06-08 21:21:03 | KM4MBG | is now known as jackhill[m] |
| 2021-06-08 21:21:06 | jackhill[m] | is now known as jackhill |
| 2021-06-08 21:23:24 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2021-06-08 21:24:14 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2021-06-08 21:24:54 | × | nattiestnate quits (~nate@180.242.128.159) (Ping timeout: 252 seconds) |
| 2021-06-08 21:26:46 | → | nattiestnate joins (~nate@36.70.194.182) |
| 2021-06-08 21:27:56 | <sm[m]> | It's https://github.com/github/maintainerweek . Hug a maintainer today 😀 |
| 2021-06-08 21:29:02 | peutri_ | is now known as peutri |
| 2021-06-08 21:31:57 | → | benin03 joins (~benin@183.82.206.233) |
| 2021-06-08 21:34:15 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-08 21:41:38 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-06-08 21:43:01 | × | sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 258 seconds) |
| 2021-06-08 21:52:17 | × | Baloo_ quits (~Baloo_@45.83.220.176) (Quit: Leaving) |
| 2021-06-08 21:52:31 | × | ThatsWhatIDo quits (~whateverm@pool-108-54-183-148.nycmny.fios.verizon.net) (Quit: Leaving) |
| 2021-06-08 21:53:42 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-08 21:53:51 | <Athas> | Hackage rejects packages that don't have upper bounds on base? How annoying. |
All times are in UTC.