This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2018-12-19
Channels
- # adventofcode (44)
- # announcements (2)
- # aws (9)
- # beginners (166)
- # braveandtrue (16)
- # calva (170)
- # cider (14)
- # cljdoc (9)
- # cljs-dev (4)
- # cljsrn (1)
- # clojars (1)
- # clojure (150)
- # clojure-dev (15)
- # clojure-europe (4)
- # clojure-india (3)
- # clojure-italy (93)
- # clojure-nl (18)
- # clojure-serbia (1)
- # clojure-spec (5)
- # clojure-uk (45)
- # clojurescript (54)
- # cursive (19)
- # data-science (8)
- # datomic (83)
- # emacs (6)
- # events (1)
- # hoplon (3)
- # hyperfiddle (3)
- # jobs (6)
- # jobs-discuss (1)
- # klipse (1)
- # lein-figwheel (6)
- # leiningen (15)
- # lumo (1)
- # nrepl (1)
- # pedestal (15)
- # re-frame (48)
- # reagent (4)
- # reitit (2)
- # remote-jobs (1)
- # rum (2)
- # shadow-cljs (111)
- # spacemacs (10)
- # sql (16)
- # testing (10)
- # tools-deps (5)
What’s the TLDR? Trying to understand the abstract… Is it using dependent types to describe wireformats and generate provably correct parsers for them from the types?
Also https://github.com/dhall-lang/dhall-lang is quite interesting
I find it frustrating how many configuration languages accidentally (and almost immediately) become turing complete
it is… but it’s pretty damn useful too 🙂
Morning
@alex.lynham As you were asking about laptops, I’ve used Mac book pros, dells and Thinkpad laptops for the last 10 years and Thinkpads have given me the best overall experience by far. With my own money, I would only buy a Lenovo Thinkpad. - keyboard is the best I have ever used on any laptop, especially when touch typing. - have very good battery life, especially for their weight. Some models have external batteries and second batteries that can be added for longer life (e.g x200 range) - wide range of models and specs to choose from and latest Carbon X1 Extreme supports 32Gb RAM (If buying new, I recommend selecting lowest spec model you want and upgrading components, this avoids paying ~£70 for Microsoft Windows professional edition) - Thinkpads have much higher build quality than all other laptops, which is why they last so long (some of the cheaper Lenovo laptops are not the same though, so stick with the Thinkpad range) - runs Linux without any problems (lots of people use Thinkpads with Linux, so any issues are quickly fixed) - most models come with 3 year warranty and they will repair your laptop for free at your home or office (they can afford this because they rarely go wrong) - spare parts are widely available at reasonable prices for outside the warranty. - there are lots of good quality second hand or refurbished Thinkpads available are very reasonable prices
> there are lots of good quality second hand or refurbished Thinkpads available are very reasonable prices I had not considered this point
yowza you can pick one up cheap https://www.ebay.co.uk/itm/Lenovo-ThinkPad-X1-Carbon-Ultrabook-i7-2-6Ghz-5th-Gen-CPU-8GB-180GB-SSD-Full-HD/202541563627?hash=item2f286afeeb:g:xd4AAOSwqnVcF8Xq:rk:6:pf:0
Ooooo, I might get on of those myself....
needs a ram upgrade prob, but for £400.... that's a great on-the-go linux machine
5th gen
so will still drive a large monitor iirc
8Gb ram is what I have for my 3rd Gen laptop and haven’t had any problems running out of memory (once I managed my chrome tab habit with The Great Suspenders plugin). Recommend emailing the seller about upgrading ram to see if there is a slot free, should you want too.
is that a thinkpad 3rd gen?
seems like on the carbon models the ram is often not upgradeable
tbf my 2013 MBP is 8GB and I've not had an issue being productive
(I know, I know, look, it’s 2 days to Christmas break and I just haven’t got bigger problems right now)
> …how would you mod it to look slightly less awful? mod what?
Mod Thinkpad. It looks awfully rubbery. After poking around I found out that recent thinkpad yoga look all right-ish, but it’s 13'‘ and the ones with i7 cpu have a price roughly equal to a 2015 used 15’' mbp ¯\(ツ)/¯
(I have used a thinkpad in corporate past and it was a solid brick, very reliable for the time but entirely uninspiring)
mmm that's yoga/thinkpad yoga not thinkpad carbon though?
Just curious, did anyone else watch the talk by Polis at the conj yet? Curious to know people’s perspectives if they did…
Yes, I thought it was very interesting. I'd have to dig up my notes for more detail.
My notes on that talk are less than brief 😞 I think I listened a lot, was fascinated, but overall I didn't have any takeaways from it, at least from a technical p.o.v.
I was impressed that they managed to break the gridlock on some contentious public policy issues tho'...
It made me wonder what it would have made of Brexit 🙃