HNHacker News
TopNewBestAskShowJobs

BalinKing

954 karma · joined January 2, 2017

4th year PhD student at CMU (programming languages and formal verification); before that, software developer at GitKraken.

https://github.com/jgrosso jgrosso256@gmail.com

submissionscomments

ImpossibleBench: Measuring LLMs' Propensity of Exploiting Test Cases

arxiv.org·2 pts·BalinKing·
0

NTSB subpoenas American Airlines flight crew in JFK runway incursion

cnn.com·2 pts·BalinKing·
0

Show HN: (WIP) Axel = Haskell and Lisp

axellang.github.io·11 pts·BalinKing·
5

Show HN: (WIP) Axel = Haskell and Lisp

axellang.github.io·2 pts·BalinKing·
1

Jamais vu

en.wikipedia.org·2 pts·BalinKing·
0

Quasi-War

en.wikipedia.org·2 pts·BalinKing·
1