[-] greysemanticist@lemmy.one 4 points 7 hours ago

I know people who actively fight me on ISO 8601. They don't like the way it sorts their files/folders, reliant on whatever behavior the operating system does. Whenever data recovery happens or their files are moved, all the change times are blown out the window and the sorting they expect is blown away.

I'm not yet using a 24-hour clock. But it has me thinking. That's not such a bad transition for 24-hour local time into UTC. Or just using both. At some point the inconvenience of the local will become vestigial and UTC is what remains.

[-] greysemanticist@lemmy.one 1 points 7 hours ago* (last edited 7 hours ago)

What if the only enabling factor to getting to Kardashev Type I is adoption of UTC for everything?

Yep, we're doomed by the Great Filter.

[-] greysemanticist@lemmy.one 24 points 3 weeks ago

How about two batteries that can be ejected and swapped without powering off the device? We don't need to wait for super-capacitors today.

iPhones... someday. :)

15

Abstract: We present Scallop, a language which combines the benefits of deep learning and logical reasoning. Scallop enables users to write a wide range of neurosymbolic applications and train them in a data- and compute-efficient manner. It achieves these goals through three key features: 1) a flexible symbolic representation that is based on the relational data model; 2) a declarative logic programming language that is based on Datalog and supports recursion, aggregation, and negation; and 3) a framework for automatic and efficient differentiable reasoning that is based on the theory of provenance semirings. We evaluate Scallop on a suite of eight neurosymbolic applications from the literature. Our evaluation demonstrates that Scallop is capable of expressing algorithmic reasoning in diverse and challenging AI tasks, provides a succinct interface for machine learning programmers to integrate logical domain knowledge, and yields solutions that are comparable or superior to state-of-the-art models in terms of accuracy. Furthermore, Scallop's solutions outperform these models in aspects such as runtime and data efficiency, interpretability, and generalizability.

[-] greysemanticist@lemmy.one 12 points 2 months ago

IBM's management hierarchy is deeper than the Nine Circles in Dante's Inferno, plus you get to use JIRA.

[-] greysemanticist@lemmy.one 8 points 2 months ago

At least it wasn't "Hey, pull up that YouTube on the procedure, I need a refresher."

[-] greysemanticist@lemmy.one 8 points 2 months ago

Looks AI generated. Just the kind of thing that would make the opposition paranoid and expend ammo into the sea.

[-] greysemanticist@lemmy.one 12 points 2 months ago

So, did that happen just before the Tiny Desk Thanksgiving talk? I don't think they ever really explained why he wasn't using the Resolute Desk for that talk.

[-] greysemanticist@lemmy.one 8 points 2 months ago

This could also be made more "local" with https://en.wikipedia.org/wiki/Compressed-air_energy_storage or https://en.wikipedia.org/wiki/Thermal_energy_storage and not reliant on the difference of elevations.

[-] greysemanticist@lemmy.one 5 points 2 months ago

This is a useful take: I too will use LLMs for search-- but not for search for journal articles with data and evidence. LLMs too easily confabulate these.

LLM-as-search is fantastic when you want a no-bullshit statistical result for what you're looking for when you're wanting an overview or interactive tutorial.

[-] greysemanticist@lemmy.one 29 points 2 months ago

One of my best monthly expenses. I also appreciate being able to block low-quality domains from my search results.

26

During the Little Ice Age, Native North Americans devised whole new economic, social, and political structures.

22

InspectorBoat uses godbolt to analyze a Zig comparison routine for SWAR (SIMD-within-a-register) vectorized operation.

45

More investigations on the xz bash attack script.

[-] greysemanticist@lemmy.one 4 points 9 months ago

I've switched to paid search with Kagi. Best standard feature is I can tell Kagi to block w3schools, mediumDOTcom and stackoverflow from my search results.

[-] greysemanticist@lemmy.one 12 points 10 months ago

Long Covid Symptoms

Check the long list of just the mental Long Covid (aka Post-Acute Squelae of COVID or PASC) symptoms:

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8959835/

The ER Connection

Recent findings involve research with the endoplasmic reticulum that appears to go off the rails when over-stressed breaking the mitochondria within a cell robbing it of ATP production and increasing lactate (related to metabolic acidosis) in the body:

My current reasoning is somehow to recover you've got to pace yourself just enough to encourage new mitochondria to form, but not so much that you experience PEM/crashing. The ME/CFS people have been discussing pacing for years. So:

Fail With

  • staying in bed for weeks doing as little as possible (a very slow success?-- mitochondria aren't encouraged to form)
  • trying to train it away with exercise/exertion (a quick fail-- the stressed ER will break mitochondria and flood body with lactate and set you back with a slew of acidosis-caused symptoms that will take time for the body to resolve. e.g. kidneys excreting the acid, COVID diabetes from gluconeogensis of lactate into glucose in order to raise the body's pH away from acidosis)

Possibly Succeed With

This was a purposefully supplement-free/drug-free plan.

view more: next ›

greysemanticist

joined 1 year ago