jeremysiek.bsky.social
@jeremysiek.bsky.social
Reposted
Project 2 in my compilers class has students build a compiler from a tiny straight-line arithmetic language to x86-64--includes nice debugging server to help diagnose faults vs. instructor outputs kmicinski.com/cis531-f25/p...
Project 2: R1 → x86-64 Assembler
Starter code: Download the starter here!
kmicinski.com
September 22, 2025 at 3:19 PM
Reposted
We did it! It's still not ideal (PRs welcome), but it's LIVE:

seancribbs.com/essentials-o...

See you next week, like, subscribe, etc:

www.youtube.com/@seancribbs

#EssentialsOfCompilation #GleamLang @gleam.run
September 7, 2025 at 9:15 PM
Reposted
Vandalism. Disproportionately hits IU over Purdue, prolly because IU is the more "woke" of the two. But it's not even just pursuing non-STEM (which would sadly per usual). There are stats and CS programs on the list. And IU's CogSci, which is both STEM and one of the very best in the universe.
So, here it is. Thanks to a new state law that was NEVER DEBATED, Indiana University has committed itself to abolishing majors in African-American/African Diaspora Studies: American Studies; Art History; French; Italian; Religious Studies etc. DOZENS of majors. www.ipm.org/news-section...
Indiana public colleges cut almost 20% of degrees
Public Indiana colleges and universities have eliminated 19 percent of their degree programs to meet requirements added to the state’s budget, according to the Commission for Higher Education.
www.ipm.org
July 1, 2025 at 1:19 AM
Reposted
Anyone else feeling the heat? 🥵 Join me in about 5 minutes and cool off with more compilers in @gleam.run! We're going to finish selecting x86 instructions for our language with booleans and much more:

youtube.com/live/upRTXxr...

#EssentialsOfCompilation #GleamLang
Essentials of Compilation, in Gleam - Chapter 4.9+: Booleans and Conditionals Passes
YouTube video by Sean Cribbs
youtube.com
June 22, 2025 at 6:26 PM
Verified Nanopasses for Compiling Conditionals (draft)

www.dropbox.com/scl/fi/cac5j...
www.dropbox.com
June 20, 2025 at 7:39 PM
Reposted
Indiana's governor fired all the elected members of Indiana University's Board of Trustees. Given a recent policy change, he'll be able to fill those seats with appointees. Which means he'll basically have unilateral control over IU decisions, including who gets hired, tenured, and fired.
June 2, 2025 at 7:26 PM
Reposted
A federal judge blocked the Trump administration’s plan to dismantle the Dept. of Ed & ordered the reinstatement of employees fired in mass layoffs.

This ruling is, as @rweingarten.bsky.social said, “a first step to reverse this war on knowledge and the undermining of broad-based opportunity.”
Judge blocks Trump's orders to dismantle the Education Department and fire employees
A federal judge has blocked President Donald Trump’s executive order to dismantle the Education Department and ordered the agency to reinstate employees who were fired in mass layoffs.
apnews.com
May 23, 2025 at 3:20 PM
Reposted
I'm a member of AAUP-AFT because my dues fund the lawsuits that fight the fash in court, they fund the staff and the training that help us fight the fash at work and in the streets, and they fund our locals so that we can build power where we are strongest--at work.

If you're in higher ed, join!
At UAM-UMD, it is May Membership Month!

We are asking you to help your union build power by becoming a dues-paying member of @aaup.bsky.social!

Join here: www.aaup.org/membership/j...

(And if you already are, find a colleague to join!)

Why should you become a dues-paying member?

Let's 🧵 this.
Join
See dues rates categories based on your annual academic income. Show your support with a lifetime membership! Please contact [email protected] with any questions.
www.aaup.org
May 15, 2025 at 12:18 PM
The ACLU of Indiana has filed a lawsuit against Governor Mike Braun over the law that changes how members of the Indiana University Board of Trustees are selected.
www.aclu-in.org/en/press-rel...
ACLU of Indiana Sues Governor Braun Over Sections of HEA 1001 That Target Indiana University
Lawsuit claims section of budget bill that changes IU’s board of trustees’ selection process is special legislation, which violates the Indiana Constitution.
www.aclu-in.org
May 7, 2025 at 8:03 PM
Reposted
I have looked over and over but nothing I can find that is public implies this could be anything other than McCarthy-ism. The FBI search did not appear to conclude with anything, the bulk-sum of evidence presented is an issue on a COI form--definitely innocuous? Maybe not, but not worth the response
May 5, 2025 at 9:43 PM
Reposted
Everybody, guilty or innocent, is entitled to due process.
Over 260 faculty, staff urge IU to undo Xiaofeng Wang’s termination
Wang and his wife were fired the same week the FBI searched their homes.
www.idsnews.com
May 3, 2025 at 10:03 PM
Over 260 faculty, staff urge IU to undo Xiaofeng Wang’s termination
www.idsnews.com/article/2025...
Over 260 faculty, staff urge IU to undo Xiaofeng Wang’s termination
Wang and his wife were fired the same week the FBI searched their homes.
www.idsnews.com
May 3, 2025 at 2:43 PM
Reposted
Just Now: a federal judge ruled that our case (AAUP v. Rubio) seeking to block the Trump admin from carrying out large-scale arrests, detentions, & deportations of noncitizen students & faculty members who participate in pro-Palestinian protests can go forward.

@knightcolumbia.org
Federal Court Says First Amendment Bars Government From Deporting Students and Faculty on Basis of Political Viewpoint, Says Challenge to Trump Policy Can Go Forward
knightcolumbia.org
April 29, 2025 at 7:36 PM
Reposted
www.axios.com/local/indian...

I was so lucky to have the caliber of instructors I did at IU. I worry for for future generations of students in Indiana.
Last minute additions to the budget dismantle tenure, take aim at public universities
One Democrat said higher education institutions are "slowly being destroyed."
www.axios.com
April 26, 2025 at 2:00 AM
Reposted
Thanks for attending, especially the new folks! We'll probably start Chapter 4 next Sunday, so don't miss out (like, comment, subscribe, you know the drill):

www.youtube.com/@seancribbs

#EssentialsOfCompilation #GleamLang
April 21, 2025 at 8:28 PM
Reposted
indianapublicmedia.org/news/u-profe...

Man I sure don't like the look of this for IU. I know nothing but what's said in the article, of course. I think, however, it will make it harder to recruit top tier talent in the future. A shame.
IU professor investigated for alleged violation of ‘intellectual diversity’ law
An Indiana University professor is under investigation for an alleged violation of Indiana’s “intellectual diversity” law.
indianapublicmedia.org
April 19, 2025 at 12:42 AM
Reposted
👀 Oleg Kiselyov's compilers course in OCaml 👀

okmij.org/ftp/tagless-...
Compiler
The materials for the course on compilers: built incrementally and fully in tagless-final style
okmij.org
April 5, 2025 at 6:14 AM
Reposted
To paraphrase my countryman, Oscar Wilde, a gentleperson is someone who knows how to encode first-order data functionally, but doesn’t.
March 30, 2025 at 8:20 PM
Reposted
Thanks for attending, especially to @jeremysiek.bsky.social for filing the issue and helping on the finer points! Next week we will build an interference graph to help solve "register sudoku". Don't miss it!

youtube.com/live/U72bQ1t...

#EssentialsOfCompilation #GleamLang @gleam.run
March 30, 2025 at 9:02 PM
Reposted
It's that time of year! The submission site for the EGRAPHS Workshop is open!

We welcome talk proposals on published work, in-progress work, real-world applications, and anything in between. Get your 2-6 page abstract in by **April 17 AoE**!

More details here: pldi25.sigplan.org/home/egraphs...
EGRAPHS 2025 - PLDI 2025
Research in the EGRAPHS Community has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via eq...
pldi25.sigplan.org
March 24, 2025 at 4:32 PM
Reposted
Today was my last paid working day at Chalmers. I sat alone in the coffee room and thought that we should do better when professors retire. There will be a thank you “fika” later though. And I did have a nice lunch with the deputy president of Chalmers, who gave me my Diploma for the Equality prize.
February 28, 2025 at 3:01 PM
Reposted
One week today is the deadline for expressing your interest to attend Programming Language Implementation Summer School (PLISS) -- we have a great program, if I do say so myself! pliss.org/2025/
January 14, 2025 at 11:03 AM