Show newer
mc ☕ boosted
Khurram Wadee ✅

The #Face on #Mars
#Astronomy #Picture of the Day

apod.nasa.gov/apod/ap210704.ht

#APOD

0
mc ☕

0
mc ☕

A couple days ago I boosted some misinformation about the drug and its supposed efficacy for the treatment of . I trusted because somewhere in my mind this was an instance of and for science people. I apologize.

en.wikipedia.org/wiki/Ivermect

1
mc ☕

0
mc ☕

"VIII. LIFE'S GIFTS.
I saw a woman sleeping. In her sleep she dreamt Life stood before her, and held in each hand a gift—in the one Love, in the other Freedom. And she said to the woman, "Choose!"

And the woman waited long: and she said, "Freedom!"

And Life said, "Thou hast well chosen. If thou hadst said, 'Love,' I would have given thee that thou didst ask for; and I would have gone from thee, and returned to thee no more. Now, the day will come when I shall return. In that day I shall bear both gifts in one hand."

I heard the woman laugh in her sleep.

London."

-- Olive Schreiner, Dreams

0
mc ☕

Full Circle - The independent for the community

fullcirclemagazine.org/2021/06

0
mc ☕ boosted
Spartaco Pécora {🇻🇪 ⋂ 🇮🇹}

Hi fediverse,

Which of the following would be the nicest to wrap a low-level 3D geometry (I.e vertices, geometry, topology) operations library written in Rust.

Haskell
Common Lisp (and which implementation?)
Scheme:
Racket
Chicken
Gambit
...

Ideally, I'd like to be able to easily make higher-level operations such as boolean, blend, etc from the low level library and make that as one command in an ergonomic language (with a repl) that allows me to play around easily with various geometrical objects to compose them in increasingly complex ways and then pass the modified object back to the Rust code in case we need to revert a high-level operation operation (this is key). Eventually, a parser would let you pass some math formulae in (Latex?) and execute the live math for you in an interactive way that let's you modify the objects.

Thoughts?

[Boosts appreciated]

1+
mc ☕

## _Mathematicians welcome computer-assisted proof in ‘grand unification’ theory_
### _Proof-assistant software handles an abstract concept at the cutting edge of research, revealing a bigger role for software in mathematics ._
...
### _A grand unification_
_Around 2018, Scholze and Clausen began to realize that the conventional approach to the concept of topology led to incompatibilities between these three mathematical universes — geometry, functional analysis and p-adic numbers — but that alternative foundations could bridge those gaps. Many results in each of those fields seem to have analogues in the others, even though they apparently deal with completely different concepts. But once topology is defined in the ‘correct’ way, the analogies between the theories are revealed to be instances of the same ‘condensed mathematics’, the two researchers proposed. “It is some kind of grand unification” of the three fields, Clausen says._
...

nature.com/articles/d41586-021

0
mc ☕

0
mc ☕

0
mc ☕ boosted
Daniel

Star Update:
A second exposure confirms that what I saw 4 days ago wasn't a camera defect or error, but a variable star.

I scoured the internet, and could only find 1 catalog documenting this star: astro.corlan.net/stars/OPH/SV-

SV OPHIUCHI (1751+03)

Comparison: petabyte.heb12.com/astro/June%

#astronomy

0
mc ☕ boosted
sparkinstech

Hello I'm Sparkins and this is my / to the fediverse!

I'm currently learning to program, just working through HTDP and then SICP











1+
mc ☕

0
mc ☕ boosted
Khurram Wadee ✅

#Sunrise #Solstice over #Stonehenge
#Astronomy #Picture of the Day

For the vast majority of the population of the planet, the solstice will be tomorrow as the actual time of its occurrence is at about 03:30 UTC on 21 June. Anyway, hope you have a nice summer/winter.

apod.nasa.gov/apod/ap210620.ht

#APOD

0
mc ☕

*A sine curve goes off to infinity or at least the end of the blackboard.*
-- Prof. Steiner

0
mc ☕

0
mc ☕ boosted
_aD

What-ho, mastodon.org.uk and the Fediverse! I've been meaning to make myself a general social alt for years, so here's my #introduction! Brit living in the southern UK on the South Downs, often spotted #cycling up it just for the fun, only occasionally shedding bunches of bananas in the dead of night. I love the night sky and #astronomy, when I can see it through the British weather, #gaming, #words and word #puzzles, computers and #opensource and will stop...

1
mc ☕

> Linux Foundation readies Global COVID Certificate Network

> It will do this by establishing a trust . This will enable and trustworthy of COVID certificates ...

zdnet.com/article/linux-founda

0
mc ☕ boosted
Superfreq

@pixelfed Hi there! As a #blind screen reader user, I would really appreciate it if you'd take the time to #captionyourimages as it would really help with #accessibility
And it's not just people like me who appreciate them either, it's users on low bandwidth or metered connections who don't want to load the full res picture, those with #autism who sometimes find the context helpful, the huge percentage of those with preexisting visual impairments [#VI] which includes many people over 55 ETC.
It doesn't have to be anything incredibly detailed or artfully written, but something is nearly always better than nothing. I believe that their is even an option to automatically #OCR images now which should give you a head start.

1
mc ☕

- Chan Chan
"Chan Chan video made from the Wim Wenders' documentary 'Buena Vista Social Club' ..."


youtu.be/tGbRZ73NvlY

0
Show older
CleverLibre Social

CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.

Trending now

Resources

Developers

What is Mastodon?

social.cleverlibre.org

More…

v3.5.19-qoto · Privacy policy