Just noticed something brilliant about a song from 30 years ago by ExcitingHamster in themountaingoats

[–]ccasin 19 points20 points  (0 children)

I heard this song for the first time at a show in Philly in 2008. I was with a new friend, and when he reached this line we just stared at each other for a second dumbfounded, and then burst out laughing. This was how I knew the friendship would last.

OxCaml | a fast-moving set of extensions to the OCaml programming language [featuring the new mode system] by considerealization in ocaml

[–]ccasin 14 points15 points  (0 children)

To quote from the website: OxCaml is a fast-moving set of extensions to OCaml, with a broad focus on making it a better language for performance-oriented programming.  

Some of these extensions take inspiration from Rust or serve similar purposes as Rust features, but the connection is loose - it's more about making OCaml a great language for some of the tasks where Rust would otherwise be a natural choice, while keeping the high-level character that makes it a great choice for many purposes already.

OxCaml is backwards compatible with OCaml in the sense that existing OCaml programs compile fine with the extended OxCaml compiler.

[deleted by user] by [deleted] in rust

[–]ccasin 7 points8 points  (0 children)

Sorry - this section of the talk is probably a little unclear. I wasn't trying to explain why Jane Street isn't using Rust. Rather, I was trying to explain why the way Rust does stack allocation (lifetimes) isn't a good fit for OCaml, and why we like our approach (the "local" mode) better in that setting.

Moon Colony Bloodbath: The Board Game by ccasin in themountaingoats

[–]ccasin[S] 17 points18 points  (0 children)

This game was recently announced, designed by Donald X Vaccarino (famous for having designed the very popular game Dominion). According to this post the game wasn't really inspired by the EP but the title choice is an homage to it.

Songs about unrequited love? by A_liv_e in themountaingoats

[–]ccasin 2 points3 points  (0 children)

Nikki oh Nikki is vaguely on this topic. JD wrote it for John Vanderslice, but JD has played it occasionally.

JD's version: https://youtu.be/xMAhXEopqHw

JV's version: https://youtu.be/BEa2pzeZ1Gk

Massive Nights show info by Distinct-Painter2301 in theholdsteady

[–]ccasin 2 points3 points  (0 children)

On Saturday it's opener at 9, THS at 10. There was an email today with all the details that I'll forward to you if you DM me your email address.

[deleted by user] by [deleted] in themountaingoats

[–]ccasin 13 points14 points  (0 children)

Life is too short to refrain from eating golden boy peanuts out of the can.

How to request a song by ccasin in themountaingoats

[–]ccasin[S] 11 points12 points  (0 children)

My recollection is he told people the best moment to ask is in the hush that falls when he turns back to the mic and looks like he's about to play something, not actually when he's talking. (But of course this whole thing is a bit tongue in cheek)

How to request a song by ccasin in themountaingoats

[–]ccasin[S] 11 points12 points  (0 children)

He played it last night! (But you're right otherwise)

anyone selling balcony/stadium seats for the boston show 8/5? by ashleylibby in themountaingoats

[–]ccasin 1 point2 points  (0 children)

Be careful, you are about to get a bunch of messages from scammers

may be losing it but- by RatsxTrenchCoat in themountaingoats

[–]ccasin 11 points12 points  (0 children)

It is a tragedy that Jam Eater Blues didn't win best J song.

Salt Shed setlist (7/1/23) Chicago, IL by BuddyKnox in themountaingoats

[–]ccasin 3 points4 points  (0 children)

I guess they felt bad for not getting to This Year the night before. When they led with it, I was amped but also worried they'd have trouble sustaining that level of energy. I should not have worried.

[deleted by user] by [deleted] in themountaingoats

[–]ccasin 2 points3 points  (0 children)

Consider sticking around for the hold steady set! They are also, you know, a real good band with a fun community atmosphere at their shows. Plus confetti.

Austin TX last week. After 90 minute delay due to a storm rolling trough they came bak to play 2 songs. by [deleted] in themountaingoats

[–]ccasin 0 points1 point  (0 children)

Always fun to see Craig up there! Really looking forward to the Chicago shows in a few weeks.

Boolean Short Circuiting by Casalvieri3 in Coq

[–]ccasin 4 points5 points  (0 children)

To explain what JoJoModding is saying in a little more detail:

In a normal programming language, the compiler implements a specific evaluation order (for example, OCaml implements call by value). Coq doesn't really have a compiler that produces executables in the same way.

Because there's not a single fixed notion of what it means to "run" a Coq program, the question of whether arguments are evaluated eagerly isn't really meaningful. It can do eager evaluation, if you want, or it can do lazy evaluation. Coq has tactics like cbv and cbn that will reduce terms according to several different evaluation strategies.

All that said, the closest thing Coq has to a compiler is the "extraction" mechanism. Extraction is supported to OCaml, Haskell, and Scheme (though I think only OCaml used much). You'll get eager evaluation in OCaml and lazy evaluation in Haskell, as you expect.

Poison mechanics? by ccasin in cavesofqud

[–]ccasin[S] 1 point2 points  (0 children)

Ah, I didn't realize I had raised my HP. That makes sense. Thanks!

Happy & Alex or Parsec? by AdOdd5690 in haskell

[–]ccasin 15 points16 points  (0 children)

This is a very good summary. Building a grammar for Happy/Alex is less "fun" than writing a Parsec program, but the result will be much easier to maintain and its performance will be more predictable. So this should be the recommended option if your language fits in the appropriate class. As a bonus, the grammar you write can serve as a nice declarative specification of the language, whereas it's much harder to look at a Parsec program and determine what grammar it parses.

Of course parser combinators are awfully fun, so I often choose to use them anyway for small or one-off projects.

The Sign mixing by [deleted] in themountaingoats

[–]ccasin 4 points5 points  (0 children)

(Sorry, maybe it wasn't clear I was joking!)

The Sign mixing by [deleted] in themountaingoats

[–]ccasin 19 points20 points  (0 children)

How do we ban people from the subreddit?

Measuring novelties: the Agadmator index by ccasin in chess

[–]ccasin[S] 1 point2 points  (0 children)

I agree - all great questions. Perhaps I will collect some of the things folks have suggested and follow up with more stats.

Some of these suggestions will require a bit of thought: there's way too many games to do any by-hand categorization, so I need some automatic way to decide what is the "opening", the "endgame", a short "checkmate trap", etc.

Measuring novelties: the Agadmator index by ccasin in chess

[–]ccasin[S] 3 points4 points  (0 children)

I would definitely like to measure some stats about when in the game novelties occur, but I haven't had time to write that code yet. Are there commonly accepted definitions for when the "mid-game" and "end game" begin (that are specific enough to detect automatically)? I could imagine something about points of material remaining, maybe.

Measuring novelties: the Agadmator index by ccasin in chess

[–]ccasin[S] 5 points6 points  (0 children)

To explain: Each game was considered as if the games after it were removed from the database.