Viewing profile — seddonm1

Based on the now-deprecated Clear Linux it does seem that these optimizations add up [0] and so maybe we should be considering them more broadly? [0] https://www.phoronix.com/revie…

I would be interested to know if there is a method similar to this one in Rust [0] that allows a single binary to support multiple optimization levels depending on the executing CP…

I am getting closer and closer to a full verified rewrite in Rust. I have also moved to a much easier sqlite relational structure for the backend. I actually sidestepped the annoyi…

It’s a real problem. I threw it at an old MUD game just to see how hard it is [0] then used differential testing and LLMs to rewrite it [1]. Just seems to be time and money. [0] ht…

No, I would need to find a binary to test on. I suspect it would produce horrible code at the decompiler layer but ultimately I would expect that function signatures are still rela…

I have tried to post this here but it has not got traction. I have a demonstrated process here on my blog (all hand written without AI). This bit about how to brute force decompila…

This is the second part of a post aligned with a talk I gave recently at the Sydney Rust meetup. I have found significant success in this process converting decompiled code and als…

I am applying differential/property based testing to all the side effects of functions (mutations) and return values. The rust code coverage is also used to steer the LLM as it fin…

My test harness loads up the original DLL then executes that in parallel against the converted code (differential testing). That closes the feedback loop the LLM needs to be able t…

I delivered a talk at Rust Sydney about this exact topic last week: https://reorchestrate.com/posts/your-binary-is-no-longer-saf... I am able to translate multi-thousand line c fun…

This post is about the brute-force reverse engineering of binary (compiled) programs using Large Language Models (LLMs) to automate this two-part problem: decompilation and convers…

Hi Ben. I published an article about this problem this week (and did a talk at Rust Sydney). What you need is differential, property testing. I’m sure it would work for you (you ca…

What about s3 stored in SQLite? https://github.com/seddonm1/s3ite This was written to store many thousands of images for machine learning

A process for using LLMs to do brute-force decompilation of binaries and conversion to another programming language - including testing to prove equality. This process is targeting…

SQLX has an offline mode where it saves the metadata of the SQL database structure but then you run into risk of that being out of sync with the database? Yeah I just drop this one…

Whilst I love the idea of SQLX compile-time checked queries it is not always practical to need a database connection to compile the code in my experience. If it works for you then …

I went through the same mental process as you and also use num_cpus [0] but this is based only on intuition that is likely wrong. More benchmarking is needed as my benchmarks show …

Thanks. All good and valid questions. 1. I work mostly in Rust so I'll answer there in terms of async. This library [0] uses queues to manage workload. I run a modified version [1]…

I wanted to make my own evaluation of what kind of performance I could expect from SQLite on a server and investigate the experimental `BEGIN CONCURRENT` branch vs the inbuilt `DEF…

In other abuses of SQLite, I wrote a tool [0] that exposes blobs in SQLite via an Amazon S3 API. It doesn't do expiry (but that would be easy enough to add if S3 does it). We were …

I have been following and playing with this repository: https://github.com/singlestore-labs/python-wasi/ It builds a single Python WASM module with all dependencies included (they …

This post demonstrates how to implement plugins for Rust using QuickJS in WebAssembly for safe arbitrary code execution. It relies heavily on on the work done by Shopify with Javy …

This post demonstrates how to implement plugins for Rust using QuickJS in WebAssembly for safe arbitrary code execution. It relies heavily on on the work done by Shopify with Javy …