What should I put on a T-shirt? Topic: clojure or functional programming

Anyone knows if http://ergoemacs.org/emacs/command-frequency.html exists for IntelliJ?

Hey, any idris users here?

Recreationally

What's your opinion as a clojure user? I learned just recently that dependent types are a thing so I'm thinking about giving Idris a go but I'm not sure whether it's worth the time investment.

It is certainly interesting

Dependent types let you assert certain things that will always be true about a program

Not sure if I would use Idris in production though

Developed at my alma mater though, big up St Andrews 🙂

doom3 on wasm in the browser: http://continuation-labs.com/d3wasm/

any nixos users here? How do I install an specific version of leiningen? nix-env -i nixos.leiningen installs 2.8.1 but I need 2.8.3.

Hey folks

... just gonna assume this is spam

Mobile doesn’t load images automatically

Whoa @billydarkholme don't do that

@billydarkholme not cool

hey @devn

@billydarkholme this isn't grindr. please stop

@micha hola!

It's a spammer causing issues on several channels. Hopefully will be dealt with shortly.

no!!!!

Yo what is this... At work right now

It's being dealt with

Last time this happened a new mod was added for this timezone.

@mario.cordova.862 enough to get you fired lol

dont click

thought it wasn an off-topic emergency of some sorts

It looked like it was about to autoplay too... I was like "/collapse"

"off-topic emergency" my old band

Yeah, I've got inline images turned off on my preferences

Same

User deleted. In a meeting, can't do more now, please feel free to PM me if it starts again.

Nice, thank you

Maybe it was a bot written in clojure

there's another account posting porn in #clojure

Actually, another user is trolling up #clojure

Or an act of war from a Scala user :p

now it’s Conor

yep... nsfw images

Keep in mind it's another impersonation

who is so sad and pathetic they hav eto try and disrupt a programming slack, like wtf

That went bad pretty quickly, wow

I've seen it happen once before, it was a wave like this. Probably one person using an automated tool to create impersonations. Dunno who'd have beef, but they seem to use NSFW content and racially charged language to stir the pot.

That slack isn’t really meant for “public” communities and doesn’t provide good tools for managing them doesn’t help anything either on that front

Not cool

naughty ascii art code blocks comenext probably

Wonder if the migration to Zulip would help any.

zulip is immutable. which means you can't delete them 🙂

Oof.

Ouch

Any ability to mute by user on an individual basis, at least?

But ... an admin could hide them? I’d hope?

Still not a good solution, but

That seems like a very bad and potentially legally troublesome design decision on their part

don't know. i stopped going there because it seemed dead

if it keeps happening, pretty sure @everyone can be disabled / only for admins

Hmm, that doesn't square with what I just saw; a couple messages just got deleted from the announcements Slack cross-post thread, there

^ yeah. i thought it already was disabled too

It is, they're bypassing it

tricksters

it is disabled, only admins and owners can

Been deleting the ones I see. If there are other porn/disruptive ones, please PM me, I'll happily delete. I just left the meeting I was in to try to keep this under control 😕

> zulip is immutable. which means you can’t delete them As admin we can delete messages on Zulip 👍

It's tricky because they're impersonating real users, and their profile doesn't show their email address, so it's hard to distinguish.

Time zone and unique user ID are available from their profile and can differentiate

ah ok. thanks for clarifying. I thought there was some issue about not being able to remove threads or something. sorry for the FUD 🙂

Yeah, admins can download the entire list and find these folks near the bottom (most recently joined).

I really wish we had like IRC2 or something

@mattly did you try http://clojurians.zulipchat.com/ ?

Yes I’m there

ah, ok. It’s indeed less busy than Slack…

“Group Chat for Work” and “Public Chat for a topic” have entirely different needs

Slack aims for the former

yeah, highly synchronous IMO

@micha haha

>"off-topic emergency" my old band

how you doin'? haven't seen you in awhile

@devn the dude abides! how's the life?

p. good

so what's all this i hear about prepls and taps and all kinds of awesome new clojure stuff?

just catching up, so many interesting things

For the curious, although we have permissions locked down on @-ing groups, there's a known bug Slack will not fix that allows you to override this client-side if you tinker with the JS in your debugger 😞 Anyways, follow-up to #slack-help and/or #community-development at this point.

@micha I'm using REBL in my everyday workflow now, it's nice to be able to visualize and drill-down into arbitrary data structures alongside my editor.

oh cool, i haven't tried it yet

by binary you mean like hexdump?

binary?

sorry disregard, my eyes read "binary" instead of "arbitrary", that was weird

REBL uses the prepl internal (and will soon have taps connected up I expect).

> The UI is written in JavaFX

nice! i'm just working on a javafx thing, so far really enjoyable

i’m looking to learn more about javafx too

@micha are you running on JDK 11?

i'm on 1.8 currently, but i was thinking about making the upgrade soon

ahh

@seancorfield and you?

i don't think it will be a huge deal, do you?

which JDK are people using here?

@micha JDK 11 removed JavaFX from the base distribution, so you’ll have to download separate JARs

but the API is not substantially changed, right?

afaik, that’s correct

it looked to be pretty compatible, but it's hard to tell, a lot of things going on in there

yeah, with tools.deps, i guess it shouldn’t be too painful to add new jars

i’ve been playing around with Kawa Scheme

haha i tried that too

they have the fx stuff in there

but i found it really easy to use from clojure

still just a toy but my experimentation is so far pretty fun: https://github.com/hoplon/hoplonfx

darnit, I got a ping and thought someone cared about me... but no.

@duncanmak We're on 8 -- we have some legacy software that won't run on 11 yet.

ahh

what kind of issues are you having with moving to 11?

With the latest clj/`tools.deps` you can specify dependencies for JavaFX components and it will handle it properly. There was a bug preventing that before.

@micha We rely on a few libraries that have not yet been made compatible with JDK 11 but the main problem for our legacy (non-Clojure) apps is that we're stuck on an old version that doesn't run on JDK 11 and newer versions break things in our app that we can't change easily. Luckily, we're retiring most of them within a month or two 🙂

sounds like a lot of work, i hope this isn't the new normal for java

For Java 8 JavaFX a pain because OracleJDK includes it but OpenJDK doesn't and I haven't found a compatible download of it...

@micha It was Java 9 that caused nearly all the breakage. 10 and 11 weren't too bad after that.

i see