Viewing profile — emeryberger

Since we are talking about Python type-checkers: we've built a (non-AI based) type assistant for Python called RightTyper ( https://github.com/RightTyper/RightTyper ). Below is a b…

RightTyper is much better in addition to running orders of magnitude faster. https://github.com/RightTyper/RightTyper (full disclosure, I am one of its authors).

You can adjust the code on the page easily (it’s open source javascript) to determine the question you are after, which is a valid one: if an adversary starts today and adds x node…

The Tor Project web site makes a bold claim to its users: "Tor Browser prevents someone watching your connection from knowing what websites you visit. All anyone monitoring your br…

Yes. It lets the LLM immediately obtain precise information rather than having to reason across the entire source code of the code base (which ChatDBG also enables). For example (f…

You should check out ChatDBG project - which AFAICT goes much further than this work, though in a different direction, and which, among other things, lets the LLM drive the debuggi…

Nice UI. We started on a project that does this about 2 years ago. ChatDBG ( https://github.com/plasma-umass/ChatDBG ), downloaded about 70K times to date. It integrates into debug…

Correction: it’s been a feature for at least two years. To our knowledge, Scalene was the first profiler to incorporate LLMs.

One major limitation the LLM has is that it can't run a profiler on the code, but we can. (This would be a fun thing to do in the future - feed the output of perf to the LLM and sa…

Debuggers are great, and even better with LLMs! https://github.com/plasma-umass/ChatDBG https://arxiv.org/abs/2403.16354

However, the resulting type annotations should work for Python 3.9+.

It relies on some features introduced in Python 3.12, specifically the `sys.monitoring` API.

Can’t honestly remember the details! But it’s very much an AWS-owned org.

In addition to being a faculty member at UMass Amherst, I am an Amazon Scholar, working at Amazon Web Services, where this work was conducted.

I agree that writing type hints can be painful, especially if you are starting with a large code base that is mostly untyped. You might consider using RightTyper ( https://github.c…

Now posted: https://www.youtube.com/watch?v=_VF3pISRYRc&t=4862s

In his talk at REBASE, Fil said the overhead is now 1.5x to 5x, and he is just getting started optimizing.

From Fil Pizlo ( http://www.filpizlo.com/ ), major contributor to WebKit's JavaScript engine, among other things: > Fil-C is already powerful enough to run a memory-safe curl and a…

Scalene author here - please file an issue!

(Scalene author here) Nope, but WSL2 (Windows Subsystem for Linux) is, and Scalene works great with it.

Those papers say "language" over and over again, in the titles, in the body of the text. That work confounds languages and their implementations, and make it sound like there is a …

We only pin to one core for one experiment described in Section 4.3. All the remaining experiments are run with full access to all cores.

Hi, co-author here! We're happy to answer questions. See some discussion here: * Mastodon: https://mastodon.social/@ltratt/113282264909342842 * Lobsters: https://lobste.rs/s/y12hdo…