Fork me on GitHub
#clojure-uk
<
2018-05-09
>
rhinocratic07:05:19

Morning.😎

otfrom08:05:37

@rhinocratic it must be tough advocating for a society where the nose rules

rhinocratic08:05:57

It's an unfashionable perspective, I must admit.

rhinocratic08:05:46

Took the name from a tune by the venerable Bonzo Dog Doo-Dah Band.

😍 4
otfrom08:05:00

ah, the Bonzos

guy08:05:40

morning!

dominicm09:05:21

hows it going

bronsa09:05:41

my xps 13 is not too happy about doing smt solving

dominicm09:05:33

@yogidevbear Not too bad, it's a nice day, I've done some fun hacking this morning pre-work. But I'm without a shower for at least 2 weeks, which is a bit of a bummer in this weather.

guy09:05:24

Thats awful! Unlucky man 😞

yogidevbear09:05:14

When we bought our current house the shower was non-existent. We had to put up without one for a month. It was great to finally have that sorted out

guy09:05:09

ahhh right

guy09:05:46

In one of my old london flats the shower / bath thing broke and we had just a plastic pipe for months. That was fun uni times πŸ˜„

yogidevbear09:05:00

I hope you still have access to a bath at least

guy09:05:06

no shower?? damn

yogidevbear09:05:07

Or shouldn't I ask?

Rachel Westmacott09:05:39

@bronsa What are you using smt solving for?

bronsa09:05:53

that's what we do at my job, we're building a formally verified subset of ocaml which uses z3 underneath for constraints solving

😱 4
πŸ‘ 4
🌈 4
dominicm09:05:18

@yogidevbear @guy I stuck my head under the tap in the bath this morning, I was much more efficient than when I shower.

😱 4
🚿 4
guy09:05:08

Maybe your work has a shower? I was lucky when my old work had a shower, i could run into work then just shower there.

dominicm09:05:26

The current office doesn't have a shower unfortunately

guy09:05:47

ahh rubbish 😞

bronsa09:05:23

@dominicm go to a pure gym, 40 quid a month and you can shower all you want

πŸ˜‚ 4
guy09:05:38

ooh^ thats a good shout actually

3Jane09:05:04

(it’s a thing people do when they’re temporarily without home)

guy09:05:07

You can find cheaper gyms too, i know box gym in north london was like 10Β£ a month and it had a shower

3Jane09:05:09

morning btw πŸ˜„

guy09:05:13

morning!

bronsa09:05:37

o/

πŸ˜„ 4
bronsa09:05:56

dorun

πŸ˜‚ 12
3Jane09:05:23

I think some async handling is needed there for optimum performance, all keeps throwing up new elements throughout the day. Reality: who designs this stuff?!

πŸ˜† 8
maleghast10:05:20

Morning All πŸ™‚

maleghast10:05:32

I am having fun with UUIDs, what are you all up to

jasonbell10:05:40

@maleghast Outside of work.... For one talk and in no particular order.... Kafka Connect, Kafka Streaming API (in Clojure), Compojure API to a scheduled DL4J scheduled model builds. If I have time I'll put in linear regression and a decision tree for multiple model types. Basically a framework to build automated self learning machine learning and AI models with Kafka, DL4J, Weka and Apache Commons Math. Then I'll take all the Java bits out and redo them in Clojure and move Kafka to core.async for ClojureX πŸ™‚

πŸ‘ 8
jasonbell10:05:02

At work: just Clojure πŸ™‚

πŸ‘ 8
rhinocratic10:05:54

Implementing a Luhn scan in Go, and trying not to shudder.

maleghast10:05:56

@jasonbell - The out of work things there are of PARTICULAR interest to me; I was hoping to discover ways to commoditise the data science that we are doing using Clojure instead of having to use another language / approach. Anything to have a homogenous tech stack...

maleghast10:05:08

@rhinocratic - I need to Google that...

maleghast10:05:08

@rhinocratic - Wow, I had no idea... This is really COOL!

maleghast10:05:19

#everyday-is-a-school-day

rhinocratic10:05:21

@maleghast I don't wish to sound entirely disparaging of Go - I find it to be good in parts! πŸ™‚

maleghast10:05:51

I've long had the inclination to learn Go-Lang

maleghast10:05:38

I am particularly impressed by its completeness in terms of being able to deploy a single binary

maleghast10:05:36

And I like what I've seen in terms of its utility in creating micro services quickly and easily

maleghast10:05:28

Overall I think it would be a great addition to my toolbag if I were able to find the time to grok it

maleghast10:05:29

Right, must get back to the UUIDs

rhinocratic11:05:16

One can become productive in it fairly quickly. It's great for its performance and concurrency support, but the type system is a little bizarre and the lack of generics can result in quite a bit of repetition.

maleghast16:05:12

@rhinocratic - Thanks, that is all good to know. I am going to try and find time for it...

jasonbell19:05:27

Another day another talk proposal accepted. Thing is I can't remember what I wrote in the proposal though i know it involved poker, probability and Java.

3Jane20:05:56

I’m poking around Anki and found this: https://ankiweb.net/shared/info/3248915342 πŸ˜„

4
πŸ‘€ 4
seancorfield21:05:27

@jasonbell It would be really helpful if conference folks sent back a copy of the accepted proposal when they let you know it got accepted. Esp. if you had to submit it via a web form that didn't send you an email confirmation of the entire contents of the form!

seancorfield21:05:22

I've had that happen with a number of conferences and had to email them and say "Hey, you know that proposal you just accepted, that I submitted via a web form months ago? Could you send me a copy, please, so I know what you've accepted...?"

otfrom21:05:21

:rolling_on_the_floor_laughing:

jasonbell21:05:33

@seancorfield They sent me the five line proposal back.... πŸ™‚

seancorfield21:05:17

Nice. I wish more conferences did that!

jasonbell21:05:36

The joys of Northern Ireland conferences, small focused group and I know everybody.

jasonbell21:05:21

I literally typed this proposal in a couple of minutes as another one in the mix away from the usual Onyx, Kafka, DL4J stuff.