This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
- # announcements (1)
- # atlanta-clojurians (1)
- # beginners (198)
- # calva (4)
- # cider (16)
- # clara (8)
- # cljs-dev (14)
- # cljsrn (4)
- # clojure (204)
- # clojure-europe (3)
- # clojure-gamedev (2)
- # clojure-italy (8)
- # clojure-nl (17)
- # clojure-poland (3)
- # clojure-russia (20)
- # clojure-spec (32)
- # clojure-uk (45)
- # clojurescript (59)
- # community-development (1)
- # core-async (25)
- # cursive (20)
- # datomic (47)
- # emacs (7)
- # fulcro (8)
- # iot (1)
- # iotivity (2)
- # jobs (1)
- # jobs-discuss (8)
- # juxt (11)
- # luminus (5)
- # nrepl (4)
- # off-topic (136)
- # onyx (24)
- # other-lisps (1)
- # parinfer (74)
- # pedestal (1)
- # planck (3)
- # portkey (67)
- # random (1)
- # re-frame (28)
- # reagent (11)
- # reitit (9)
- # remote-jobs (3)
- # ring-swagger (2)
- # rum (3)
- # shadow-cljs (96)
- # slack-help (3)
- # spacemacs (6)
- # tools-deps (3)
- # unrepl (1)
- # vim (4)
Anyone knows if http://ergoemacs.org/emacs/command-frequency.html exists for IntelliJ?
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.
That's what I've heard as well, that it's not ready for production. Some people (most coming from haskell) mention Agda as a better alternative. I'm still torn between no types vs a very strict type system (with strong type inference), i.e. clojure vs one of the above 3, not sure which way to go!
Ah, TIL, had no idea that there's a formalization for the absense of types as well
I found that actually writing proofs in Idris can be a right pain, as sometimes the compiler takes a lot of convincing that something is the case
I dont know much about formal verification, but want to try to verify some code we use at work that's difficult to test
Also where SASL came from -- and then Prof Turner went on to create KRC and Miranda.
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.
It's a spammer causing issues on several channels. Hopefully will be dealt with shortly.
User deleted. In a meeting, can't do more now, please feel free to PM me if it starts again.
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
That seems like a very bad and potentially legally troublesome design decision on their part
Hmm, that doesn't square with what I just saw; a couple messages just got deleted from the announcements Slack cross-post thread, there
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
I'm not sure how useful it is directly, unfortunately, but it can still differentiate users from their impersonators, at least...
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).
so what's all this i hear about prepls and taps and all kinds of awesome new clojure stuff?
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.
@micha JDK 11 removed JavaFX from the base distribution, so you’ll have to download separate JARs
it looked to be pretty compatible, but it's hard to tell, a lot of things going on in there
still just a toy but my experimentation is so far pretty fun: https://github.com/hoplon/hoplonfx
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 🙂
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.