off-topic 2018-04-28 | Slack Archive

I need a language with Clojure's repl and OCaml/Haskell's type system.

👍 8

Those two are mutually exclusive. What happens when you say a function takes a int, but then redef it to take a string?

Say we redefine function FOO. FOO has a dependency list of "all functions that transitively depend on FOO." ALl functions on that list are re-type checked when FOO is redefined. Which should cause a type error to be thrown.

akiroz06:04:41

My personal 2c on the topic of earphones... If your ears are "compatible" with triple-flanged eartips and you're comfortable with sticking something near the 2nd bend of your ear canal then etymotic has the best earphones for noise isolation and sound quality. I use them during my commute everyday

akiroz06:04:33

Pretty sure I've seen someone do a talk on OCaml hot-reloading and repl development long time ago....

borkdude10:04:48

@akiroz do you have a link to such a product?

dominicm10:04:59

just as a note, because it's commonly missed, noise isolation != noise cancelling

borkdude10:04:45

good point

gklijs11:04:43

https://m.thomann.de/nl/etymotic_hf5_black.htm seems like it, they look a lot like professional earplugs.

borkdude11:04:38

I have similar earphones right now, but the trouble with those is earwax

akiroz11:04:33

@borkdude I'm using the hf5's right now and I actually prefer them over noise-cancelling headphones because it's got better attenuation for high frequency ranges but less low frequency attenuation, you'll still hear engine hum on the back row of a bus

akiroz11:04:13

My guess is that active noise cancellation is hard for high frequencies due to processing latency....

akiroz11:04:02

I suppose one could wear both to get the best results 😛

dominicm19:04:55

Can anybody recommend anything to get to grips with automata?

dominicm19:04:57

I'm trying to build up to finite state automata/transducers from combining a number of arbitrary regex.

qqq20:04:46

@dominicm: Introduction to Automata Theory, Languages, and Computation / hopcroft / motwani / ullman is the standard reference

dominicm20:04:53

Great, I was hoping to see an endorsement of that. I'll order it now. Thanks!

dominicm08:04:08

> To make best use of this book, students should have taken previously a course covering discrete mathematics, e.g., graphs, trees, logic, and proof techniques. I fear my lack of CS degree is going to start showing

qqq09:04:45

I've read the book, all what it really needs is "proof techniques"

dominicm11:04:09

it's covering the proof techniques anyway it seems, although I expect it will get harder

dominicm11:04:50

I don't formally know any set theory, but reasoning about clojure.set seems to work

qqq20:04:16

https://lagunita.stanford.edu/courses/course-v1:ComputerScience+Automata+SelfPaced/about <-- never tried this myself, but may be of interest, it's by Ullman, one of the authors of the book.

john14:05:38

It gets a lot of heat, but "A New Kind of Science" also sheds automata in an interesting kind of light

john14:05:50

wrt class 1, 2, 3 and 4 automata

john14:05:40

It's not so much a text book though

2018-04-28

Channels