Reviewer C, you mentioned that the explanation was hard to read but your heatmap shows you didn't look at the typing rule for fixpoints. Maybe looking at that part of the paper would help

Liquid haskell starter in 2012 btw

Programming languages researcher reacts to "30 Years a Virgin"

every time you don't use ai i drink 1000 glasses of water to make up for it

The only time I was this angry was when I discovered how you do error handling on go

you think that's bad? look at the one I got

Bon nadal

People keep asking me to look at their statement of purpose and every time it sucks balls

Okay chat do I have to actually watch the rust video?

Once I start studying LLMs all these companies are going to be cooked

How do I get AI psychosis?

Anglos for some reason decided to call "senape" "mustard" So now they have to live without knowing what's "mostarda"

Just ignore the icfp deadline bro

I feel 0 motivation to work, the interesting part is already done

wrapping a gift is straightforward, it's just return ; however, when it comes to unwrapping, is there a way to do it without unsafePerformGift?

i love type systems

Formal languages guy on the island???

New day, new termination/pattern matching drama

Writing a CV while there is an ongoing double blind review on your paper

The ACM AI "boycott" also highlights how stupid is to have "paper at an A* ranked conference" as a graduation requirement, considering that in PL there is practically an ACM monopoly

Can't wait for AI to replace landlords

I can't write down the paper ideas sequentially its just a big ass mutual block

There is a ring in hell specifically for monosopace unicode fonts whose unicode characters are not monosopaced

Some PL users like to get lied to but I don't like to get lied to

What was the point of merging minor revisions and conditional acceptance?

"The decisions “Conditional Accept” and “Minor Revision” have been merged into a single “Minor Revision” outcome"

After 4.38 hours we got the reviews

Reboosts welcome! Any UK academics able to host me for 1–2 weeks in January while my visa processes? I am a researcher in programming languages and formal methods, working on proof maintenance on interactive and automated verification tools. Happy to give a talk & collaborate. kirancodes.me

Btw, dependent types were invented by the lean foundations with the release of lean 4

Autoformalize my paper, make no mistakes

The syntax is the terminal model

This is a crazy plot twist pure.tue.nl/ws/portalfil...

One of rust mistakes is having the same symbol for moving and copying

your next game should be written in #haskell and represent life points and money and other state in peano numeral. this makes your game cheat engine proof cause who the heck knows what a haskell heap looks like

I tried all the lean programs of length N and indeed your theorem holds

So I've been playing around with Isabelle/ZF

I want to write the proof term i don't want to write tactics

Make a ZFC proof assistant

Why aren't people mechanizing the set theoretical semantics of stuff?

Functional programming is when you write programs that are correct i.e functional

There is nothing in the world I hate more than the donut and mug joke

One nice thing about LLMsis that they give you a heuristic for deciding whether someone is an idiot just based on their stance

I decided that I will keep doing stuff that I find fun

class In a r | r -> a where inn :: a -> r -> Bool instance (Ord a) => In a (a, a) where inn a (l, u) = a > l && a < u instance (Ord a) => In a [a] where inn a [l, u] = a >= l && a <= u #GoodHaskellIdeas

I will ignore the fomo

he’s got a linked list he’s checking it twice two pointers at different speeds should suffice santa claus is stuck in a leetcode-style technical interview

Not a big fan of smt solvers doing refinement types

PhD level intelligence secret santa gift wrapping