Joined November 2011
- Tweets13.8K
- Following0
- Followers37.3K
- Likes26.3K
Erik Meijer retweeted
My proposal for AI safety formulated as the dual of human rights
Punishing an innocent person is worse than letting a guilty person go
==>
Universal Declaration of Human Rights: No person may be treated as guilty unless guilt is proven.
Enacting unsafe AI acts is worse than rejecting safe AI acts
==>
Universal Declaration of AI Acts: No AI act may be treated as safe unless harmlessness is proven.
In other words, we should consider AIs to be dangerous unless proven safe.
Erik Meijer retweeted
LeCun’s new company on physical AI with world models [9] looks a lot like our 2014 company on physical AI with world models [1] 😀 See also [2-8] - all references in the reply!
Erik Meijer retweeted
Why I find Yann LeCun to be dishonest and unscholarly, with receipts.
Lots and lots of receipts.
Erik Meijer retweeted
AI has many potential advantages and challenges when applied to hardware verification, especially formal verification. Join me for a free to attend webinar where we will discuss AI and hardware verification with panelists Adam Chlipala (MIT professor, formal hardware verification expert), Kanad Basu (leading work on using AI for generating formal properties) and Sean Safarpour (Executive Director at Synopsys, overseeing formal verification tools).
workcast.com/register?cpak=6…
Erik Meijer retweeted
I was just talking with a friend who's been investing in startups for about 20 years, and we both agreed that one of the weirdest things about the AI boom is seeing journalists writing their usual contrarian stories about how it's a bubble about to burst.
Erik Meijer retweeted
PLDI 2024 papers are available: dl.acm.org/toc/pacmpl/2024/8…
Erik Meijer retweeted
Do you like poking holes in your favorite compiler’s type checker? Are you interested in discussing the various sources of unsoundness in type system and verification tools with like-minded PL nerds? The UNSOUND workshop at SPLASH 2024 is for you! Talk proposal deadline is Jul 15
Erik Meijer retweeted
The SWE-agent preprint has finally landed! Check it out at swe-agent.com/paper.pdf
Erik Meijer retweeted
Great opportunity for a fully-funded PhD position in the functional programming lab in Nottingham!
I have a fully funded PhD studentship for a home student at University of Nottingham.
If you would like to work with me, in category theory, logic and theoretical computer science, please get in touch.
Details on my website:
stringdiagram.com/phd-studen…
Erik Meijer retweeted
ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs
"We propose a novel ASCII art-based jailbreak attack. We show that five SOTA LLMs (GPT-3.5, GPT-4, Gemini, Claude, and Llama2) struggle to recognize prompts provided in the form of ASCII art. Based on this observation, we develop the jailbreak attack ArtPrompt, which leverages the poor performance of LLMs in recognizing ASCII art to bypass safety measures and elicit undesired behaviors from LLMs"
(non-peer-reviewed)
paper: arxiv.org/abs/2402.11753
Erik Meijer retweeted
In the past, innovation was slow, and mastering specific skills was valuable and useful for long periods of time
We have now entered the era of exponential growth!
The best strategy is to simply chill out and eat an Apple, like Tom Sawyer did, and let others do the hard work...
Everything that you can imagine is going to be invented in the next 1-5 years anyway 🤣💤
Erik Meijer retweeted
Interested in a PhD studentship in the Functional Programming Lab in Nottingham? We are currently seeking applications for up to 10 positions. Please share! cs.nott.ac.uk/~pszgmh/10-phd…
Erik Meijer retweeted
Our group has a new preprint out, in which we make some very tentative steps towards translating trained neural networks into code:
arxiv.org/abs/2402.05110
Quick summary/thoughts 🧵:
Erik Meijer retweeted
Haha, mutation, aliasing, and functions strike again! Even in programming languages for pros!
Erik Meijer retweeted
[reads news about Sam Altman]
[closes newspaper]
[takes a deep pull from pipe]
"Well, see, AI's just cost another person their job."
Erik Meijer retweeted
For years, I had to convince other investors, potential candidates, and customers that AWS would not crush [insert startup name] each year following Re-Invent. Now, it seems like we’ll have to go through that same exercise after each OpenAI dev day.
Erik Meijer retweeted
It's official: we're recruiting in SE! Come join us!
recruit.ap.uci.edu/JPF08667
#academia #academicjobs #SoftwareEngineering