Let’s Face It by The Mighty Mighty Bosstones
The Mighty Mighty Bosstones’ 1997 masterpiece Let’s Face It represents the absolute peak of third-wave ska’s mainstream crossover potential. This album took the Boston band’s distinctive “skacore” sound—a ferocious blend of ska, punk, and hardcore—and refined it into something both accessible and uncompromising.
Built around the massive hit “The Impression That I Get,” the album showcases the Bosstones at their most confident and cohesive. Dicky Barrett’s gravelly vocals and Tim Burton’s tie-wearing stage presence became iconic, while the band’s eight-piece lineup created a wall of sound that was simultaneously raucous and tight. The rhythm section locked into ska’s characteristic upstroke with punk’s driving intensity, while the horn section added layers of melody and chaos.
Beyond the radio-friendly opener, tracks like “The Rascal King” and “Nevermind Me” demonstrate the band’s range, moving from political commentary to personal introspection without losing their essential energy. “Royal Oil” and “Break So Easily” showcase their ability to slow things down without sacrificing emotional impact, while “Numbered Days” brings back the full-throttle assault that made them legends in the underground.
The album’s production, handled by Paul Q. Kolderie and Sean Slade, captures the band’s live energy while giving each instrument room to breathe. The result feels like being in the middle of a sweaty ska pit while still being able to appreciate the sophisticated songcraft underneath the mayhem.
Let’s Face It went platinum and helped define an era, but more importantly, it stands as a testament to a band that never compromised their vision even as they conquered the mainstream.
Listen to Let’s Face It on Tidal
Donald Fagen’s 1982 solo debut The Nightfly stands as one of the most sophisticated and immaculately crafted albums of the early 1980s. Coming off the dissolution of Steely Dan, Fagen channeled his obsession with jazz harmony, pristine production, and wry social commentary into a deeply personal yet universally resonant work.
The album functions as both nostalgic reverie and sharp-eyed critique, with Fagen drawing on memories of late-night radio, Cold War paranoia, and the optimistic futurism of the early 1960s. From the opening title track’s smooth groove to the closing melancholy of “The Goodbye Look,” every song showcases Fagen’s gift for wrapping complex emotions in deceptively accessible melodies.
Standout tracks like “I.G.Y.” (International Geophysical Year) and “New Frontier” perfectly capture the album’s central tension between technological promise and human frailty. Fagen’s vocals, delivered with his characteristic detached cool, float over arrangements that are both lush and precise, featuring contributions from jazz luminaries like Chuck Rainey and Jeff “Skunk” Baxter.
The production, handled by Fagen with Gary Katz, remains a high-water mark for early digital recording techniques. Every instrument sits perfectly in the mix, creating a sonic landscape that feels both intimate and expansive.
The Nightfly endures not just as a technical achievement, but as a meditation on American dreams deferred and the bittersweet passage of time.
Listen to The Nightfly on Tidal
Aja represents Steely Dan at their absolute peak—a masterclass in studio perfectionism that elevated the craft of record-making to high art. Released in 1977, Donald Fagen and Walter Becker’s sixth album stands as perhaps the most sonically immaculate recording of the rock era.
The album’s seven tracks unfold like a series of meticulously arranged vignettes, each one a testament to the duo’s obsessive attention to detail. The title track alone features some of the most sophisticated jazz-rock fusion ever recorded, with Chuck Rainey’s bass work and Steve Gadd’s drumming providing the foundation for layers of pristine instrumentation.
“Peg” became their biggest hit, built around a groove so infectious it masks the underlying harmonic complexity. Meanwhile, “Deacon Blues” serves as perhaps their greatest achievement—a wry meditation on romantic failure wrapped in lush orchestration and punctuated by Pete Christlieb’s unforgettable saxophone solo.
What sets Aja apart isn’t just the technical excellence, but how Fagen and Becker’s cynical worldview finds perfect expression in the album’s polished surfaces. These aren’t songs about transcendence or rebellion, but about the quiet compromises and small defeats of middle-class American life, delivered with wit so sharp it cuts.
The production, handled by Gary Katz, remains a benchmark for clarity and depth. Every element sits perfectly in the mix, from the intricate guitar work to the sophisticated vocal arrangements. It’s music for audiophiles that never sacrifices emotional content for sonic perfection.
Aja endures because it captures something essential about American sophistication—beautiful, knowing, and slightly hollow at its core.
The over-arching recommendation I have for a clean and quick Rocq install is:
opam
installed (and properly initialized), just run opam install coq.9.0.0
opam
support for Windows natively is very new and relatively buggy. You might find yourself up against cases of “sorry you just can’t do that on Windows with opam currently”wsl
Navigate to some folder you care about putting the Rocq code in:
cd ~/Rocq/2025/lf # navigate to folder
code . # Launches vscode
From there, make sure you have the right Rocq extension installed (see below)
Use VSCode… alternatives exist, but they are not well-supported or have hardly any features.
In particular, I use the coq-lsp vscode extension.
Others also have great success with vsrocq.
Both will involve you using opam
to install a language server. Thus, the importance of using opam.
Try searching online, it might be a common issue with a fix. Otherwise, come to office hours.
The first week of classes is underway! Here are a few important updates and reminders:
Make sure you have Coq (now called Rocq) installed and working. You can use:
The first homework assignment covering Basics.v
and BasicsTest.v
is
tentatively assigned Monday, August 25th. Remember:
Basics.v
file through CanvasDon’t forget that office hours are MW 2:50-4:00 in 3048 Eaton Hall, or by appointment. Please don’t hesitate to come by if you’re having trouble with the proof system or course concepts.
Good luck with your first week!
In fact a proven truth, to be precise, is not a truth at all - it’s just the sum of proofs. ~Joseph Brodsky, Homage to Yalta
Welcome to the course website!
Here you’ll find all the resources you need to stay up to date and successfully navigate this semester — from lecture notes and homework assignments to announcements and helpful links.
Please check back frequently for updates, and don’t hesitate to reach out if you have any questions. We’re looking forward to a great semester together!