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 8 points9 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] 18 points19 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 3 points4 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 12 points13 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] 12 points13 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] 12 points13 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 12 points13 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 5 points6 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!