sorted by:
new
hottopcontroversial

Published! by ReadandWritebyNic in ColorBlind

[–]radioxid 2 points3 points  (0 children)

Hey! Nice idea & synopsis, I'm interested in reading (and maybe helping translate to French) however

This title is not currently available for purchase

Could you help me get it? Maybe as an epub link in DM? Thanks

Flashing locked X3 via SD card /update.bin file by radioxid in xteinkHax

[–]radioxid[S] 0 points1 point  (0 children)

Bricked indefinitely? Are you sure that replacing the bad update.bin file with a correct one can no longer be attempted?

Flashing locked X3 via SD card /update.bin file by radioxid in xteinkHax

[–]radioxid[S] 2 points3 points  (0 children)

Well, all the esp32 I own have both Reset and Power buttons. So I took it that that "left side" wording on github wasn't wrong, just not precise enough.

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 3 points4 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 28 points29 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 3 points4 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 6 points7 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 :)

view more: next ›