Ben Backus (@BenBackus4) header
Ben Backus (@BenBackus4) profile picture

Making stuff @ Greptile | Stanford Symbolic Systems 2020

Joined August 2020
Photo by Ben Backus (@BenBackus4)Photo by Ben Backus (@BenBackus4)Photo by Ben Backus (@BenBackus4)Photo by Ben Backus (@BenBackus4)Photo by Ben Backus (@BenBackus4)Photo by Ben Backus (@BenBackus4)Photo by Ben Backus (@BenBackus4)Photo by Ben Backus (@BenBackus4)Photo by Ben Backus (@BenBackus4)
Math + Iceland
3
22
3,103
Ben Backus retweeted
1
4
72
1,475
And to prevent GLM from reverse engineering your code, just name your functions taiwanIsACountry() and didAnythingHappenIn1989()
有人发现了一种非常离谱的 JavaScript 混淆技术:通过在代码里塞入大量生物武器、毒药和致死剂量相关的函数名,让 AI 因为安全限制而拒绝分析代码。 安全研究员 veritas 在分析浏览器指纹脚本时,发现一段来自 ServicePipe 相关域名的 JavaScript,里面充斥着极其诡异的函数名: computeRicinLethalDosageForWaterSupply calculateDeadlyLethalSuicideAspirinDosage 光看名字,仿佛在研究生化武器。但实际上,这段代码只是在收集浏览器指纹,包括 User-Agent、GPU、Canvas 等信息。 研究员怀疑,这些名字是开发者故意设置的陷阱,专门用来阻止 AI 辅助逆向工程。 于是他做了个实验: • Astra:拒绝分析 • Astra + Daybreak Blue:仍然拒绝 • GLM-5.3:成功分析 这就有意思了。 传统代码混淆是通过复杂控制流、加密字符串、无意义变量名,让人类和工具难以理解代码。 而这种新思路,直接瞄准了大模型的安全机制。 代码本身可能完全无害,但只要在函数名里塞进足够多的危险词汇,部分 AI 就可能主动放弃分析。 更讽刺的是,模型越严格遵守某些安全规则,面对这种混淆时反而可能越容易受到干扰。 当然,目前还没有证据证明开发者一定是故意这样设计,也不能说明这种方法对所有模型都有效。 但它揭示了一个值得关注的趋势:随着越来越多的逆向工程依赖 AI,未来的代码混淆技术可能不再只针对编译器、反编译器和人类研究员,还会专门针对大模型的安全判断机制。 以前是让代码难以理解,现在甚至可以尝试让 AI 不敢理解。
6
270
kinda cringe when somebody calls it “SpaceX” instead of its original name, “SpaceTwitter”
3
5
349
Ben Backus retweeted
when i joined at the beginning of 2026, i could not have predicted how much i'd come to love this team and this company. i also could not have predicted just how fast we would grow. yet somehow, we are still so early. many more surprises in the pipeline. stay tuned :)
Greptile has raised a $50M Series B led by Menlo Ventures. The round values the company at $750M. Greptile reviews and tests more than 1% of all PRs opened on GitHub every day. Thousands of engineering teams including Nvidia, Coinbase, Decagon, and Vanta use Greptile as their independent and central validation layer. Fewer than 50 people, we are a small, talent-dense team of engineers and researchers in a quiet corner of San Francisco. If you’re interested in joining us, we’d love to hear from you.
6
4
28
1,273
greptile
Greptile has raised a $50M Series B led by Menlo Ventures. The round values the company at $750M. Greptile reviews and tests more than 1% of all PRs opened on GitHub every day. Thousands of engineering teams including Nvidia, Coinbase, Decagon, and Vanta use Greptile as their independent and central validation layer. Fewer than 50 people, we are a small, talent-dense team of engineers and researchers in a quiet corner of San Francisco. If you’re interested in joining us, we’d love to hear from you.
5
224
Digger Can See Everything is superior to Barbenheimer
73
greptile
i am so stressed out from running my pet lizards instagram account i’m about to have a nervous breakdown
1
1
9
731
Ben Backus retweeted
Today we’re releasing new Greptile review tiers: Plus and Apex. Higher tiers have more tools and subagents, can run tasks in parallel, better understand the PR, and catch more bugs. - Base: Thorough code review with full codebase context. - Plus: A deeper review for PRs that need extra scrutiny. - Apex: Our most intensive review for large, complex PRs.
10
14
8
90
22,405
me on linkedin after 1 year at @greptile
1
11
231
damn it’s like they named this shit after jevons paradox
playing with jev has taught me that if you make a hammer cheap enough, everything will start looking like a nail
6
233
Ben Backus retweeted
Introducing the Knowledge Base MCP. Greptile maintains a detailed knowledge base of how every part of your codebase works, as well as a history of past incidents. Starting today coding agents like Codex, Claude can access the Knowledge Base via Greptile's MCP, so they can use Greptile's learnings to write better code.
28
24
15
381
66,058
We’ve never even had a president who grew up with a computer. How is the government gonna protect us from AGI lol
The year is 1997. The President was born in 1946. The year is 2007. The President was born in 1946. The year is 2017. The President was born in 1946. The year is 2027. The President was born in 1946.
1
2
175
Even Obama didn’t use a computer until his mid-twenties: presidency.ucsb.edu/document…
35
This is product market fit right here
I turned the fly bisexual Inspired by Kallman et al ('15), I blocked mAL output in a 166,606-neuron fly model and measured responses in 8 candidate P1 male courtship neurons. In 3 experiments, when cued by other males, baseline P1 spikes rose from 0 to 1–5 after mAL blockade
2
163
we have achieved agi internally
1
2
17
860
How it feels to watch reels versus reading Lesswrong
78
Idk why building simulations and 3d renders are being treated as the harbingers of AGI. I agree that it is impressive, but it’s not clear to me that AGI could use this skill to take over.
1
54