@krismicinski Can I recommend ?

@Yuchenj_UW @VictorTaelin De gustibus.

A whole bevy of @SetonHall students and alumni hacking during the break at NJPLS. Fodder for talks at the next one!

RT @Keleesssss: @lastland0 Personally experienced and heard: - Bloomberg - AWS - MSR - Galois - Trail of Bits - A small number of teams at…

RT @lastland0: What places are hiring PL students for summer interns?

@4ngerman Before you dive back in? Yeah, make sure you use Mitsuharu's Mac port, if you didn't before.

RT @ShriramKMurthi: Computing education by non-CS Ed folks: Ben Shapiro (the good one) and I are ready for the second run of CERAMICS (Comp…

@lambda_calculus What you actually probably want is something in the yaml-mode-hook to do exactly that, though.

@krismicinski I had a student who, as a class project, implemented DPLL following the design recipe.

@hellonehha Google Reader (RIP)

If you all are jumping ship, I'm down to leave.

Tee hee.

I'm really curious about a thing called "Quantum Prolog" but I can't make heads or tails of this

@krismicinski Whether or not it's true now, for a good chunk of history many humans' rôle was to be an expert at reasoning or some mechanical process.

RT @owickstrom: I'll be looking for work soon! Starting early next year, remote from SE. Autonomous testing, distsyst, web, data eng, PL, a…

It's interesting enough that I'd consider wholesale adopting NotebookLM if I trusted @Google to keep it around for more than 6 months.

RT @haskellhutt: FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Fun…

@haskellhutt I want one!

RT @Jose_A_Alonso: #MULCIA: PhD position in Computing Science focusing on automated verification and debugging of numerical programs. https…