jsmorph's profile picture.

jsmorph

@jsmorph

jsmorph reposted

This is the open source flight code that the NASA Mars drone is running github.com/nasa/fprime

chr1sa's tweet image. This is the open source flight code that the NASA Mars drone is running

github.com/nasa/fprime

#CaDiCaL Simplified Satisfiability Solver used here

jsmorph's tweet image. #CaDiCaL Simplified Satisfiability Solver used here

Answering Keller’s conjecture for dimension seven through exhaustive elimination would keep the world’s fastest computers busy until the end of time. By reframing the problem efficiently, researchers taught 40 computers to solve it in 30 minutes. quantamagazine.org/computer-searc…

quantamagazine.org

Computer Search Settles 90-Year-Old Math Problem | Quanta Magazine

By translating Keller’s conjecture into a computer-friendly search for a type of graph, researchers have finally resolved a problem about covering spaces with tiles.



jsmorph reposted

Forget Bill Broyles on King Ranch. Forget @mimiswartz on Enron. Forget @pamelacolloff on Charles Whitman. This is the greatest @texasmonthly story ever: @BBQsnob cooks @JohnCornyn’s brisket recipe texasmonthly.com/bbq/what-happe… #txlege


jsmorph reposted

Three days drawing a diagram for my new meteorites course. At this rate I will be finished in 361 years. Never put so much information into one diagram before. Follow that shooting star! @ESEImperial

rockbloke's tweet image. Three days drawing a diagram for my new meteorites course. At this rate I will be finished in 361 years. Never put so much information into one diagram before. Follow that shooting star! @ESEImperial

Starting to demo astriacss.morphism.com/ui/min.html for looking at proximity of objects in orbit.


United States Trends

Loading...

Something went wrong.


Something went wrong.