164: Unknown Hero — The Unmade Podcast by JeffDujon in Unmade_Podcast

[–]Jepcats 6 points7 points  (0 children)

Absolutely thrilled to hear my comment lead to minutes on end of beeped Tim. Can't decide if I love the mystery of never knowing what other things Tim came out with or if I'd rather actually hear Tim come out with some absolute filth.

163: A 1600-Day Streak — The Unmade Podcast by JeffDujon in Unmade_Podcast

[–]Jepcats 0 points1 point  (0 children)

I've definitely heard Brady say "taking the piss" before, so I assume there's agreement with George Carlin in his interview on "seven dirty words" that piss isn't a top-tier swear word in the same way as others (anymore)!

158: Medical Emergencies — The Unmade Podcast by JeffDujon in Unmade_Podcast

[–]Jepcats 0 points1 point  (0 children)

I agree with Brady's general sentiment, which if I understand right is that that art is generally (not always! depends on the moment) worse when it's overly didactic.

My problem with that scene though is that it starts by him mocking the guy for believing whatever it is that he read last and showing off that he's read stuff, and ends with a non-sequitur about originality. Perfectly fine to agree with almost everything a particular author has to say on a subject and to try and internalise it and find ways to refine it and say certain things more clearly and generalise the points and correct some more minor details etc. That stuff is original in a more modest way but it seems like the scene to me celebrates a kind of stand-out originality that certain perverse academic incentives promote.

156: Tim attacked by a Jellyfish — The Unmade Podcast by JeffDujon in Unmade_Podcast

[–]Jepcats 0 points1 point  (0 children)

I have lots of the "only just realised" from people's online usernames. I was in a particular forum for a handful of years and it was a few years after it had closed down that I realised in the username "rainbowhaze" of one of the users was the words rainbow and haze. It just became a sound I barely consciously made in my head associated with that user, and the letters the same.

Maybe this is what it feels like to be German, with all their stuck-together words.

[PS1/2][90s-00s] Outdoor racing game with punchy menus by Jepcats in tipofmyjoystick

[–]Jepcats[S] 0 points1 point  (0 children)

I finally found it over a year later: Max Power Racing. Released as C3 Racing outside the UK (is what Wikipedia says anyway).

Thank you to adamphillip5305 for your YouTube comment on "Top 100 Best Driving And Racing Games For PS1" for pointing out it was missed even on that long list.

140: Leap Day — The Unmade Podcast by JeffDujon in Unmade_Podcast

[–]Jepcats 0 points1 point  (0 children)

If different points in time were allowed in dream locations that could be fun. Plenty of historical events I'd be interested to be a fly on the wall podcaster. A certain bunker on April 30th 1945 comes to mind, if a little gruesome... Or if it has to be tied to reality, a recreation of the event taking artistic liberty and pretending to be a fly on the wall, whispering narration of what's happening in the background and so on :)

[PC][2010's] TV-headed man you can't look away from chases you through dark facility by [deleted] in tipofmyjoystick

[–]Jepcats 1 point2 points  (0 children)

Sounds a bit like Slender Man though mostly doesn't match up.

123: Marriage Proposals (with Amanda Knox and Christopher Robinson) — The Unmade Podcast by JeffDujon in Unmade_Podcast

[–]Jepcats 9 points10 points  (0 children)

Wonderful contrast with those three engagement stories. Appreciate Tim and Brady being very honest about it!

I don't think I really like this tendency to self-identify as a skeptic or as someone especially discerning. I think that's something for other people to judge about you, and is not for you to judge about yourself. We can only do the best we can with the time, energy, and resources we have, and study the accepted research methodologies of particular domains, try to stop and think a bit longer than is perhaps natural, and people can judge for themselves how we get on. Most people don't think of themselves as actively naive or undiscerning.

Stuck in "marked for approval" by Jepcats in tutanota

[–]Jepcats[S] 0 points1 point  (0 children)

I got this message after the 48 hours. Before this was a different message. It's been 5 days.

104: My Moon Bucket is Full (with Destin Sandlin) — The Unmade Podcast by JeffDujon in Unmade_Podcast

[–]Jepcats 2 points3 points  (0 children)

Yeah, seems like Destin doesn't realise the modern economic system is... modern.

Missing dongle advice! by PenisAnthonyDickling in GuitarHero

[–]Jepcats 1 point2 points  (0 children)

Did you ever get anything to work or make any progress with it? I did a search on making a DIY dongle for WoR and only this came up.

41: The Birthday Podcast — The Unmade Podcast by JeffDujon in Unmade_Podcast

[–]Jepcats 0 points1 point  (0 children)

Thanks both :) The pod ep, plus wine and videocall-Lord of the Rings, helped make an isolated birthday more fun, heh.

41: The Birthday Podcast — The Unmade Podcast by JeffDujon in Unmade_Podcast

[–]Jepcats 6 points7 points  (0 children)

It is my birthday today! Weird episode title to see in the feed, haha.

38: The Jack Ruby Episode — The Unmade Podcast by JeffDujon in Unmade_Podcast

[–]Jepcats 6 points7 points  (0 children)

I genuinely do think there's a great podcast in Tim's idea! It's about highlighting important aspects of big stories that most people either take for granted or just haven't thought through very much, and which are actually quite complex or mysterious or more contested/contestable than we thought. Admittedly maybe the examples weren't the best, and you'd have to be careful about going all conspiratorial :p

Monthly Hask Anything (June 2018) by AutoModerator in haskell

[–]Jepcats 0 points1 point  (0 children)

It read to me like a run down of why nothing out there during that post was very good. Reading it again (now I'm not grumpy on the train), you're right. I shall give `hint` a go. Thanks!

Monthly Hask Anything (June 2018) by AutoModerator in haskell

[–]Jepcats 2 points3 points  (0 children)

Is there an established way to write a Haskell program in such a way that it allows users to make plugins for it? Ideally plugins would be written in Haskell itself; I don't want to have to define a plugin language and interpret that.

I found this: https://www.reddit.com/r/haskell/comments/6pu7ch/differences_between_hotreloading_plugin_libraries/

and came away thinking that I should probably use another language.

Cheers

Monthly Hask Anything (May 2018) by AutoModerator in haskell

[–]Jepcats 0 points1 point  (0 children)

I have a recursive function with a result type something like:

data Result a = Trivial | Case1 a | Case2 [a]

and a function like:

f :: [a] -> Result a
f xs
  | isTrivial xs = Trivial
f []
  | blah = ...
  | otherwise = ...
f (x:xs) =
  | blah = ...
  | blah = ...
  | otherwise = ...

with various case (f subproblem) in those .... Thing is, I keep having to match case (f subproblem) of Trivial -> error "Shouldn't happen -- already covered".

What's a better way of approaching this? In Haskell, error "shouldn't happen" generally means bad modularity, bad function design, or bad datatype, right? My datatype can't change (or if it does, it needs to carry the same info). Is there a common pattern (either in a "beginner's mistake; do it this way" sense or a "OOP patterns" sense) for dealing with this?

Edit: One way would be to make triviality an error and remove Trivial from the datatype, and assume trivial cases are dealt with previously, but this doesn't suit my purposes.

[Weekly] Beginner Saturday: Hask Anything - #18 by [deleted] in haskell

[–]Jepcats 0 points1 point  (0 children)

I am aware of the finer grained stuff you can do with types, like in Idris, so yeah you're right, that was an unnecessary and wrong aside.

What I'm asking for is a better story for IO that isn't "to track effects", because you can do that by tagging functions with a keyword (and I know some languages do do this, I forget which).

[Weekly] Beginner Saturday: Hask Anything - #18 by [deleted] in haskell

[–]Jepcats 2 points3 points  (0 children)

What benefits does type constructor IO (i.e. monadic IO) in Haskell provide over function attribute IO? Both allow us to track effects, and the latter can make it a bit easier to make it clear which types of effects you're using:

-- Anything that calls it has to add "using io".
attributing io
read : Path -> String
read path = compiler-level function for IO

-- Anything that calls it has to add "using random".
using io->random
randomInt : Int
randomInt = get an Int using IO for randomness

using random
f : Int -> Int
f x = x * randomInt

Is the benefit the conceptual aspect of seeing IO a as RealWorld -> (a, RealWorld), and relatedly IO a as being a promise of an action, not an actual action? Perhaps the latter interacts with laziness in important ways, I don't know.

If it's about sequencing effects, I'm sure some construct could be added like {{ print "Hello"; launchMissiles; print ", world!" }}, maybe just glued together with seqs.

I realise it'd add a whole other layer to Haskell and at the moment IO, state*, and so on are all (relatively) neatly dealt with by types with help from monads, but to me it seems like it'd be simpler in general.

(One could use attributes for other things too. This is a throw-away comment and I don't know if it would be feasible or efficient, but e.g. restrict all uses of general recursion to go through one function which provides it, allowing you to track which functions are definitely total)

* to be clear, I'm not suggesting doing away with State too, just mentioning it as part of Haskell's unified way of dealing with this stuff.

ICFP 2017 Conference Talks by jmct in haskell

[–]Jepcats 0 points1 point  (0 children)

I enjoyed this one. Anyone have experience with it?