seddonm1

6 ms·

1.
by seddonm1 3mo ago
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/review/clear-linux-48p-ubuntu/6
2.
by seddonm1 3mo ago
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 CPU? It feels wasteful to not enable these optimizations but I
3.
by seddonm1 7mo ago
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 annoying btrieve problem by exporting the data using a go binary
4.
by seddonm1 7mo ago
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] https://reorchestrate.com/posts/your-bina
5.
by seddonm1 7mo ago
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 relatively clean? Its scary - once you get the differential test
6.
by seddonm1 7mo ago
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 decompilation: https://reorchestrate.com/posts/y
7.
Show HN: Using LLMs and differential testing to convert code(reorchestrate.com)
2 points by seddonm1 7mo ago|0 comments
8.
by seddonm1 7mo ago
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 finds discrepancies in side effects. It is written up in m
9.
by seddonm1 7mo ago
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 to find and fix discrepancies. I'm also doing this on an
10.
by seddonm1 7mo ago
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 functions - and reproduce bug-for-bug imp
11.
Show HN: Your binary is no longer safe(reorchestrate.com)
3 points by seddonm1 7mo ago|0 comments
12.
by seddonm1 7mo ago
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 can skip the first half as you already have the source): http
13.
by seddonm1 7mo ago
What about s3 stored in SQLite? https://github.com/seddonm1/s3ite This was written to store many thousands of images for machine learning
14.
Bringing a Warhammer to a Knife Fight(reorchestrate.com)
2 points by seddonm1 7mo ago|1 comments
15.
by seddonm1 7mo ago
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 an old computer game but there is nothing preventing this b
16.
by seddonm1 2y ago
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 file [0] into my Tokio projects and I have a SQLite with si
17.
by seddonm1 2y ago
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 thats great but we had a few tricky edge cases when dealing
18.
by seddonm1 2y ago
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 that more parallelism only works to a point. You can see how
19.
by seddonm1 2y ago
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] which creates 1 writer and n reader connections to a W
20.
Show HN: SQLite Transaction Benchmarking Tool(github.com)
128 points by seddonm1 2y ago|21 comments
21.
by seddonm1 2y ago
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 using it to manage a millions of images for machine lea
22.
by seddonm1 4y ago
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 use VFS) and a Dockerfile to make
23.
Plugins for Rust(reorchestrate.com)
1 points by seddonm1 4y ago|1 comments
24.
by seddonm1 4y ago
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 ( https://github.com/Shopify/javy ) but
25.
by seddonm1 4y ago
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 ( https://github.com/Shopify/javy ) but
26.
Show HN: Postgres Logical Replication with Rust(github.com)
2 points by seddonm1 4y ago|0 comments
27.
by seddonm1 4y ago
The Materialize team manage a fork of https://github.com/sfackler/rust-postgres with the changes required to consume from the Postgres WAL: https://github.com/materializeInc/rust-postgres . Here is
28.
by seddonm1 5y ago
Months ago I posted a link to Arc ( https://news.ycombinator.com/item?id=26573930 ) a declarative method for defining repeatable data pipelines which execute against Apache Spark ( https://spark.apache.org/ ).
29.
Show HN: Box – Data Transformation Pipelines in Rust DataFusion(github.com)
4 points by seddonm1 5y ago|1 comments
30.
by seddonm1 5y ago
Previously I posted a link to Arc ( https://news.ycombinator.com/item?id=26573930 ) a declarative method for defining repeatable data pipelines which execute against Apache Spark ( https://spark.apache.org/ ).

More ›