yamafaktory

6 ms·

31.
by yamafaktory 6mo ago
Well, I can understand your frustration, but this is basically a pipeline that takes some code written by an LLM and attempts to prove its correctness using the Lean 4 theorem prover.
32.
Show HN: Formal – Formal verification for AI-generated code using Lean 4(github.com)
4 points by yamafaktory 6mo ago|4 comments
33.
Show HN: HypergraphZ – Hypergraph Implementation in Zig(github.com)
1 points by yamafaktory 7mo ago|0 comments
34.
Show HN: HypergraphZ – A Hypergraph Implementation in Zig(github.com)
2 points by yamafaktory 7mo ago|0 comments
35.
Show HN: HypergraphZ – A Hypergraph Implementation in Zig(github.com)
1 points by yamafaktory 7mo ago|0 comments
36.
by yamafaktory 2y ago
Author here - I'm not using pointers in my implementation but indexes as you mentioned.
37.
by yamafaktory 2y ago
It was initially called HyperZig but after talking with some "ziguanas", using the exact word "hypergraph" in the same felt more accurate.
38.
by yamafaktory 2y ago
Not really - yet. I made that as an exercise to learn some Zig and to see how fast/efficient it might be.
39.
by yamafaktory 2y ago
I'm honestly not sure if I can answer that question. There's plenty of applications for hypergraphs (e.g. https://www.sciencedirect.com/science/article/pii/S209580992... ), so I'd say why not?
40.
by yamafaktory 2y ago
Internally both the hyperedges and the vertices are stored as an AutoArrayHashmap with the associated data and the relations ( https://github.com/yamafaktory/hypergraphz/blob/9f87e705afd7... ). Then the implem
41.
by yamafaktory 2y ago
Thanks for the feedback! Developing/prototyping is a very pleasant experience in Zig compared to Rust. It's obviously a different approach and some might find the tooling less mature but I quickly realized that the build system (a
42.
Show HN: HypergraphZ – A Hypergraph Implementation in Zig(github.com)
2 points by yamafaktory 2y ago|0 comments
43.
Show HN: HypergraphZ – A Hypergraph Implementation in Zig(github.com)
2 points by yamafaktory 2y ago|0 comments
44.
Show HN: HypergraphZ – A Hypergraph Implementation in Zig(github.com)
65 points by yamafaktory 2y ago|16 comments
45.
Show HN: HyperZig – A Hypergraph Implementation in Zig(github.com)
1 points by yamafaktory 2y ago|0 comments
46.
by yamafaktory 2y ago
Thanks!
47.
Show HN: HyperZig – A Hypergraph Implementation in Zig(github.com)
18 points by yamafaktory 2y ago|2 comments
48.
Show HN: HyperZig – A Hypergraph Implementation in Zig(github.com)
1 points by yamafaktory 2y ago|0 comments
49.
I am not yet ready to switch to Zig from Rust(turso.tech)
5 points by yamafaktory 2y ago|1 comments
50.
Unwind Considered Harmful?(smallcultfollowing.com)
2 points by yamafaktory 2y ago|0 comments
51.
Fast-rustup – an experiment with a different architecture for Rustup(github.com)
2 points by yamafaktory 3y ago|0 comments
52.
Show HN: Jql a JSON Query Language Tool Built with Rust(github.com)
3 points by yamafaktory 3y ago|0 comments
53.
Show HN: A new major version of jql has been released(github.com)
1 points by yamafaktory 3y ago|0 comments
54.
Show HN: A new major version of jql has been released(github.com)
2 points by yamafaktory 3y ago|0 comments
55.
Show HN: Picst – a cross-platform CLI tool to resize clipboard images on the fly(crates.io)
2 points by yamafaktory 4y ago|0 comments
56.
Show HN: Picst – a Rust CLI tool to resize clipboard images on the fly(github.com)
2 points by yamafaktory 4y ago|0 comments
57.
Show HN: Picst – a Rust CLI tool to resize clipboard images on the fly(github.com)
4 points by yamafaktory 4y ago|0 comments
58.
Show HN: Picst – a Rust CLI tool to resize clipboard images on the fly(github.com)
1 points by yamafaktory 4y ago|0 comments
59.
Fetch API has landed into Node.js(github.com)
679 points by yamafaktory 5y ago|206 comments
60.
Node.js is finally going to get the fetch API(github.com)
39 points by yamafaktory 5y ago|6 comments

More ›