I’m not a C++ guy, but this topic fascinates me. Might poke around and try to have an LLM transpile the code from C++ to Rust. I expect it won’t work but worth giving it a shot :)
When I go out for a hike in the woods or a hike in a new state/country that isn’t my home. I don’t go out destroying the land around me. I observe and enjoy my time
Maybe these aliens are scientists. Documenting biological life across the galaxy. Maybe they’re VanCampers. Just bouncing from planet to planet for fun
If a civilization has presumably reached FTL travel. I imagine many of their needs have been met and conquest/destruction isn’t required to maintain their supremacy. Lots of empty planets with plenty of resources out there!
Not saying aliens/UFOs are real, but I think it’s very easy to imagine them existing and not being destructive. Or maybe they’re just scouting before the invasion :)
Seriously. There's nothing here that they can't find out in space in greater quantities and easier access. Except our animal and plant life. And no worries about harvesting us like in movies, it's way easier to grow meat or whatever than travel across the universe for it. We're most likely a curiosity.
Their opsec's way too good for scientists. If they're anything like our scientists, we'd have recovered one of the flying saucers when they tried to go through Arby's drive-through but didn't have enough clearance.
Maybe they're just fictional, and this guy has a Fox Mulder larping fetish.
> If a civilization has presumably reached FTL travel. I imagine many of their needs have been met and conquest/destruction isn’t required to maintain their supremacy.
If we ever achieve FTL travel, do you imagine that it will be available to frat bros doing road trips to Beta Reticuli VI, or will it be this horrendously expensive, economy-wrecking thing that we get to do once or twice and then have to stop because it is almost impossible to do?
We achieved a moon landing for fuck's sake, and the frat bro still hasn't duplicated that one yet (though I will concede he's not doing too shabby).
I think it’s a mistake to imagine how an alien species would behave based on our own tendencies.
A civilization that has achieved what their (supposed) presence here implies has clearly managed to move far beyond human capability, and our understanding of opsec seems irrelevant.
It could be that with sufficiently advanced technology, “opsec” is mostly irrelevant relative to a species like ours with the capabilities we have.
And that's fine and all, but it's been nearly a hundred years and they're still doing the same shit? Are we supposed to believe we are the equivalent of a tourist attraction? One where you seem to have a high likelihood of dying?
Not saying I believe this, but for sake of argument…
If these are scientific/observation missions, humanity is going through its most transformative stages of advancement, and the last 100 years have been quite interesting.
If we could go and observe a developing civilization secretly and over a long period of time, I suspect we would.
ah I think even that is a bit pessimistic. I'm optimistic that we can figure out carbon sequestration and transition to renewables in the next few decades and prevent any catastrophic sea level rise. I fully admit that the global North will not give a shit if some peripheral nations are destroyed by climate change, but I think this summer is starting to show people living in Vegas and Phoenix that their days there are numbered if we don't do something. Maybe I'm being optimistic though.
yeah I think it's becoming clear that stopping emissions isn't enough and we will have to do carbon capture but Iceland has a functional carbon removal plant up and running and Exxon apparently sees it as part of their economic future. Lots of bad news out there and we need to accelerate the pace but optimism gives us energy for pushing the political front.
The Iceland plant will pull 4000 metric tons of CO2 / year, so my toilet-paper math says we're going to need at least 9 million more of these plants to achieve net zero.
Sorry for the misplaced optimism , if it makes you feel more bleak, building all those DAC facilities, transporting them and running them will require millions more of DAC facilities.
I just mean that it seems like actually a somewhat possible number for humans to build, though obviously it's more like infeasible than impossible. I pretty well realized how fucked humanity is around a decade ago, so it has been interesting to watch the realization spreading.
oh ya I'm saying we need to achieve net zero plus have carbon removal. We need to be net negative, we are already in catastrophe territory as far as much carbon is in the atmosphere (I am not a scientist to be clear).
To be clear, Net Zero requires massive direct-air carbon removal, i.e. the only way to achieve it 'net zero' is the permanent removal of billions and billions tonnes of CO2 from the atmosphere and storing it somewhere.
Im sure this is useful but these languages (proof langs, constraints, etc) are always so difficult to parse or read
Adoption for these systems might be higher if they had a more readable syntax (and bonus if they could transpile down to source code you can tweak)
Also maybe I missed it on mobile, but I would love examples of the syntax and examples of application usage on the first page. Maybe this is useful to me! Who knows? That information should be easy to find
I’ve played with minizinc in the past though we use scipopt now instead.
The minizinc code looks pretty reasonable to me though. Specify your variables as ranges. Specify your constraints as math equations. Tell it what you’re looking to maximise / minimise.
I can use typescript. I can use algebraic data types, well typed functional combinators, exhaustive switch statements (through linter) and other functional design patterns.
I’d like to be able to use formal proofs. If it means dumbed down version that average joe can work with that can gain wider adoption - that’s much better situation to be in than not having anything at all.
There must be more developers in similar situation.
This is really impressive from the outset. You might get some interest in ClimateTech spaces. Groups like Work on Climate might be a good way to find co-founders. Best of luck!
