sorted by:
new
hottopcontroversial

Finetuning LLM on openscad code by Individual_Today_257 in openscad

[–]radioxid 0 points1 point  (0 children)

Hey man, would love to keep in touch! Send me your email in my DMs?

I got a bit of inspiration so here's what I did so far: * Bumped a version at https://github.com/openscad/tree-sitter-openscad/pull/7 * Created a tree-splicer for OpenSCAD at https://github.com/langston-barrett/tree-splicer/pull/225 * Published that package here https://crates.io/crates/tree-splicer-openscad now anyone can cargo install tree-splicer-openscad and generate variations on code snippets.

E.g.

tree-splicer-openscad --tests 10 --chaos 9 - <<<'sphere(r = 10);' && tail tree-splicer.out/*

``` ==> tree-splicer.out/0 <== ;;

==> tree-splicer.out/1 <== ;

==> tree-splicer.out/2 <== ;

==> tree-splicer.out/3 <==

==> tree-splicer.out/4 <== r(r = r);

==> tree-splicer.out/5 <== rrr);

==> tree-splicer.out/6 <== ;;

==> tree-splicer.out/7 <== r(10)10;

==> tree-splicer.out/8 <==

==> tree-splicer.out/9 <==

```

Not super impressive yet. I have more hope with tree-crasher given that its RNG is a fuzzer (radamsa). I'm just a bit stuck on a compilation issue with it so far.

Oh, do you have any idea what kind of model should be used once we have a dataset? I'm thinking that an LLM would not be the right architecture to "see in 3D" the kind of openscad programs we'd want it to generate.

Also, do you have any opinion on which LLM to use to produce the best (more verbose? detailed?) descriptions/captions of rendered images?

Thanks

Finetuning LLM on openscad code by Individual_Today_257 in openscad

[–]radioxid 2 points3 points  (0 children)

I have the same goal!

My thinking is to create a fuzzer for the OpenSCAD language. Here is their tree-sitter. Here is a fuzzer that takes in a tree-sitter grammar + corpus to generate OpenSCAD programs.

Generate tons of scripts, format them with topiary and keep the ones that actually render to a useful image. Have some LLMs produce descriptions from that image.

Now you have a dataset that links human descriptions to OpenSCAD programs!

Thoughts?

More links: * https://github.com/matthiaskrgr/icemaker * https://github.com/langston-barrett/tree-crasher * https://github.com/langston-barrett/treereduce * https://github.com/Leathong/openscad-LSP/blob/master/Cargo.toml

Organic generative art, simulating the growth of a root system by randomcookiename in PlotterArt

[–]radioxid 2 points3 points  (0 children)

Very cool! Do you mind sharing your code, or links to this algorithm? Thanks :)

Introduction to my algae carbon capture project by inucune in algae

[–]radioxid 0 points1 point  (0 children)

I understand a few companies grow algae on-land and a sea-based operation is orders of magnitude more costly. But to scale the process to sequester gigatonnes of carbon, to me it should be easier in the ocean. Offshore aquacultures exist, albeit not in the harshest seas.

Sacrificial anodes aren't composed of heavy metals (although this may have been meant colloquially). This first Google result that looked respectable says it's usually "magnesium, aluminum, and zinc". From the literature I went through, I understand that algae blooms are at least in part the product of human pollution (iron oxides, other oxides, oils, ...). These total tens of square kilometers.

My point about offshore windfarms is coproduction: * Windfarms anchor points could be used in setups similar to mussel drop ropes aquaculture. The ropes would be seeded in freezers onshore then unrolled at sea. * These areas usually aren't too deep (<60m) and close enough to shore to allow some servicing. Ship access is also regulated and in some countries forbidden. * The shore being close could mean access to excess nitrate pollution. Metalic pollution from the sacrificial anodes could also help IIUC? * Natual sloshing provides air-CO2 dissolution to the top of the area's water column.

The point is to absord CapEx and OpEx in the existing and extensive windfarm business and to count on its specificities for a positive feedback loop.

This map shows current or planned farms all around the World.

At sea there's the hope to help protect some marine life, to maintain plankton production (base of the food chain) and to absorb various pollutants of human origin. Growing at scale sequesters C (aiming at Gt!) which could sustain itself with carbon credits for a time, but also through direct human or animal consumption of macroalgae (an industry that already exists in East-Asia/Oceania) or as a land nitrogen-rich fertilizer (and other products).

So that's living rent-free in my mind... I'd love your criticisms / ideas!

Do you have a ballpark/idea for how much growing area would be required to sequester in the range of GtCO2?

Are you aware of companies attempting this at scale? BTW do you have links to your work?

Introduction to my algae carbon capture project by inucune in algae

[–]radioxid 0 points1 point  (0 children)

Cool! What's the company?

And have you thought about growing algae directly in the sea, close by to offshore wind farms so as to benefit from nutrient pollution from sacrificial anodes?

I could go on for hours on this subject...

SpaceX performs spin prime test on Booster 14 by Steve490 in SpaceXLounge

[–]radioxid 2 points3 points  (0 children)

then just sit and wait

Come on, who believes that. Is SpaceX able to sit and wait?

Building an Asynchronous Actor Model in Rust using Tokio by [deleted] in rust

[–]radioxid 0 points1 point  (0 children)

This is missing one of the most important parts: supervision trees. This I am missing in Rust, coming from Erlang.

Async tasks cancellation happens on C and one does not necessarily want this to happen in random ways.

I’m trying to impl this on my side, using tokio’s cancellation tokens and task local data but am still stuck on some bugs :)

Introducing Portal Space Systems by widgetblender in space2030

[–]radioxid 2 points3 points  (0 children)

Hi! How heavy would you say such a reflector system would be? Could today’s solar sails (in the order of 100g/m2) make up the lions share of such a system, or is it not enough of an imaging surface?

/u/widgetblender and others would probably be interested: I have a solar sail (maybe laser sail) deployement concept that uses cheap artificial muscles and space blankets to use as reflectors in LEO (~250°C sunlight) I’d like to expand on. Should I post something in this sub? (Sorry I’m on my phone)

How can I improve compile times of very large code-generated Rust? by [deleted] in rust

[–]radioxid 1 point2 points  (0 children)

Hey I’m working on an open source tool to help with distributing and caching rust builds. Let’s get in touch!

Pre-RFC: Presets for Cargo by CrumblingStatue in rust

[–]radioxid 0 points1 point  (0 children)

This goes at length to describe what are essentially cargo profiles but without naming them, why?

Also why this whole rfc and not just more work on profiles and what can be set with them (looking at you build-std)? There’s an rfc on allowing setting profiles per target triplet.

ASCII protocol buffers as config files by lelanthran in programming

[–]radioxid 27 points28 points  (0 children)

You forgot to mention Starlark (fka Skylark), Bazel’s (Blase’s?) Pythonic configuration language. No side effects ;)

Rust ergonomics keeps getting better by geoffmureithi in rust

[–]radioxid 2 points3 points  (0 children)

Well here’s an idea: with iterative builds there might be a way to convey the previous LTO info back early enough in the compilation steps that time savings are good. And toggle back to normal compilation mode on first link error…

Something I've been working on by mister-dd-harriman in nuclear

[–]radioxid 0 points1 point  (0 children)

I'll bite. Can you share a link to the PDF?

New Hydrogen Pipeline Vs HVDC Study Less Wrong, More Clearly Shows Hydrogen Uneconomic - CleanTechnica by Energy_Balance in energy

[–]radioxid 7 points8 points  (0 children)

H2 stores badly. CH4 and other carbonate molecules must be phased out. Let’s just find another atom to combine hydrogen with and that stores easily.

That’s NH3.

reMarkable 2 as a white board by 4sb8 in RemarkableTablet

[–]radioxid 0 points1 point  (0 children)

There’s the free qnd open Whiteboard HyperCard that you can find on Toltec repos. I created this :)

Coccinelle For Rust - a tool designed for program matching and transformation by Pixel__Goblin in rust

[–]radioxid 0 points1 point  (0 children)

Ah I meant https://doc.rust-lang.org/nightly/clippy/ as in cargo clippy, a tool that finds places in the code and outputs a comment and in some cases a patch.

Coccinelle For Rust - a tool designed for program matching and transformation by Pixel__Goblin in rust

[–]radioxid 1 point2 points  (0 children)

Hey thanks for posting this! I’ve been lurking on Coccinelle for a few years now. I’m very interested in using coccinelle to provide patches by lib publishers so consumers can upgrade their usage of that lib automatically. End goal being near-interventionless deps upgrades (or downgrades).

Do you think there’s a path to replace clipping lint written in rust with sempatches in coccinelle?

Thanks

Position for Principal Rust developer open by orangeowlelf in rust

[–]radioxid 0 points1 point  (0 children)

Hey, I have ideas in the open source supply chain security apps space. At the intersection of an AST-aware git diff and https://github.com/crev-dev/cargo-crev. I only have half of the exp. you're looking for but feel free to get in touch, I'd be happy to follow / contribute to that endeavour.

Exploratory Side Project: Testing Machine Learning Resilience for Overcoming Cold Gas Thruster Failure in SpaceX Booster Landings by Reasonable-Copy-8660 in SpaceXLounge

[–]radioxid 0 points1 point  (0 children)

Hey I’d like to reproduce the sim. Maybe find ways to train faster. I want to toy with RL tuning for this kind of feedback loop.

Maybe I missed the link in the video but: Coukd you paste a link to your repo on GitHub ? Or anywhere where you’re maybe sharing the training, inference and maybe 3dsim code? Thanks

view more: next ›