Xinyang Ge
10.3K posts
Did you guys realize that it's now possible to just tell an agent "hey go grab this ICSE 2024 paper, get their artifact working, and then apply it to formally verify <my specific situation>" ?
English
Claude Mythos identified a guest-to-host memory corruption bug in Firecracker almost immediately after I pointed it at the codebase, with a working PoC and the root cause: aws.amazon.com/security/secur…. AI is changing cybersecurity forever.
Anthropic@AnthropicAI
Introducing Project Glasswing: an urgent initiative to help secure the world’s most critical software. It’s powered by our newest frontier model, Claude Mythos Preview, which can find software vulnerabilities better than all but the most skilled humans. anthropic.com/glasswing
English
Xinyang Ge retweetledi
Hiring ZK engineers & researchers to build next-generation provers and real-world applications!
We’re looking across the ZK stack: prover design & implementation, circuits, and smart contracts.
DM if you have questions!
Links to apply 👇
English
@moyix Did you try out the raw APIs directly or via some agent like Cursor?
English
We won! congrats team! Amazing experience with the Amazon AI Challenge this year!
Amazon Science@AmazonScience
Meet the champions of the Amazon Nova AI Challenge, where university teams around the world went head-to-head to break and defend LLMs under real adversarial pressure: 🏆 Defending: UIUC (PurpCorn-PLAN) 🏆 Attacking: Purdue (PurCL) 🥈 CTU Prague & Nova Lisbon These students just raised the bar for secure Gen AI. Full recap: amzn.to/44JjrF0
English
(if anyone wants to come work at openai on extremely efficient model inference, we'd love to get it to the $20 plan!)
English
wow so far DMs in a shockingly even dead heat between
"you made a software engineer and didn't include unlimited use in the $20 plan? fuck you!"
and
"you made a software engineer and you're not charging $20k a month for it? what the fuck?"
English
Xinyang Ge retweetledi
I was born and raised on a farm in a small town in Ohio. I've worked to get H-1B visas and green cards for my team members my entire career. There are three simple economic arguments for increasing legal immigration by highly educated workers:
English
This is what I have been working on for the past 2 years — reducing the VM boot time from minutes to seconds. Happy reading!
databricks.com/blog/booting-d…
English
Xinyang Ge retweetledi
I am recruiting PhD students & Postdocs on AI Security, LLM Agents, Code Generation research at UMD Computer Science @umdcs & Maryland Cybersecurity Center @CollegeParkMC2
For PhD program pls mention me in your application cs.umd.edu/grad/apply.
For Postdocs please email me.
English
Xinyang Ge retweetledi
@timmisiak I joined Databricks knowing nothing about K8s or cloud native stuff like containers ;)
English
Joining a new company is possibly the most effective (and stressful) ways to learn a WHOLE LOT of stuff in a short period of time. I don't know much about Kubernetes, but I know 100x more than I knew last week.
English
@veganaiZe @timmisiak If it had been gone through Windows Update, it would have followed a gradual rollout process and will never brick all the machines world-wide all at once.
English
@veganaiZe @timmisiak It’s like how your Google Chrome is updated on Windows.
English
Forced automatic updates? Yes, 100% of blame is on Microsoft.
Tim Misiak@timmisiak
Absolutely insane the number of people calling this a "Microsoft outage". Yes, I know Windows isn't perfect (I worked on the system responsible for analyzing the crashes, after all), but short of getting rid of kernel drivers, it doesn't seem like much blame is on Windows.
English