emeryberger

7 ms·

1.
by emeryberger 3mo ago
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 brief description; a technical paper
2.
by emeryberger 1y ago
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).
3.
by emeryberger 1y ago
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 nodes to the existing network, what is their success rate? BUT t
4.
How Secure is Tor? Not secure at all(csam-bib.github.io)
21 points by emeryberger 1y ago|55 comments
5.
by emeryberger 1y ago
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 browsing habits can see is that you're using
6.
by emeryberger 1y ago
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 (from the paper, Section 4.6): The second command, `defini
7.
by emeryberger 1y ago
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 debugging process - has been out since early 2023. We initially did
8.
by emeryberger 2y ago
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 debuggers like `lldb`, `gdb`, and `pdb` (the
9.
by emeryberger 2y ago
Correction: it’s been a feature for at least two years. To our knowledge, Scalene was the first profiler to incorporate LLMs.
10.
by emeryberger 2y ago
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 say 'now optimize'). This has been
11.
by emeryberger 2y ago
Debuggers are great, and even better with LLMs! https://github.com/plasma-umass/ChatDBG https://arxiv.org/abs/2403.16354
12.
by emeryberger 2y ago
However, the resulting type annotations should work for Python 3.9+.
13.
by emeryberger 2y ago
It relies on some features introduced in Python 3.12, specifically the `sys.monitoring` API.
14.
by emeryberger 2y ago
Can’t honestly remember the details! But it’s very much an AWS-owned org.
15.
by emeryberger 2y ago
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.
16.
by emeryberger 2y ago
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.com/RightTyper/RightTyper ) - basically r
17.
by emeryberger 2y ago
Now posted: https://www.youtube.com/watch?v=_VF3pISRYRc&t=4862s
18.
by emeryberger 2y ago
In his talk at REBASE, Fil said the overhead is now 1.5x to 5x, and he is just getting started optimizing.
19.
Fil-C: Memory-Safe and Compatible C/C++ with No Unsafe Escape Hatches(github.com)
3 points by emeryberger 2y ago|4 comments
20.
by emeryberger 2y ago
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 memory-safe OpenSSH (both client and
21.
by emeryberger 2y ago
Scalene author here - please file an issue!
22.
by emeryberger 2y ago
(Scalene author here) Nope, but WSL2 (Windows Subsystem for Linux) is, and Scalene works great with it.
23.
by emeryberger 2y ago
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 one-to-one connection between the two (of course,
24.
by emeryberger 2y ago
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.
25.
by emeryberger 2y ago
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/it_s_n
26.
NotebookLM (Google): generates NPR-interview style "audio overviews" from PDFs(blog.google)
3 points by emeryberger 2y ago|0 comments
27.
by emeryberger 2y ago
Would love to hear a technical comparison between this and King et al.'s classic paper on Time-Traveling VMs from USENIX ATC 2006: "Debugging operating systems with time-traveling virtual machines" ( https://www.use
28.
by emeryberger 2y ago
Here's the relevant quote that speaks to your statement: Mossad thus defies the conventional wisdom that defeating plagiarism detection is difficult or requires significant programming ability. The techniques that underlie Moss
29.
by emeryberger 2y ago
If you read the paper, you'll see that the attack is entirely feasible to implement by hand (we did this ourselves but do not report on it in the paper). It's a pretty mechanical process. A bit of trial and error will get the job
30.
by emeryberger 2y ago
FWIW the attack we describe in the paper works against MOSS, too (that was the original inspiration for the name, “Mossad”).

More ›